Constructive algebraic topology
From MaRDI portal
Publication:1612751
DOI10.1016/S0007-4497(02)01119-3zbMATH Open1007.55019arXivmath/0111243OpenAlexW1992656112MaRDI QIDQ1612751FDOQ1612751
Authors: Francis Sergeraert, Julio Rubio 
Publication date: 18 March 2003
Published in: Bulletin des Sciences Mathématiques (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/math/0111243
Recommendations
Computing methodologies and applications (68U99) Applied homological algebra and category theory in algebraic topology (55U99) Homotopy theory (55P99) Homotopy groups (55Q99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The homology of iterated loop spaces
- Title not available (Why is that?)
- Twisted tensor products. I
- Title not available (Why is that?)
- The computability problem in algebraic topology
- Title not available (Why is that?)
- Homologie des espaces fibrés
- Sur l'itération de la construction Cobar
- Iterating the cobar construction
- Geometry of loop spaces and the cobar construction
- Effective algebraic topology
- Finite computability of Postnikov complexes
- ON THE COBAR CONSTRUCTION
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (37)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- Computing All Maps into a Sphere
- fKenzo: a user interface for computations in algebraic topology
- Computing simplicial representatives of homotopy group elements
- Effective algebraic topology
- Title not available (Why is that?)
- Computing the homology of groups: the geometric way.
- 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
- A Certified Reduction Strategy for Homological Image Processing
- Computing all maps into a sphere
- A case study of \(A_{\infty}\)-structure
- Title not available (Why is that?)
- Rational homotopy type and computability
- Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
- Computing invariants for multipersistence via spectral systems and effective homology
- Computing higher Leray-Serre spectral sequences of towers of fibrations
- Formalization of a normalization theorem in simplicial topology
- Foreword on the relationship of computer algebra with mathematics and physics
- On constructing the associated Graev topology
- Object oriented institutions to specify symbolic computation systems
- Effective homology of bicomplexes, formalized in Coq
- A mechanized proof of the basic perturbation lemma
- Computing the homology of universal covers via effective homology and discrete vector fields
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
- A case-study in algebraic manipulation using mechanized reasoning tools
- Effective homological computations on finite topological spaces
- Computing homotopy classes for diagrams
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
- Title not available (Why is that?)
- Integrating functional programming and symbolic computation.
- An implementation of effective homotopy of fibrations
- Computing with locally effective matrices
- Computing spectral sequences
Uses Software
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)
