Published April 22, 2025
| Version v1
Preprint
Restricted
Formal Proof of the Non-Convergence of 196 under Reverse-and-Add Dynamics
Authors/Creators
Description
We formally prove, using the Coq proof assistant, that the number 196 does not converge to a palindrome under reverse-and-add dynamics. This is the first complete formal resolution of a long-standing open problem in digital dynamics.
Files
Restricted
The record is publicly accessible, but files are restricted. Log in to check if you have access.