archive
Every paper Pith has read. Search by title, abstract, or pith.
132 papers in math.HO · page 1
-
62826 encodes cube roots of unity on the τ-circle
Palindromes on the $\tau$-circle: A note for Palindrome Tau Day, 6/28/26
-
Matrices compose to recover finite field extensions
Matrix Representations of Finite Fields
-
Plato and Augustine make mathematics a path to knowing God
The Purpose of Mathematics according to Plato and Augustine
-
New database gathers mathematical models into one knowledge graph
MathModDB: A Database for Mathematical Models
-
Proof assistant improves explicitness in student paper proofs
The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes
-
Ring C[D] turns ODE solution rules into algebraic facts
An Algebraic Viewpoint on Linear Differential Equations
-
Graph links 11.7M arXiv theorems to Lean formalizations
TheoremGraph: Bridging Formal and Informal Mathematics
-
n coprime to φ(n) has exactly one group of order n
Classifying Groups of Certain Orders
-
Five classes classify all groups of order p^3
Classifying the Groups of Order $p^3$ in Lean
-
AI solve times grow slower than human times on math problems
Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis
-
Simon comments on Askey's paper about Szego
Commentary on Askey's Szego paper
-
-
Karaji-Pascal identity encodes motive structures
Motive Theory Hidden in Karaji-Pascal Triangle
-
Notes arrange number theory topics in five chapters for CS
Lectures notes on number theory for computer science
-
Dice bingo boards form nontransitive win cycles
Optimal Play, Nontransitivity, and Nash Equilibria in Dice Bingo
-
Asymmetric formula rivals Euler's Gradus for consonance
An Asymmetric Formula for Interval Consonance and its Relation to Harmonic Coincidence
-
Single identity recovers classical polylog and zeta formulas
The Dyadic Cauchy-Kernel Identity: Several Roads Back to Classical Objects
-
Eisenstein integers parametrize all sphere triangulations
Triangulations of the Sphere
-
Sphere to plane shows Inonu contraction
Erdal \.In\"on\"u at 100: From the Sphere to the Plane
-
LLMs solve 98 of 100 research math questions
Benchmarks in Leipzig
-
Laurent series turned isolated singularities into sources of precise data
When infinity stopped being embarrassing: The doubly infinite series of Pierre Alphonse Laurent and the mathematical rehabilitation of singularities
-
npm package reuses Waterproof features for proof teaching
Waterproof Editor: an educational environment for proof assistants and programming languages
-
Marx reversed on infinitesimals after Boucharlat textbook
Marx versus Engels on infinitesimals: Chimera or triumph?
-
Grothendieck groups turn monoids into invariants in four fields
The Grothendieck Group and K-Theory
-
Al-Kashi first stated square-and-multiply as general method
On the History of the Square and Multiply Algorithm
-
Gibbons conjecture term spread informally
On the origin of the Gibbons conjecture
-
Notes trace the exact point where Riemann integration stops working
Introduction to Measure and Integration Theory
-
Riemann supplied explicit log derivatives of zeta at s=1/2
Riemann and the logarithmic derivatives of zeta
-
Lotus encodes Euclid subtractions as blowup sequence
The Euclidean algorithm, lotuses and singularities
-
12-TET tone networks split into chiral mirror pairs
What if we decompose a simple tone? The Chinese remainder theorem and structured Levi graphs in music
-
Semantic text format must anchor digital math exams
Typed Mathematical Text for On-screen Examinations
-
Binomial distribution converges to Gaussian in tempered distributions
From Coefficients to Distributions: De~Moivre and the Operational View of Probability
-
Gamma(p/q) reduces to Beta values that are Kontsevich-Zagier periods
Computing Gamma(p/q) with Beta function values
-
Three regimes fix perimeter and area limits for self-similar fractals
A Scaling-Parameter Framework for Perimeter and Area in Self-Similar Planar Fractals
-
Memories of a mathematics professor span forty years across countries
My Warm, Randomly Recorded, Recollections of Professor Richard Askey
-
Trigonometry defined on racks yields Euler formulas
Meeting Solomon Marcus
-
Graphs turn puzzle solving into measurable distances
God numbers for Graphs, Games and Groups
-
Guises encode relations as internal perspectives
Guises and Perspectives: An Intentional and Hyperintensional Sketch
-
Ambrose Spotted Logic Convention Paradoxes in 1931
Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
-
Ambrose keeps extensional logic rigorous without material infinity
Extensionalism without Logicism: Ambrose and Extensional Logic
-
Germain planned full proof of Fermat's Last Theorem
Sophie Germain, math\'ematicienne extraordinaire: A story stranger than fiction
-
Wiener chaos builds Gaussian fields on the torus
Topics in Gaussian Wiener chaos expansion
-
Wiener chaos builds Gaussian fields on the torus for Φ^4
Topics in Gaussian Wiener chaos expansion
-
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
-
Quad admits inscribed ellipse with equidistant focus iff diagonals perpendicular
Besant quadrilaterals
-
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