Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

DOI10.1007/978-3-642-02614-0_37zbMath1247.68271OpenAlexW1522584568MaRDI QIDQ3637304

Vico Pascual, Jónathan Heras, Julio Jesús Rubio García

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_37

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30)

Related Items (2)

fKenzo: a user interface for computations in algebraic topology ⋮ Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

Uses Software

• ACL2
• GAP
• Kenzo
• HAP
• OMDoc

Cites Work

• Interoperating between computer algebra systems
• Mediated Access to Symbolic Computation Systems
• Unnamed Item

This page was built for publication: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems