Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.24797 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)
by: Avigad, Jeremy, et al.
Published: (2024)
Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
by: Li, Xinze
Published: (2026)
by: Li, Xinze
Published: (2026)
Artifical intelligence and inherent mathematical difficulty
by: Dean, Walter, et al.
Published: (2024)
by: Dean, Walter, et al.
Published: (2024)
Algorithm and abstraction in formal mathematics
by: Macbeth, Heather
Published: (2024)
by: Macbeth, Heather
Published: (2024)
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)
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
by: Edmonds, Chelsea, et al.
Published: (2023)
by: Edmonds, Chelsea, et al.
Published: (2023)
Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)
by: Hanson, James E.
Published: (2025)
The extension of zbMATH Open by arXiv preprints
by: Beckenbach, Isabel, et al.
Published: (2024)
by: Beckenbach, Isabel, et al.
Published: (2024)
A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)
by: Hanson, James E., et al.
Published: (2026)
Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)
by: Incatasciato, Guillermo L., et al.
Published: (2024)
Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025)
by: Paulson, Lawrence C
Published: (2025)
Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)
by: Bajnok, Bela, et al.
Published: (2024)
Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)
by: Aberdein, Andrew
Published: (2023)
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)
Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)
by: Colomina-Alminana, Juan J.
Published: (2026)
Advancing mathematics research with generative AI
by: Carbone, Lisa
Published: (2025)
by: Carbone, Lisa
Published: (2025)
A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)
by: Edmonds, Chelsea, et al.
Published: (2021)
A Higher-Order Vampire (Short Paper)
by: Bhayat, Ahmed, et al.
Published: (2024)
by: Bhayat, Ahmed, et al.
Published: (2024)
Universal truth of operator statements via ideal membership
by: Hofstadler, Clemens, et al.
Published: (2022)
by: Hofstadler, Clemens, et al.
Published: (2022)
Hilbert's Program and Infinity
by: Zach, Richard
Published: (2026)
by: Zach, Richard
Published: (2026)
Formalizing Pick's Theorem in Isabelle/HOL
by: Binder, Sage, et al.
Published: (2024)
by: Binder, Sage, et al.
Published: (2024)
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)
History of confluent Vandermonde matrices and inverting them algorithms
by: Respondek, Jerzy S
Published: (2024)
by: Respondek, Jerzy S
Published: (2024)
Growing Mathlib: maintenance of a large scale mathematical library
by: Baanen, Anne, et al.
Published: (2025)
by: Baanen, Anne, et al.
Published: (2025)
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)
by: Leme, Renato, et al.
Published: (2023)
On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)
by: Quinn, Frank
Published: (2024)
A combinatorial introduction to Adinkras
by: Donley Jr, Robert W., et al.
Published: (2024)
by: Donley Jr, Robert W., et al.
Published: (2024)
A Structural Analysis of Infinity in Set Theory and Modern Algebra
by: Betz, Noah
Published: (2025)
by: Betz, Noah
Published: (2025)
Twenty years of Nešetřil's classification programme of Ramsey classes
by: Hubička, Jan, et al.
Published: (2025)
by: Hubička, Jan, et al.
Published: (2025)
Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)
by: Mancosu, Paolo, et al.
Published: (2023)
Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
by: Lau, Gabriel Rongyang
Published: (2026)
by: Lau, Gabriel Rongyang
Published: (2026)
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)
by: Wang, Zili, et al.
Published: (2025)
Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)
by: Kosaian, Katherine, et al.
Published: (2024)
Modular versus Hierarchical: A Structural Signature of Topic Popularity in Mathematical Research
by: Hepler, Brian
Published: (2025)
by: Hepler, Brian
Published: (2025)
NIP and Distal Metric Structures
by: Anderson, Aaron
Published: (2023)
by: Anderson, Aaron
Published: (2023)
A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)
by: Quinn, Frank
Published: (2021)
On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)
by: Cattabriga, Paola
Published: (2024)
The Orientalists' Stance Towards Arabic Sciences (Especially Arabic Astronomy)
by: Abdullah, Duaa, et al.
Published: (2025)
by: Abdullah, Duaa, et al.
Published: (2025)
On sequential structures in incompressible multidimensional networks
by: Abrahão, Felipe S., et al.
Published: (2018)
by: Abrahão, Felipe S., et al.
Published: (2018)