Pages that link to "Item:Q1413645"

The following pages link to An object-oriented interpretation of the EAT system (Q1413645):

Displaying 13 items.

• Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
• Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
• Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
• Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
• A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
• Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
• Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
• Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
• Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
• Computing with locally effective matrices (Q5699915) (← links)
• A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)