History and Overview

Authors and titles for math.HO in Aug 2023, skipping first 25

[26]  arXiv:2308.16313 [pdf, ps, other]

Title: Euler's First Proof of Stirling's Formula

Authors: Alexander Aycock

Comments: 9 pages

Journal-ref: Euleriana: 3(2), pp.136-146 (2023)

Subjects: History and Overview (math.HO)

[27]  arXiv:2308.16318 [pdf, ps, other]

Title: Euler and the Legendre Polynomials

Authors: Alexander Aycock

Comments: 12 pages

Journal-ref: Euleriana: 3(2), pp.124-135 (2023)

Subjects: History and Overview (math.HO)

[28]  arXiv:2308.16324 [pdf, ps, other]

Title: What's for dessert?

Authors: Tanya Khovanova, Daniel A. Klain

Comments: 13 pages

Subjects: History and Overview (math.HO)

[29]  arXiv:2308.03126 (cross-list from math.NT) [pdf, ps, other]

Title: Missing digits, and good approximations

Authors: Andrew Granville

Comments: Write up of my 2023 AMS Current Events Bulletin lecture. Accepted at Bulletin AMS

Subjects: Number Theory (math.NT); History and Overview (math.HO)

[30]  arXiv:2308.04474 (cross-list from math.LO) [pdf, ps, other]

Title: HMC real numbers in Countable Mathematical Analysis

Authors: Martin Klazar

Comments: 10 pages

Subjects: Logic (math.LO); History and Overview (math.HO)

[31]  arXiv:2308.05119 (cross-list from math.CT) [pdf, ps, other]

Title: Hoàng Xuân Sính's Thesis: Categorifying Group Theory

Authors: John C. Baez

Comments: 22 pages with xypic figures

Subjects: Category Theory (math.CT); History and Overview (math.HO)

[32]  arXiv:2308.06008 (cross-list from math.CO) [pdf, ps, other]

Title: Invariants of Quadratic Forms and applications in Design Theory

Authors: Oliver W. Gnilke, Padraig O Cathain, Oktay Olmez, Guillermo Nunez Ponasso

Comments: 23 pages

Subjects: Combinatorics (math.CO); History and Overview (math.HO); Number Theory (math.NT)

[33]  arXiv:2308.10825 (cross-list from math.AT) [pdf, other]

Title: Algebraic Topology for Data Scientists

Authors: Michael S. Postol

Comments: 322 pages, 69 figures, 5 tables--New version adds author's note at the beginning of Section 10.4 detailing issues with a cited paper on a polynomial time algorithm for the extension problem in obstruction theory. These issues were pointed out to me shortly after the original version was published. Also correctly cited Robert Ghrist's name in my acknowledgements

Subjects: Algebraic Topology (math.AT); History and Overview (math.HO)

[34]  arXiv:2308.05713 (cross-list from cs.AI) [pdf, ps, other]

Title: Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems

Authors: Ernest Davis, Scott Aaronson

Subjects: Artificial Intelligence (cs.AI); History and Overview (math.HO); Popular Physics (physics.pop-ph)

[35]  arXiv:2308.12973 (cross-list from cs.LO) [pdf, other]

Title: Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems

Authors: Antonielly Garcia Rodrigues, Eduardo Mario Dias

Comments: 66 pages, 9 figures (some of which include subfigures), 5 tables (one of which includes 2 subtables). A cut-down version of this article, which removes the discussion on diagrammatic logic with Euler diagrams, was submitted to the "History and Philosophy of Logic" journal with a different title

Subjects: Logic in Computer Science (cs.LO); History and Overview (math.HO)

[36]  arXiv:2308.14406 (cross-list from cs.CY) [pdf, other]

Title: Infomathic

Authors: Karim Zayana (M.E.N.E.S.R., COMELEC), Régis Queruel, Pierre Michalak

Comments: in French language

Journal-ref: Quadrature, 2023, 129

Subjects: Computers and Society (cs.CY); History and Overview (math.HO)