Oberwolfach References on Mathematical Software
This website is in archive mode since 1 August 2021, see
note
for details.
About
Classification
All Software
Imprint
Kenzo
Summary
Kenzo is a program for effective algebraic
topology
Authors
Francis Sergeraert, Xavier Dousson, Yvon Siret
Links
Homepage
Status
incomplete information or not officially approved by the authors
Aims and scope
Mathematics Research
Mathematical Classification
03.07 Algebraic
topology
Keywords
attach cells
homotopy groups
loop spaces
projective space
simplicial set
Available via
Download
Operating Systems
Linux
Windows
Programming Languages
Lisp
License
Free downloadable
Technical Category
Package or library