45 citations · 72 across the 11 of their papers we have counts for
1 paper · 2 filters
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…