Kenzo

From MaRDI portal
Software:17016



swMATH4861MaRDI QIDQ17016


No author found.





Related Items (68)

Constructive algebraic topologyA Kenzo interface for algebraic topology computations in SageMathInteroperating between computer algebra systemsUnnamed ItemVerifying an Algorithm Computing Discrete Vector Fields for Digital ImagingA PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEWEffective spectral systems relating Serre and Eilenberg-Moore spectral sequencesHomotopy groups of suspended classifying spaces: An experimental approachHomotopy groups as centres of finitely presented groupsFormalization of a normalization theorem in simplicial topologyA Certified Reduction Strategy for Homological Image ProcessingA Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a spaceA new Kenzo module for computing the Eilenberg-Moore spectral sequenceDerived functors of nonadditive functors and homotopy theoryAn implementation of effective homotopy of fibrationsEffective homological computations on finite topological spacesModeling inheritance as coercion in a symbolic computation systemComputing the homology of groups: the geometric way.Certified symbolic manipulationUnnamed ItemfKenzo: a user interface for computations in algebraic topologyEffective homology of bicomplexes, formalized in CoqEffective Computation of Generalized Spectral SequencesMonomial Resolutions for Efficient Computation of Simplicial HomologyComputing Multipersistence by Means of Spectral SystemsUnnamed ItemA mechanized proof of the basic perturbation lemmaTopology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018Computing with locally effective matricesComputing spectral sequencesComputing invariants for multipersistence via spectral systems and effective homologyHomotopical and combinatorial aspects of the theory of normal series in groups.Computing higher Leray-Serre spectral sequences of towers of fibrationsProving with ACL2 the Correctness of Simplicial Sets in the Kenzo SystemAN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATIONComputational Science – ICCS 2005Simplicial monoid actions and associated monoid constructionsA case study of 𝐴-structureA computational approach ofA-(co)algebrasComputational homotopy of finite regular CW-spacesA combinatorial tool for computing the effective homotopy of iterated loop spacesVerifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithmGenerating certified code from formal proofs: a case study in homological algebraComputing the first stages of the Bousfield-Kan spectral sequenceOn homotopy groups of the suspended classifying spacesComputing in Coq with Infinite Algebraic Data StructuresIntegrating Multiple Sources to Answer Questions in Algebraic TopologyUnnamed ItemA case-study in algebraic manipulation using mechanized reasoning toolsA Mathematica Notebook for Computing the Homology of Iterated Products of GroupsCalculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic SearchesUnnamed ItemHomological models for semidirect products of finitely generated Abelian groups.Effective homotopy of fibrationsSearching high order invariants in computer imageryObject oriented institutions to specify symbolic computation systemsIncidence Simplicial Matrices Formalized in Coq/SSReflectA System for Computing and Reasoning in Algebraic TopologyHomology Computation During an Incremental Construction ProcessApplying ACL2 to the Formalization of Algebraic Topology: Simplicial PolynomialsACL2 Verification of Simplicial Degeneracy Programs in the Kenzo SystemUsing Open Mathematical Documents to Interface Computer Algebra and Proof Assistant SystemsAlgebraic models for homotopy typesFormalizing in Coq Hidden Algebras to Specify Symbolic Computation SystemsMediated Access to Symbolic Computation SystemsA formalization of the Smith normal form in higher-order logicModelling algebraic structures and morphisms in ACL2


This page was built for software: Kenzo