Pages that link to "Item:Q5441547"

The following pages link to Object oriented institutions to specify symbolic computation systems (Q5441547):

Displaying 9 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)
• A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
• Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
• Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
• A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)