The following pages link to Constructive algebraic topology (Q1612751):
Displaying 32 items.
- Computing the homology of groups: the geometric way. (Q420743) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Effective homotopy of fibrations (Q714654) (← links)
- On constructing the associated Graev topology (Q752862) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Computing the first stages of the Bousfield-Kan spectral sequence (Q969620) (← links)
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space (Q1683741) (← links)
- The homological hexagonal lemma (Q1755874) (← links)
- Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
- Foreword on the relationship of computer algebra with mathematics and physics (Q1926590) (← links)
- Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences (Q2156362) (← links)
- Computing invariants for multipersistence via spectral systems and effective homology (Q2229742) (← links)
- Computing higher Leray-Serre spectral sequences of towers of fibrations (Q2231647) (← links)
- Computing simplicial representatives of homotopy group elements (Q2324597) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Polynomial-time homology for simplicial Eilenberg-MacLane spaces (Q2441425) (← links)
- Extendability of continuous maps is undecidable (Q2441584) (← links)
- Computing spectral sequences (Q2457386) (← links)
- Effective homological computations on finite topological spaces (Q2682393) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)
- Computing All Maps into a Sphere (Q3189652) (← links)
- Effective algebraic topology (Q3357105) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
- Computing with locally effective matrices (Q5699915) (← links)
- Computing all maps into a sphere (Q5743373) (← links)
- A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)
- Computing homotopy classes for diagrams (Q6050228) (← links)
- Rational homotopy type and computability (Q6072332) (← links)
- Computing the homology of universal covers via effective homology and discrete vector fields (Q6650588) (← links)
