Pages that link to "Item:Q1610674"
From MaRDI portal
The following pages link to Autarkic computations in formal proofs (Q1610674):
Displayed 8 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Theorem proving modulo (Q1431339) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs (Q3498463) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)