:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chambert-Loir, Antoine, de Frutos-Fernández, María Inés
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Commutative Algebra 14F30, 68V20
Online Access:	https://arxiv.org/abs/2512.05750
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formalization of Divided Powers in Lean
by: Chambert-Loir, Antoine, et al.
Published: (2025)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
by: Linzi, Alessandro
Published: (2025)

Infinite chains in the tree of numerical semigroups
by: Rosas-Ribeiro, Mariana, et al.
Published: (2023)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Exploring the unleaved tree of numerical semigroups up to a given genus
by: Bras-Amorós, Maria
Published: (2025)

Formalization in Lean of faithfully flat descent of projectivity
by: Shaul, Liran
Published: (2026)

Formalizing Pick's Theorem in Isabelle/HOL
by: Binder, Sage, et al.
Published: (2024)

Fast computation of Riemann-Roch spaces for singular curves
by: Darkaoui, Dounia, et al.
Published: (2026)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

Some computational aspects of spectral sequences in Čech cohomology
by: Zach, Matthias
Published: (2025)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)

Automated Tactics for Polynomial Reasoning in Lean 4
by: Shen, Hao, et al.
Published: (2026)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)

From Polynomials to Databases: Arithmetic Structures in Galois Theory
by: Mezinaj, Jurgen
Published: (2025)

La logique continue des corps globalement valués
by: Chambert-Loir, Antoine
Published: (2025)

Categorical characterizations of regularity for algebraic stacks
by: De Deyn, Timothy, et al.
Published: (2025)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
by: Basson, Dirk, et al.
Published: (2024)

Halidon Rings and their Applications
by: Telveenus, Antony
Published: (2021)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
by: Ramos, Arthur F., et al.
Published: (2026)

Pure subrings of Du Bois singularities are Du Bois singularities
by: Godfrey, Charles, et al.
Published: (2022)

Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)

The continuous functional calculus in Lean
by: Dedecker, Anatole, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

Material Interpretation and Constructive Analysis of Maximal Ideals in $\mathbb{Z}[X]$
by: Wiesnet, Franziskus
Published: (2025)

Large imperfect fields are existentially closed in function fields after finite constant extension
by: Knaf, Hagen, et al.
Published: (2026)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Polynomials as terms and the Boolean Independence Theorem
by: Klazar, M.
Published: (2024)

Computing the unit group of a commutative finite $\mathbb{Z}$-algebra
by: Kreuzer, Martin, et al.
Published: (2024)

A classification of finite groups with small Davenport constant
by: Oh, Jun Seok
Published: (2024)

Lower bounds for Waldschmidt constants and Demailly's Conjecture for general and very general points
by: Bisui, Sankhaneel, et al.
Published: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)

Terminal spaces of monoids
by: Goswami, Amartya
Published: (2023)

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant
by: Lombardi, Henri, et al.
Published: (2024)

Specialization of Difference Equations and High Frobenius Powers
by: Dor, Yuval, et al.
Published: (2022)

Almost Coherence of Higher Direct Images
by: He, Tongmu
Published: (2022)

Computational Complexity of Polynomial Subalgebras
by: Kayser, Leonie
Published: (2025)

Generalized Hamming weights and minimal shifts of Orlik-Terao algebras
by: Tohaneanu, Stefan O.
Published: (2023)

Supersymmetric gaps of a numerical semigroup with two generators
by: Almirón, Patricio, et al.
Published: (2020)