Cited in
(92)- Derived functors of nonadditive functors and homotopy theory
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- A formalization of the Smith normal form in higher-order logic
- fKenzo: a user interface for computations in algebraic topology
- A new Kenzo module for computing the Eilenberg-Moore spectral sequence
- Modeling inheritance as coercion in a symbolic computation system
- A certified reduction strategy for homological image processing
- Computing the homology of groups: the geometric way.
- Incidence simplicial matrices formalized in Coq/SSReflect
- Computational homotopy of finite regular CW-spaces
- Effective homotopy of fibrations
- Homological models for semidirect products of finitely generated Abelian groups.
- Searching high order invariants in computer imagery
- Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018
- Certified symbolic manipulation: bivariate simplicial polynomials
- Computing the first stages of the Bousfield-Kan spectral sequence
- Homotopy groups as centers of finitely presented groups.
- Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018
- Constructive algebraic topology
- A system for computing and reasoning in algebraic topology
- Effective computation of generalized spectral sequences
- Computing multipersistence by means of spectral systems
- A case study of \(A_{\infty}\)-structure
- A computational approach of \(A_{\infty }\)-(co)algebras
- QUALITY
- REPSN
- fKenzo
- SERBA
- Metagraphs
- CoqEAL
- HAP
- PLEX
- CLIPS
- EAT
- CHomP
- Coq/SSReflect
- CrystCat
- LocalizeRingForHomalg
- happermutahedral
- OpenMath
- A Mathematica notebook for computing the homology of iterated products of groups.
- Calculating cocyclic Hadamard matrices in Mathematica: exhaustive and heuristic searches
- HadamardSearch
- Library of Triangulations
- Cayley-Hamilton
- Stacks Project
- Formigramator
- Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
- A parameterization process: from a functorial point of view
- Computing invariants for multipersistence via spectral systems and effective homology
- Computing higher Leray-Serre spectral sequences of towers of fibrations
- Proving with ACL2 the correctness of simplicial sets in the Kenzo system
- Computing in Coq with infinite algebraic data structures
- Applying ACL2 to the formalization of algebraic topology: simplicial polynomials
- Formalization of a normalization theorem in simplicial topology
- Mediated Access to Symbolic Computation Systems
- Object oriented institutions to specify symbolic computation systems
- Effective homology of bicomplexes, formalized in Coq
- Homotopical and combinatorial aspects of the theory of normal series in groups.
- A mechanized proof of the basic perturbation lemma
- Monomial resolutions for efficient computation of simplicial homology
- Generating certified code from formal proofs: a case study in homological algebra
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
- Triangulations of complex projective spaces
- scientific article; zbMATH DE number 2164409 (Why is no real title available?)
- Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
- Effective homological computations on finite topological spaces
- 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
- On homotopy groups of the suspended classifying spaces
- Computational Science – ICCS 2005
- Algebraic models for homotopy types
- Simplicial monoid actions and associated monoid constructions
- Homology computation during an incremental construction process
- Modelling algebraic structures and morphisms in ACL2
- Integrating Multiple Sources to Answer Questions in Algebraic Topology
- Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
- scientific article; zbMATH DE number 5635461 (Why is no real title available?)
- A combinatorial tool for computing the effective homotopy of iterated loop spaces
- scientific article; zbMATH DE number 2109817 (Why is no real title available?)
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- Verifying an algorithm computing discrete vector fields for digital imaging
- scientific article; zbMATH DE number 6118174 (Why is no real title available?)
- An implementation of effective homotopy of fibrations
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
- Hermite
- Modular_arithmetic_LLL_and_HNF_algorithms
- Smith_Normal_Form
- Computing with locally effective matrices
- Computing spectral sequences
This page was built for software: Kenzo
