Simplifying and Refactoring Introductory Calculus (2018)(arxiv.org)113 points by E-Reverance 2 months ago | 56 comments
Chebyshev Polynomials in the 16th Century (2022)(arxiv.org)95 points by IdealeZahlen 1 year ago | 32 comments
A SAT Attack on Tarski's High School Algebra Problem(arxiv.org)87 points by matt_d 2 months ago | 35 comments