1 paper
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…