The following pages link to (Q4385442):
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)
- Constraint contextual rewriting. (Q1404984) (← links)
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning (Q3637261) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)