45 citations · 72 across the 11 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
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…
cs.SC2006
Computing spectral sequences
A. Romero, J. Rubio, F. Sergeraert
In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the u…