The following pages link to Kenzo (Q17016):
Displaying 18 items.
- A new Kenzo module for computing the Eilenberg-Moore spectral sequence (Q5102030) (← links)
- Effective Computation of Generalized Spectral Sequences (Q5120195) (← links)
- Monomial Resolutions for Efficient Computation of Simplicial Homology (Q5120474) (← links)
- Computing Multipersistence by Means of Spectral Systems (Q5121107) (← links)
- Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm (Q5172125) (← links)
- Incidence Simplicial Matrices Formalized in Coq/SSReflect (Q5200106) (← links)
- A System for Computing and Reasoning in Algebraic Topology (Q5200131) (← links)
- Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507) (← links)
- Homotopy groups as centres of finitely presented groups (Q5327399) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
- Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
- Computing with locally effective matrices (Q5699915) (← links)
- Computational Science – ICCS 2005 (Q5709739) (← links)
- A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)
- A Mathematica Notebook for Computing the Homology of Iterated Products of Groups (Q5747798) (← links)
- Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches (Q5747840) (← links)
- A Kenzo interface for algebraic topology computations in SageMath (Q5880545) (← links)
