Pages that link to "Item:Q597106"
From MaRDI portal
The following pages link to Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106):
Displaying 4 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← 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)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
