Database-Driven Mathematical Inquiry. - Steven Clontz (CoRR, 2024)