Pages that link to "Item:Q597112"
From MaRDI portal
The following pages link to Formal and efficient primality proofs by use of computer algebra oracles (Q597112):
Displaying 6 items.
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Verification of the Miller-Rabin probabilistic primality test. (Q1400288) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
