archive
Every paper Pith has read. Search by title, abstract, or pith.
32 papers in math.HO · page 1
-
Infinitesimals formalized without axiom of choice
A philosophical history of infinitesimals
-
Three perspectives explain who brings programming into math class
Diverse yet consistent: How mathematicians position computational thinking across research and teaching
-
Elementary methods recover Ramanujan notebook identities
Learning from Ramanujan: Elementary Approaches to Profound Ideas
-
Derivations make Beltrami's hyperbolic disc model fully explicit
Notes on Beltrami's Essay
-
Transversality makes statistical degeneracies non-generic
Notes on Transversality and Statistical Degeneracies in Distributional Models
-
Information theory measures tonal ambiguity on a continuous scale
Uniqueness on a Continuum: Quantifying Tonal Ambiguity Using Information Theory
-
Al-Tusi treatise gives full spherical trig formulas with proofs
Spherical trigonometry before the modern era:The treatise of Nasir al-Din al-Tusi
-
Tables replace arithmetic in Conway's Doomsday rule
Table-Based Encodings for Conway's Doomsday Algorithm: Vectorized Doomsdays and Doomyears
-
AI generates full math paper matching advanced undergrad work
Using Large Language Models as a Co-Author in Undergraduate Quantum Group Research
-
Reminiscences mark Robert V
Robert V. Kohn (1953-2026)
-
Disused definitions of key math concepts could be revived profitably
The history of three wrong definitions
-
Simple matroids equal phi-maximal Whitehead systems
Simple Matroids and Alfred North Whitehead's theory of dimension (1906)
-
Newton found the force law that scales angular velocity freely
The Inverse Cube Force Law
-
Mathlib network shows formalization compresses hierarchies
The Network Structure of Mathlib
-
Ablated proofs form low-dimensional manifolds far from human ones
Ablation and the Meno: Tools for Empirical Metamathematics
-
Selected problems bridge intuition and formal probability
Designing for the Development of Probabilistic Thinking: A Design-Based Research Study in Lower Secondary Education
-
Calculus begins with integrals as Riemann sums and yields derivatives via FTC
Integral-Differential Calculus
-
Algebraic graph theory links symmetries to group actions
Algebraic Graph Theory
-
Hurwitz lectures deliver substitution proof of Galois theorem
Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The K\"onigsberg Lectures of 1890-1891
-
Memories detail Solomon Marcus discussions on math topics
Memories with Solomon Marcus
-
-
Decomposition lessons lift primary math scores by 18 points
From Manipulation to Abstraction: The Impact of Flexible Decomposition on Numerical Competence in Primary School
-
Positive functionals on polynomials equal measures on compact semialgebraic sets
The K-moment problem: A detailed introduction
-
Evolution algebras spread from genetics to other fields in 15 years
A historical perspective of Tian's evolution algebras
-
Hypergraph ties entries to content hashes for flexible links
Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
-
Conducting gestures reduced to cubic segments and quintic timing
A Minimal Mathematical Model for Conducting Patterns
-
Reminiscences show Godunov's ideas reaching across sciences
Reminiscences of S. K. Godunov. The Russian Mathematician
-
Live oral checks replace written work to verify math understanding
Open Preparation, Human Explanation, and Instructor Synthesis: A Human-Scale Methodology for AI-Rich Higher Education
-
Old Babylonian ratio is ancestor of the radian
AnOldBabylonian coefficient, its origin and impact on our understanding of measures on circles, including the radian measure
-
Ferrar's formulas yield new generalizations via Mellin link
Analogues of a formula of Ferrar: what I have learned from Semyon Yakubovich
-
AI maps global structure of formal proofs
Artificial Intelligence and the Structure of Mathematics
-
Social costs cut stealing in gift exchanges by 27-48%
Formal specification and behavioral simulation of the holiday gift exchange game