EAT
From MaRDI portal
Software:21159
No author found.
Related Items (17)
A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Unnamed Item ⋮ Formalization of a normalization theorem in simplicial topology ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ An object-oriented interpretation of the EAT system ⋮ Computer Aided Systems Theory – EUROCAST 2005 ⋮ Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System ⋮ Generating certified code from formal proofs: a case study in homological algebra ⋮ Diagrammatic logic applied to a parameterisation process ⋮ Executing in Common Lisp, Proving in ACL2 ⋮ A case-study in algebraic manipulation using mechanized reasoning tools ⋮ Unnamed Item ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Artificial Intelligence and Symbolic Computation ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Mediated Access to Symbolic Computation Systems ⋮ Modelling algebraic structures and morphisms in ACL2
This page was built for software: EAT
