2 papers
math.NT2025
On the height of polynomials that split completely over a fixed number field
Thian Tromp
Let be a finite extension. We prove that the minimal height of polynomials of degree of which all roots are in increases exponentially in . We dete…
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…