Back to Search
Start Over
Proof of Irvine's Conjecture via Mechanized Guessing
- Publication Year :
- 2023
-
Abstract
- We prove a recent conjecture of Sean A. Irvine about a nonlinear recurrence, using mechanized guessing and verification. The theorem-prover Walnut plays a large role in the proof.
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2310.14252
- Document Type :
- Working Paper