EAT
From MaRDI portal
swMATH9167MaRDI QIDQ21159FDOQ21159
Author name not available (Why is that?)
Official website: http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Cited In (20)
- Executing in Common Lisp, Proving in ACL2
- Title not available (Why is that?)
- A parameterization process: from a functorial point of view
- Proving with ACL2 the correctness of simplicial sets in the Kenzo system
- Mediated Access to Symbolic Computation Systems
- Kenzo
- LISP
- Formalization of a normalization theorem in simplicial topology
- Diagrammatic logic applied to a parameterisation process
- Object oriented institutions to specify symbolic computation systems
- Library of Triangulations
- 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
- Title not available (Why is that?)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
- Artificial Intelligence and Symbolic Computation
- Computer Aided Systems Theory – EUROCAST 2005
This page was built for software: EAT
