2 papers
math.NT2026
The distribution of -free ideals in ray class groups
Adrian Barquero-Sanchez, Jack Heimrath, Bernd Sing +3
In this paper, we extend the classical problem of studying the distribution of -free integers in arithmetic progressions to the setting of arbitrary number fields. Using the lan…
cs.LO2022
The Area Method in the Wolfram Language
Jack Heimrath
The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce the specified hypothesis to an algebraically verifiable form…