Pages that link to "Item:Q5950932"
From MaRDI portal
The following pages link to On the role of OpenMath in interactive mathematical documents (Q5950932):
Displayed 3 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)