From: "Francis Sergeraert" <Francis.Sergeraert@ujf-grenoble.fr>
Subject: Software for Algebraic Topology
Date: Tue, 3 Oct 2000 11:00:24 +0200
Newsgroups: sci.math.symbolic
Summary: [missing]

  A computer program called KENZO is available at the Web address:

www-fourier.ujf-grenoble.fr/~sergerar/Kenzo

  You find there:

  1) an overview of the scope of this program;
  2) examples  of  small   Kenzo  demonstrations,  in  particular  the
demonstration  given  at  The  3rd European  Congress of  Mathematics,
Barcelona, July 2000.
  3) The dvi-documentation (340pp.), whole, or by chapter.
  4) A link to the ftp-address for download.

----

Principal subjects processed by the Kenzo program.

  Chain complexes, of finite type or not.
  Differential graded  algebras, differential graded  coalgebras, Hopf
algebras, of finite type or not.
  Simplicial sets, finite or not, possibly with a Kan structure.
  Simplicial groups.
  Morphisms of various types between these objects.
  Many  elementary  constructors:  cones, tensor  products,  cartesian
products,  suspensions,  disk   pasting,...  from  objects  or  from
morphisms.
  Simplicial fibrations, total space constructor.
  Bar construction for the differential graded algebras.
  Cobar construction for the differential graded coalgebras.
  Loop space constructor for simplicial sets.
  Classifying space constructor for simplicial groups.
  Eilenberg-MacLane spaces.
  Objects, finite or not, with effective homology (the key point).
  Homology group calculator;

----

  In  particular the  first  homotopy groups  of  an arbitrary  simply
connected simplicial set are computable by this program.