History and Overview

Authors and titles for March 2023

[11] arXiv:2303.09282 [pdf, other]

Title: Data science and social justice in the mathematics community

Quindel Jones, Andrés R. Vindas Meléndez, Ariana Mendible, Manuchehr Aminian, Heather Z. Brooks, Nathan Alexander, Carrie Diaz Eaton, Philip Chodrow

Subjects: History and Overview (math.HO)

[12] arXiv:2303.10166 [pdf, other]

Title: Computer Assisted Proofs and Automated Methods in Mathematics Education

Thierry Noah Dana-Picard (Jerusalem College of Technology)

Comments: In Proceedings ThEdu'22, arXiv:2303.05360

Journal-ref: EPTCS 375, 2023, pp. 2-23

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

[13] arXiv:2303.11830 [pdf, other]

Title: Why must every data scientist be a Platonist

Collin Joseph Van Cuyk, Liang Hong

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

[14] arXiv:2303.12523 [pdf, other]

Title: Variations on a result of Granville about polynomial invariance

Labib Haddad, Charles Helou

Comments: 9 pages

Subjects: History and Overview (math.HO)

[15] arXiv:2303.13230 [pdf, other]

Title: Volumes of Solid Objects in Elamite Mathematics

Nasser Heydari, Kazuo Muroi

Comments: 22 pages and 22 figures

Subjects: History and Overview (math.HO)

[16] arXiv:2303.13473 [pdf, html, other]

Title: Very basic set theory

Doeko Homan

Comments: 6 pages

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

[17] arXiv:2303.13615 [pdf, other]

Title: Germain Curvature: The Case for Naming the Mean Curvature of a Surface after Sophie Germain

Douglas P. Holmes

Comments: 6 pages, 3 figures

Subjects: History and Overview (math.HO); Soft Condensed Matter (cond-mat.soft); Differential Geometry (math.DG); History and Philosophy of Physics (physics.hist-ph)

[18] arXiv:2303.14529 [pdf, other]

Title: Temporal truth and bivalence an anachronistic formal approach to Aristotle's De Interpretatione 9

Luiz Henrique Lopes dos Santos

Comments: 23 pages, to be published in Journal of Ancient Philosophy, ISSN: 1981-9471/1981-9498

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

[19] arXiv:2303.14611 [pdf, other]

Title: The true story of the Quantum Ergodic Theorem

Alexander Shnirelman

Comments: 15 pages, 7 figures

Subjects: History and Overview (math.HO)

[20] arXiv:2303.17163 [pdf, other]

Title: Matrix diagonalization and singular value decomposition: Static SageMath and dynamic ChatGPT juxtaposed

N. Karjanto

Comments: 28 pages, 3 figures, 102 references

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

[21] arXiv:2303.17263 [pdf, other]

Title: Tessellations of surfaces

Gianluca Faraco

Comments: 21 pages and 10 figure. To be published on the Proceeding of The Year-Long Program on Triangle Groups, Belyi Uniformization, and Modularity, Volume 1

Subjects: History and Overview (math.HO); Geometric Topology (math.GT)

[22] arXiv:2303.18099 [pdf, other]

Title: Teaching G{\"o}del's incompleteness theorems

Gilles Dowek

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

[23] arXiv:2303.03765 (cross-list from math.CO) [pdf, html, other]

Title: A survey of congruences and quotients of partially ordered sets

Nicholas J. Williams

Comments: 47 pages (40 pages excluding references), 8 figures, 1 table. Comments very welcome. v2: added references and new example to example section. v3: Final version to appear in EMS Surveys in Mathematical Sciences

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

[24] arXiv:2303.04348 (cross-list from math.LO) [pdf, other]

Title: Grothendieck's Double Limit Theorem and Model Theory

Karim Khanaki

Comments: This is an article in Persian that was sent to the journal of FARHANG va ANDISHE-ye RIYAZI this http URL Comments welcome! this http URL@gmail.com

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

[25] arXiv:2303.04590 (cross-list from math.CO) [pdf, other]

Title: An Exploration of Graph Pebbling

Herman Bergwerf

Comments: Master's thesis

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

[26] arXiv:2303.04831 (cross-list from math.AG) [pdf, other]

Title: Richardson varieties, projected Richardson varieties and positroid varieties

David E Speyer

Comments: Prepared for the Handbook of Combinatorial Algebraic Geometry. Revised in light of many comments; thanks to everyone who contributed suggestions!

Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); History and Overview (math.HO)

[27] arXiv:2303.13542 (cross-list from cs.AI) [pdf, other]

Title: OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model

Alexander Kirillovich, Olga Nevzorova, Evgeny Lipachev

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL); History and Overview (math.HO)