Back to Search Start Over

Proof of Irvine's Conjecture via Mechanized Guessing

Authors :
Shallit, Jeffrey
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.

Subjects

Subjects :
Mathematics - Combinatorics
Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2310.14252
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details