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