Pages that link to "Item:Q5950932"
From MaRDI portal
The following pages link to On the role of OpenMath in interactive mathematical documents (Q5950932):
Displaying 9 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- 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)
- The freedom to extend OpenMath and its utility (Q841695) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- (Q4232473) (← links)
- (Q4418136) (← links)
- (Q4471938) (← links)
- Mathematical Knowledge Management (Q5313070) (← links)