Cited in
(20)- Artificial Intelligence and Symbolic Computation
- Computer Aided Systems Theory – EUROCAST 2005
- Executing in Common Lisp, Proving in ACL2
- scientific article; zbMATH DE number 2000439 (Why is no real title available?)
- Kenzo
- LISP
- Library of Triangulations
- A parameterization process: from a functorial point of view
- Proving with ACL2 the correctness of simplicial sets in the Kenzo system
- Formalization of a normalization theorem in simplicial topology
- Mediated Access to Symbolic Computation Systems
- Diagrammatic logic applied to a parameterisation process
- Object oriented institutions to specify symbolic computation systems
- Effective homology of bicomplexes, formalized in Coq
- Generating certified code from formal proofs: a case study in homological algebra
- A case-study in algebraic manipulation using mechanized reasoning tools
- An object-oriented interpretation of the EAT system
- Modelling algebraic structures and morphisms in ACL2
- scientific article; zbMATH DE number 6118174 (Why is no real title available?)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
This page was built for software: EAT
