45 citations · 72 across the 11 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010
Computing in Coq with Infinite Algebraic Data Structures
César Domínguez, Julio Rubio
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibili…
cs.SC2010
Integrating multiple sources to answer questions in Algebraic Topology
Jonathan Heras, Vico Pascual, Ana Romero +1
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the…