Kenzo

Description

Kenzo is a package to compute properties (mainly homology groups) of topological spaces. It allows defining spaces created from others by constuctions like loop spaces, classifying spaces and so on.

License

GPL

Dependencies

  • ECL (Embedded Common Lisp)