Leandro Hector Gallego

Explicit sign changes in comparative prime number theory: computer-assisted proofs with checkable certificates

This research report gives rigorous, computer-assisted proofs of several explicit results on oscillations of arithmeticsums, each with a checkable certificate and a verification path that does not depend on the author's software. Main results: (i) an explicit region where the err...