Search alternatives:
collatz conjecture » color conjecture
calabi conjecture » abc conjecture, color conjecture, causal conjecture
Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive...”