Product detail

Convergence verification of the Collatz problem

BAŘINA, D.

Product type

software

Abstract

This software contains computer programs implementing a completely new approach to calculating iterates of the Collatz function. The trick is that, when calculating the function iterates, the programs switch between two domains in such a way that they can always use the count trailing zeros (ctz) operation and a small lookup table with pre-computed powers of three. This approach differs significantly from the commonly used approach utilizing a space-time tradeoff using huge lookup tables. The programs can check 128-bit numbers.

Keywords

Collatz conjecture, number theory, computational mathematics

Create date

1. 1. 2024

Location

http://www.fit.vutbr.cz/research/prod/?id=828

Possibilities of use

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Documents