Buchumschlag

Formalizing Pick's Theorem, efficiently

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Eisermann, Michael
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Geometric Topology 68V15, 68V20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formalizing Pick's Theorem in Isabelle/HOL
von: Binder, Sage, et al.
Veröffentlicht: (2024)

Remote Verification System for Mizar Integrated with Emwiki
von: Kai, Toshiki, et al.
Veröffentlicht: (2024)

Anatomy of a Formal Proof
von: Avigad, Jeremy, et al.
Veröffentlicht: (2024)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
von: Paulson, Lawrence C
Veröffentlicht: (2025)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
von: Klouda, Karel, et al.
Veröffentlicht: (2021)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2023)

Algorithm and abstraction in formal mathematics
von: Macbeth, Heather
Veröffentlicht: (2024)

Evolving Ranking Functions for Canonical Blow-Ups in Positive Characteristic
von: Bérczi, Gergely
Veröffentlicht: (2026)

The continuous functional calculus in Lean
von: Dedecker, Anatole, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Primal-Dual Coordinate Descent for Nonconvex-Nonconcave Saddle Point Problems Under the Weak MVI Assumption
von: Walwil, Iyad, et al.
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

Evolving Local Corrections for Global Constructions in Combinatorics
von: Bérczi, Gergely
Veröffentlicht: (2026)

Advancing Mathematical Research via Human-AI Interactive Theorem Proving
von: Li, Chenyi, et al.
Veröffentlicht: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2024)

Formalizing Polynomial Laws and the Universal Divided Power Algebra
von: Chambert-Loir, Antoine, et al.
Veröffentlicht: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Graph2Tac: Online Representation Learning of Formal Math Concepts
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Word-length curve counting on the once-punctured torus
von: Fisac, David, et al.
Veröffentlicht: (2024)

Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement
von: Lei, Ming, et al.
Veröffentlicht: (2025)

Artifical intelligence and inherent mathematical difficulty
von: Dean, Walter, et al.
Veröffentlicht: (2024)

Efficient computation of stationary measures and the Lyapunov Landscape for families random dynamical systems with smooth additive noise
von: Galatolo, Stefano, et al.
Veröffentlicht: (2025)

The complexity of pinning simple multiloops
von: Seo, Eric, et al.
Veröffentlicht: (2026)

Flow-based Extremal Mathematical Structure Discovery
von: Bérczi, Gergely, et al.
Veröffentlicht: (2026)

PatternBoost: Constructions in Mathematics with a Little Help from AI
von: Charton, François, et al.
Veröffentlicht: (2024)

A Modular First Formalisation of Combinatorial Design Theory
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2021)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
von: Firsching, Moritz, et al.
Veröffentlicht: (2026)

LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
von: Peyronnet, Antoine, et al.
Veröffentlicht: (2026)

Optimal strategies in the all-heads coin game
von: Pfaffelhuber, Peter
Veröffentlicht: (2026)

A formalization of Borel determinacy in Lean
von: Manthe, Sven
Veröffentlicht: (2025)

Detecting random bifurcations via rigorous enclosures of large deviations rate functions
von: Blessing, Alexandra, et al.
Veröffentlicht: (2024)

Formalization in Lean of faithfully flat descent of projectivity
von: Shaul, Liran
Veröffentlicht: (2026)

Quasi-Sturmian colorings on regular trees
von: Kim, Dong Han, et al.
Veröffentlicht: (2018)

The spherical growth series of amalgamated free products of infinite cyclic groups
von: Fujii, Michihiko, et al.
Veröffentlicht: (2025)

On sequential versions of distributional topological complexity
von: Jauhari, Ekansh
Veröffentlicht: (2024)

A Formal Analysis of Algorithms for Matroids and Greedoids
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2025)

The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
von: Banjac, Bojan, et al.
Veröffentlicht: (2024)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
von: Linhares, Alexandre
Veröffentlicht: (2026)