History and Overview

Authors and titles for recent submissions

• Mon, 8 Sep 2025
• Fri, 5 Sep 2025
• Thu, 4 Sep 2025
• Wed, 3 Sep 2025
• Mon, 1 Sep 2025

See today's new changes

Wed, 3 Sep 2025 (continued, showing last 1 of 2 entries )

[5] arXiv:2509.00201 [pdf, html, other]

Title: Algebra: The Eighth Liberal Art?

S. Blake Allan

Subjects: History and Overview (math.HO)

Mon, 1 Sep 2025 (showing 2 of 2 entries )

[6] arXiv:2508.21140 [pdf, html, other]

Title: What makes a demonstration worthy of the name?

Paul J. Jorion

Comments: 7 pages; talk presented on April 9 at Unilog 2022, Chania, Crete

Subjects: History and Overview (math.HO)

[7] arXiv:2508.21593 (cross-list from cs.PL) [pdf, html, other]

Title: Growing Mathlib: maintenance of a large scale mathematical library

Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa

Comments: 21 pages, 1 figure. To appear at Conference on Intelligent Computer Mathematics (CICM) 2025

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS); History and Overview (math.HO)