The following pages link to Kenzo (Q17016):
Displaying 50 items.
- Computing the homology of groups: the geometric way. (Q420743) (← links)
- Homotopical and combinatorial aspects of the theory of normal series in groups. (Q486971) (← links)
- Simplicial monoid actions and associated monoid constructions (Q505025) (← links)
- Derived functors of nonadditive functors and homotopy theory (Q618742) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Homological models for semidirect products of finitely generated Abelian groups. (Q714640) (← links)
- Effective homotopy of fibrations (Q714654) (← links)
- Searching high order invariants in computer imagery (Q714657) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
- Computing the first stages of the Bousfield-Kan spectral sequence (Q969620) (← links)
- On homotopy groups of the suspended classifying spaces (Q969655) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space (Q1683741) (← links)
- Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018 (Q1731970) (← links)
- Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018 (Q1731971) (← links)
- Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← 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)
- Computational homotopy of finite regular CW-spaces (Q2255527) (← links)
- A combinatorial tool for computing the effective homotopy of iterated loop spaces (Q2256579) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Computing spectral sequences (Q2457386) (← links)
- Algebraic models for homotopy types (Q2570233) (← links)
- Effective homological computations on finite topological spaces (Q2682393) (← links)
- Homology Computation During an Incremental Construction Process (Q2815185) (← links)
- Interoperating between computer algebra systems (Q2883832) (← links)
- Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging (Q2907325) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- Certified symbolic manipulation (Q2963240) (← links)
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
- AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION (Q3006042) (← links)
- (Q3062090) (← links)
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)
- (Q3145742) (← links)
- A case study of 𝐴<sub>∞</sub>-structure (Q3563377) (← links)
- A computational approach of<i>A</i><sub>∞</sub>-(co)algebras (Q3568432) (← links)
- Computing in Coq with Infinite Algebraic Data Structures (Q3582708) (← links)
- Integrating Multiple Sources to Answer Questions in Algebraic Topology (Q3582718) (← links)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems (Q3637304) (← links)
- (Q3645928) (← links)
- (Q4676271) (← links)
- (Q4822389) (← links)