Pages that link to "Item:Q3637304"
From MaRDI portal
The following pages link to Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems (Q3637304):
Displaying 9 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- The freedom to extend OpenMath and its utility (Q841695) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Abramowitz and Stegun – A Resource for Mathematical Document Analysis (Q2907321) (← links)
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
- (Q4471938) (← links)
- Mathematical Knowledge Management (Q5313072) (← links)
- Comparative verification of the digital library of mathematical functions and computer algebra systems (Q6535563) (← links)