Kenzo
From MaRDI portal
Software:17016
No author found.
Related Items (68)
Constructive algebraic topology ⋮ A Kenzo interface for algebraic topology computations in SageMath ⋮ Interoperating between computer algebra systems ⋮ Unnamed Item ⋮ Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging ⋮ A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences ⋮ Homotopy groups of suspended classifying spaces: An experimental approach ⋮ Homotopy groups as centres of finitely presented groups ⋮ Formalization of a normalization theorem in simplicial topology ⋮ A Certified Reduction Strategy for Homological Image Processing ⋮ A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space ⋮ A new Kenzo module for computing the Eilenberg-Moore spectral sequence ⋮ Derived functors of nonadditive functors and homotopy theory ⋮ An implementation of effective homotopy of fibrations ⋮ Effective homological computations on finite topological spaces ⋮ Modeling inheritance as coercion in a symbolic computation system ⋮ Computing the homology of groups: the geometric way. ⋮ Certified symbolic manipulation ⋮ Unnamed Item ⋮ fKenzo: a user interface for computations in algebraic topology ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Effective Computation of Generalized Spectral Sequences ⋮ Monomial Resolutions for Efficient Computation of Simplicial Homology ⋮ Computing Multipersistence by Means of Spectral Systems ⋮ Unnamed Item ⋮ A mechanized proof of the basic perturbation lemma ⋮ Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018 ⋮ Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018 ⋮ Computing with locally effective matrices ⋮ Computing spectral sequences ⋮ Computing invariants for multipersistence via spectral systems and effective homology ⋮ Homotopical and combinatorial aspects of the theory of normal series in groups. ⋮ Computing higher Leray-Serre spectral sequences of towers of fibrations ⋮ Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System ⋮ AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION ⋮ Computational Science – ICCS 2005 ⋮ Simplicial monoid actions and associated monoid constructions ⋮ A case study of 𝐴∞-structure ⋮ A computational approach ofA∞-(co)algebras ⋮ Computational homotopy of finite regular CW-spaces ⋮ A combinatorial tool for computing the effective homotopy of iterated loop spaces ⋮ Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm ⋮ Generating certified code from formal proofs: a case study in homological algebra ⋮ Computing the first stages of the Bousfield-Kan spectral sequence ⋮ On homotopy groups of the suspended classifying spaces ⋮ Computing in Coq with Infinite Algebraic Data Structures ⋮ Integrating Multiple Sources to Answer Questions in Algebraic Topology ⋮ Unnamed Item ⋮ A case-study in algebraic manipulation using mechanized reasoning tools ⋮ A Mathematica Notebook for Computing the Homology of Iterated Products of Groups ⋮ Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches ⋮ Unnamed Item ⋮ Homological models for semidirect products of finitely generated Abelian groups. ⋮ Effective homotopy of fibrations ⋮ Searching high order invariants in computer imagery ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Incidence Simplicial Matrices Formalized in Coq/SSReflect ⋮ A System for Computing and Reasoning in Algebraic Topology ⋮ Homology Computation During an Incremental Construction Process ⋮ Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems ⋮ Algebraic models for homotopy types ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems ⋮ Mediated Access to Symbolic Computation Systems ⋮ A formalization of the Smith normal form in higher-order logic ⋮ Modelling algebraic structures and morphisms in ACL2
This page was built for software: Kenzo