The following pages link to (Q4385445):
Displaying 6 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Towards the Mathematics Software Bus (Q1389634) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning (Q3637261) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)