swMATH ID: 4861
Software Authors: Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson
Description: The Kenzo program implements the general ideas of the second author about Effective Homology, mainly around the Serre and Eilenberg-Moore spectral sequences. The first author (re-) discovered the importance of the Basic Perturbation Lemma in these questions, already noted by Victor Gugenheim and this program directly implements and directly uses this ”lemma” which should be called the Fundamental Theorem of Algebraic Topology. The first version of the program, called EAT, was written in 1989-90 by the first and the second authors. It has been demonstrated in several universities: France: Grenoble and Montpellier, Belgium: Louvain-la-Neuve, Italy: Genoa and Pisa, Sweden: Stockolm, Japan: Sapporo, Morioka, Urawa, Tokyo, Kyoto, Nara, Osaka and Hiroshima.
Homepage: http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Programming Languages: Lisp
Operating Systems: operating-systems
Dependencies: dependencies
Keywords: orms; keywords
Related Software: EAT; ACL2; Coq; HAP; GAP; CHomP; Coq/SSReflect; QuickCheck; Isabelle/HOL; Isabelle; fKenzo; Mathematica; OpenMath; LISP; SINGULAR; REPSN; GCLC; Isabelle/Isar; PLEX; HadamardSearch
Cited in: 64 Publications
This software is also referenced in ORMS.

Citations by Year