Search alternatives:
color conjecture » connes conjecture, kepler conjecture, hodge 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...”