3 papers
cs.PL2015
Functional Programming is Free
Francis Sergeraert
A paper has recently been published in SIAM-JC. This paper is faulty: 1) The standard requirements about the definition of an algorithm are not respected, 2) The main point in 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…
math.AT2003
Algebraic Models for Homotopy Types
Julio Rubio Garcia, Francis Sergeraert
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produce…