Pages that link to "Item:Q1819945"
From MaRDI portal
The following pages link to An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem (Q1819945):
Displaying 7 items.
- A mechanical proof of quadratic reciprocity (Q1187853) (← links)
- Verification of the Miller-Rabin probabilistic primality test. (Q1400288) (← links)
- Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- (Q3773394) (← links)
- (Q4012877) (← links)
- A theorem prover for a computational logic (Q6488518) (← links)