activity
20062026
most citedThe triangular theorem of eight and representation by quadratic polynomials

14 citations · 26 across the 9 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

math.NT2025

Sums of nearest integer continued fractions with bounded digits:

Wieb Bosma, Alex Brouwers

Adapting Cantor set methods that were used by Hall and Hlawka for regular continued fractions, we prove that every real number can be obtained as the sum of two real numbers for wh…

math.NT2025

Using Walnut to solve problems from the OEIS

Wieb Bosma, Rene Bruin, Robbert Fokkink +3

We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns run…