Image de couverture de livre

The Network Structure of Mathlib

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Xinze, Peng, Nanyun, Severini, Simone, Shafto, Patrick
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Programming Languages Social and Information Networks History and Overview 68V15, 05C82, 03B35
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
par: Li, Xinze
Publié: (2026)

Comportamientos extraños del infinito: Gráficas Infinitas
par: Fernández-Bretón, David J., et autres
Publié: (2025)

Algorithm and abstraction in formal mathematics
par: Macbeth, Heather
Publié: (2024)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
par: Edmonds, Chelsea, et autres
Publié: (2023)

The extension of zbMATH Open by arXiv preprints
par: Beckenbach, Isabel, et autres
Publié: (2024)

Secrets and Quantifiers
par: Bajnok, Bela, et autres
Publié: (2024)

Any function I can actually write down is measurable, right?
par: Hanson, James E.
Publié: (2025)

A formula for any real number, maybe
par: Hanson, James E., et autres
Publié: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
par: Paulson, Lawrence C
Publié: (2025)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
par: Incatasciato, Guillermo L., et autres
Publié: (2024)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

A Higher-Order Vampire (Short Paper)
par: Bhayat, Ahmed, et autres
Publié: (2024)

A Modular First Formalisation of Combinatorial Design Theory
par: Edmonds, Chelsea, et autres
Publié: (2021)

Formalizing Pick's Theorem in Isabelle/HOL
par: Binder, Sage, et autres
Publié: (2024)

Growing Mathlib: maintenance of a large scale mathematical library
par: Baanen, Anne, et autres
Publié: (2025)

History of confluent Vandermonde matrices and inverting them algorithms
par: Respondek, Jerzy S
Publié: (2024)

Universal truth of operator statements via ideal membership
par: Hofstadler, Clemens, et autres
Publié: (2022)

Hilbert's Program and Infinity
par: Zach, Richard
Publié: (2026)

Advancing mathematics research with generative AI
par: Carbone, Lisa
Publié: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
par: Leme, Renato, et autres
Publié: (2023)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)

NIP and Distal Metric Structures
par: Anderson, Aaron
Publié: (2023)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
par: Lau, Gabriel Rongyang
Publié: (2026)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

A combinatorial introduction to Adinkras
par: Donley Jr, Robert W., et autres
Publié: (2024)

On foundations for deductive mathematics
par: Quinn, Frank
Publié: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
par: Wang, Zili, et autres
Publié: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

A Structural Analysis of Infinity in Set Theory and Modern Algebra
par: Betz, Noah
Publié: (2025)

Twenty years of Nešetřil's classification programme of Ramsey classes
par: Hubička, Jan, et autres
Publié: (2025)

On Godel's treatment of the undecidable in 1931
par: Cattabriga, Paola
Publié: (2024)

A definição de verdade de Tarski
par: Cardoso, Guilherme, et autres
Publié: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
par: Dean, Walter, et autres
Publié: (2025)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
par: Neuwirth, Stefan, et autres
Publié: (2024)

Weyl's Quantifiers
par: Toader, Iulian D.
Publié: (2024)