The formal proof of 3x+1 problem
Posted on 2023-03-17 - 08:27 authored by Teruyuki Kobayashi
The Collatz conjecture has been a famous unsolved problem in mathematics for almost a century. This proof is a complete formal proof that can be verified by anyone in the theorem proving support system Coq.
CITE THIS COLLECTION
DataCite
No result found
Kobayashi, Teruyuki; Kobayashi, Yoko (2023). The formal proof of 3x+1 problem. figshare. Collection. https://doi.org/10.6084/m9.figshare.c.6472138.v1
or
Select your citation style and then place your mouse over the citation text to select it.
