The following pages link to (Q4518867):
Displayed 5 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)