Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.10435 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Network Structure of Mathlib
by: Li, Xinze, et al.
Published: (2026)
by: Li, Xinze, et al.
Published: (2026)
Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)
by: Avigad, Jeremy, et al.
Published: (2024)
Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)
by: Protin, Clarence
Published: (2022)
Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)
by: Protin, Clarence
Published: (2023)
Algorithm and abstraction in formal mathematics
by: Macbeth, Heather
Published: (2024)
by: Macbeth, Heather
Published: (2024)
History of confluent Vandermonde matrices and inverting them algorithms
by: Respondek, Jerzy S
Published: (2024)
by: Respondek, Jerzy S
Published: (2024)
Advancing mathematics research with generative AI
by: Carbone, Lisa
Published: (2025)
by: Carbone, Lisa
Published: (2025)
The extension of zbMATH Open by arXiv preprints
by: Beckenbach, Isabel, et al.
Published: (2024)
by: Beckenbach, Isabel, et al.
Published: (2024)
Dominic Welsh (1938-2023)
by: Grimmett, Geoffrey R.
Published: (2024)
by: Grimmett, Geoffrey R.
Published: (2024)
Higher dimensional visual proofs, Nicomachus' 4D Theorem and the mysterious irreducible factor $(3n^2+3n-1)$ in the sum of fourth powers
by: Buijs, Urtzi
Published: (2026)
by: Buijs, Urtzi
Published: (2026)
Mathematical Proof
by: Bauschke, Heinz H.
Published: (2026)
by: Bauschke, Heinz H.
Published: (2026)
Comportamientos extraños del infinito: Gráficas Infinitas
by: Fernández-Bretón, David J., et al.
Published: (2025)
by: Fernández-Bretón, David J., et al.
Published: (2025)
Faulhaber's formula, Bernoulli numbers, power sums of natural numbers and totatives and the functional equation $f(x)+x^k=f(x+1)$
by: Wu, Chai Wah
Published: (2024)
by: Wu, Chai Wah
Published: (2024)
Artifical intelligence and inherent mathematical difficulty
by: Dean, Walter, et al.
Published: (2024)
by: Dean, Walter, et al.
Published: (2024)
Algebraic and analytic structure of Morikawa's sangaku problem
by: Krumm, David
Published: (2026)
by: Krumm, David
Published: (2026)
Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)
by: Aberdein, Andrew
Published: (2023)
Dominic Welsh: his work and influence
by: Farr, Graham, et al.
Published: (2024)
by: Farr, Graham, et al.
Published: (2024)
Hexagonal Tiling of the Plane
by: Zhu, Ze, et al.
Published: (2025)
by: Zhu, Ze, et al.
Published: (2025)
On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)
by: Quinn, Frank
Published: (2024)
Counting plane arrangements via oriented matroids
by: Forcey, Stefan
Published: (2025)
by: Forcey, Stefan
Published: (2025)
Simple Matroids and Alfred North Whitehead's theory of dimension (1906)
by: Hales, Thomas
Published: (2026)
by: Hales, Thomas
Published: (2026)
Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)
by: Bajnok, Bela, et al.
Published: (2024)
Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
by: Rodin, Andrei
Published: (2024)
by: Rodin, Andrei
Published: (2024)
Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)
by: Hanson, James E.
Published: (2025)
A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)
by: Hanson, James E., et al.
Published: (2026)
A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)
by: Quinn, Frank
Published: (2021)
Constructive Mathematics
by: Mandelkern, Mark
Published: (2024)
by: Mandelkern, Mark
Published: (2024)
Formalism 25
by: Katz, Mikhail G., et al.
Published: (2025)
by: Katz, Mikhail G., et al.
Published: (2025)
Textual analysis of ancient Indian mathematics
by: Kichenassamy, Satyanad
Published: (2025)
by: Kichenassamy, Satyanad
Published: (2025)
On the examples of Egyptian fractions in Liber Abaci
by: Steihaug, Trond, et al.
Published: (2025)
by: Steihaug, Trond, et al.
Published: (2025)
From Euler to Today: Universal Mathematical Fallibility A Large-Scale Computational Analysis of Errors in ArXiv Papers
by: Rivin, Igor
Published: (2025)
by: Rivin, Igor
Published: (2025)
Hilbert's Program and Infinity
by: Zach, Richard
Published: (2026)
by: Zach, Richard
Published: (2026)
Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
by: Colomina-Alminana, Juan J.
Published: (2026)
by: Colomina-Alminana, Juan J.
Published: (2026)
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
by: Bouzinier, Michael, et al.
Published: (2025)
by: Bouzinier, Michael, et al.
Published: (2025)
Descriptions of Cantor Sets: A Set-Theoretic Survey and Open Problems
by: Soltanifar, Mohsen
Published: (2025)
by: Soltanifar, Mohsen
Published: (2025)
The Orientalists' Stance Towards Arabic Sciences (Especially Arabic Astronomy)
by: Abdullah, Duaa, et al.
Published: (2025)
by: Abdullah, Duaa, et al.
Published: (2025)
Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)
by: Colomina-Alminana, Juan J.
Published: (2026)
On Śankara Varman's (correct) and Mādhava's (incorrect) values for the circumferences of circles
by: Krishnachandran, V. N.
Published: (2024)
by: Krishnachandran, V. N.
Published: (2024)
Hegel and Modern Topology
by: Protin, Clarence
Published: (2025)
by: Protin, Clarence
Published: (2025)
The story of geometry told by coins
by: Fukś, Henryk
Published: (2025)
by: Fukś, Henryk
Published: (2025)