The following pages link to (Q4518867):
Displaying 8 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)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Canonical Forms in Interactive Exercise Assistants (Q3637289) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)