The following pages link to (Q3726191):
Displaying 3 items.
- Algorithmic aspects of Suslin's proof of Serre's conjecture (Q2366722) (← links)
- Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3<i>x</i> + 1 conjecture (Q2997148) (← links)
- Density Bounds for the 3x + 1 Problem. I. Tree-Search Method (Q4325740) (← links)