EAT

swMATH9167MaRDI QIDQ21159FDOQ21159

Author name not available (Why is that?)

Cited In (17)

• 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
• Formalization of a normalization theorem in simplicial topology
• 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
• 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