An automated approach to the Collatz conjecture (Q6103589)
From MaRDI portal
scientific article; zbMATH DE number 7702721
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automated approach to the Collatz conjecture |
scientific article; zbMATH DE number 7702721 |
Statements
An automated approach to the Collatz conjecture (English)
0 references
27 June 2023
0 references
string rewriting
0 references
termination
0 references
matrix interpretations
0 references
SAT solving
0 references
Collatz conjecture
0 references
computer-assisted mathematics
0 references
