Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
From MaRDI portal
Publication:3637304
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
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
Cites Work
This page was built for publication: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems