Found 4 Documents (Results 1–4)
An automated approach to the Collatz conjecture. (English) Zbl 07702721
MSC:
68V15
Termination of string rewriting proved automatically. (English) Zbl 1102.68649
MSC:
68T15
68Q42
Filter Results by …
all
top 5
Author
- Aaronson, Scott (1)
- Aschermann, Cornelius (1)
- Frohn, Florian (1)
- Giesl, Jürgen (1)
- Hensel, Jera (1)
- Heule, Marijn J. H. (1)
- Payet, Étienne (1)
- Ströder, Thomas (1)
- Yolcu, Emre (1)
- Zantema, Hans (1)
Volume
- 68, No. 1 (2024) (1)
- 67, No. 2 (2023) (1)
- 59, No. 1 (2017) (1)
- 34, No. 2 (2005) (1)
Main Field
- 68-XX (4)