A

Asghari, Amir (2018) Equivalence: An Attempt at a History of the Idea. [Preprint]

B

Bacelar Valente, Mario (2019) “Critique of mensurational reason”: on Høyrup’s notion of critique. [Preprint]

Bacelar Valente, Mario (2017) From practical to pure geometry and back. [Preprint]

Bacelar Valente, Mario (2019) Geometry of motion: some elements of its historical development. Artefactos. Revista de estudios sobre la ciencia y la tecnología, 8 (2). pp. 4-26. ISSN 1989-3612

Bacelar Valente, Mario (2018) On the correctness of ancient mathematical procedure texts. [Preprint]

Barany, Michael J (2020) Abstract Relations: Bibliography and the Infra-structures of Modern Mathematics. [Preprint]

D

D'Alessandro, William (2020) Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth. Synthese. ISSN 1573-0964

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]

F

Fletcher, Samuel C. (2017) Against the Topologists: Essay Review of New Foundations for Physical Geometry. Philosophy of Science. ISSN 1539-767X

Franklin, James (2017) Discrete and continuous: A fundamental dichotomy in mathematics. Journal of Humanistic Mathematics, 7 (2). pp. 355-378. ISSN 2159-8118

Friedman, Michael and Rittberg, Colin Jakob (2019) The Material Reasoning of Folding Paper. [Preprint]

H

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

K

Kosmann-Schwarzbach, Yvette (2020) The Noether theorems in context. [Preprint]

L

Landry, Elaine (2017) Plato Was NOT A Mathematical Platonist. [Preprint]

Landsman, Klaas (2019) Quantum theory and functional analysis. [Preprint]

P

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.

Penchev, Vasil A complement to "Fermat's last theorem proved by induction". UNSPECIFIED.