An automated approach to the Collatz conjecture

DOI10.1007/978-3-030-79876-5_27OpenAlexW3184383014MaRDI QIDQ2055879FDOQ2055879

Authors: Emre Yolcu, Scott Aaronson, Marijn J. H. Heule 

Publication date: 1 December 2021

Full work available at URL: https://arxiv.org/abs/2105.14697

Recommendations

• An automated approach to the Collatz conjecture
• A new approach on proving Collatz conjecture
• On the Collatz conjecture
• scientific article; zbMATH DE number 5263433
• Collatz conjecture revisited: an elementary generalization
• The Collatz problem and analogues
• An Approach to the Herzog-Schönheim Conjecture Using Automata
• About the Collatz conjecture
• Novel theorems and algorithms relating to the Collatz conjecture

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Theory and Applications of Satisfiability Testing
• Formal Reductions of the General Combinatorial Decision Problem
• Termination of term rewriting using dependency pairs
• Term Rewriting and All That
• Problems in number theory from busy beaver competition
• An unsolved problem on the powers of 3/2
• Mechanizing and improving dependency pairs
• Matrix interpretations for proving termination of term rewriting
• The ultimate challenge. The \(3x+1\) problem
• The 3x + 1 Problem and Its Generalizations
• On some Markov matrices arising from the generalized Collatz mapping
• Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
• Local termination: theory and practice
• Termination of String Rewriting with Matrix Interpretations
• Tag systems and Collatz-like functions
• The Collatz problem
• Small universal one-state linear operator algorithm
• Title not available (Why is that?)
• Termination of string rewriting proved automatically
• Wildness of iteration of certain residue-class-wise affine mappings
• Title not available (Why is that?)
• Imitation of an Iteration
• Some Unconventional Problems in Number Theory
• Max/Plus tree automata for termination of term rewriting
• Cellular Automata, the Collatz Conjecture and Powers of 3/2
• ARITHMETIC IN THE FORM

Cited In (3)

• Half an Induction Proof of the Collatz Conjecture
• An automated approach to the Collatz conjecture
• Cellular Automata, the Collatz Conjecture and Powers of 3/2

This page was built for publication: An automated approach to the Collatz conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055879)