Abstract: The classical ``computation methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert solution for Constructive Algebraic Topology is recalled. This is not only a theoretical solution: the concrete computer program +Kenzo+ has been written down which precisely follows this method. This program has been used in various cases, opening new research subjects and producing in several cases significant results unreachable by hand. In particular the Kenzo program can compute the first homotopy groups of a simply connected +arbitrary+ simplicial set.
Recommendations
Cites work
- scientific article; zbMATH DE number 3923668 (Why is no real title available?)
- scientific article; zbMATH DE number 3984106 (Why is no real title available?)
- scientific article; zbMATH DE number 46981 (Why is no real title available?)
- scientific article; zbMATH DE number 2109817 (Why is no real title available?)
- scientific article; zbMATH DE number 793892 (Why is no real title available?)
- scientific article; zbMATH DE number 914172 (Why is no real title available?)
- scientific article; zbMATH DE number 937408 (Why is no real title available?)
- Effective algebraic topology
- Finite computability of Postnikov complexes
- Geometry of loop spaces and the cobar construction
- Homologie des espaces fibrés
- Iterating the cobar construction
- ON THE COBAR CONSTRUCTION
- Sur l'itération de la construction Cobar
- The computability problem in algebraic topology
- The homology of iterated loop spaces
- Twisted tensor products. I
Cited in
(41)- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- fKenzo: a user interface for computations in algebraic topology
- Computing simplicial representatives of homotopy group elements
- Towards modelling the topology of homogeneous manifolds by means of symbolic computation
- A certified reduction strategy for homological image processing
- Effective algebraic topology
- Computing the homology of groups: the geometric way.
- scientific article; zbMATH DE number 4126313 (Why is no real title available?)
- Effective homotopy of fibrations
- The homological hexagonal lemma
- Computing the first stages of the Bousfield-Kan spectral sequence
- Extendability of continuous maps is undecidable
- Polynomial-time homology for simplicial Eilenberg-MacLane spaces
- Computing all maps into a sphere
- Computing all maps into a sphere
- A case study of \(A_{\infty}\)-structure
- scientific article; zbMATH DE number 4111592 (Why is no real title available?)
- Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
- Rational homotopy type and computability
- Computing invariants for multipersistence via spectral systems and effective homology
- Computing higher Leray-Serre spectral sequences of towers of fibrations
- Applying ACL2 to the formalization of algebraic topology: simplicial polynomials
- On constructing the associated Graev topology
- Formalization of a normalization theorem in simplicial topology
- Foreword on the relationship of computer algebra with mathematics and physics
- Object oriented institutions to specify symbolic computation systems
- Effective homology of bicomplexes, formalized in Coq
- A mechanized proof of the basic perturbation lemma
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
- Computing the homology of universal covers via effective homology and discrete vector fields
- Effective homological computations on finite topological spaces
- Applications of computational algebraic topology
- A case-study in algebraic manipulation using mechanized reasoning tools
- Homotopy groups of suspended classifying spaces: an experimental approach
- A Kenzo interface for algebraic topology computations in SageMath
- Computing homotopy classes for diagrams
- Integrating functional programming and symbolic computation.
- scientific article; zbMATH DE number 2109817 (Why is no real title available?)
- An implementation of effective homotopy of fibrations
- Computing with locally effective matrices
- Computing spectral sequences
This page was built for publication: Constructive algebraic topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1612751)
