Image de couverture de livre

Formalizing Polynomial Laws and the Universal Divided Power Algebra

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chambert-Loir, Antoine, de Frutos-Fernández, María Inés
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Commutative Algebra 14F30, 68V20
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Formalization of Divided Powers in Lean
par: Chambert-Loir, Antoine, et autres
Publié: (2025)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
par: Linzi, Alessandro
Publié: (2025)

Infinite chains in the tree of numerical semigroups
par: Rosas-Ribeiro, Mariana, et autres
Publié: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

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

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

Formalization in Lean of faithfully flat descent of projectivity
par: Shaul, Liran
Publié: (2026)

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

Automated Tactics for Polynomial Reasoning in Lean 4
par: Shen, Hao, et autres
Publié: (2026)

Formalizing Wu-Ritt Method in Lean 4
par: Xiao, Yuxuan, et autres
Publié: (2026)

Formalizing Gröbner Basis Theory in Lean
par: Guo, Junyu, et autres
Publié: (2026)

Fast computation of Riemann-Roch spaces for singular curves
par: Darkaoui, Dounia, et autres
Publié: (2026)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
par: Shang, Weifeng, et autres
Publié: (2025)

Some computational aspects of spectral sequences in Čech cohomology
par: Zach, Matthias
Publié: (2025)

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

A Geometric Approach to Cylindrical Algebraic Decomposition
par: Chen, Rizeng
Publié: (2023)

Categorical characterizations of regularity for algebraic stacks
par: De Deyn, Timothy, et autres
Publié: (2025)

From Polynomials to Databases: Arithmetic Structures in Galois Theory
par: Mezinaj, Jurgen
Publié: (2025)

Halidon Rings and their Applications
par: Telveenus, Antony
Publié: (2021)

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

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
par: Basson, Dirk, et autres
Publié: (2024)

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

Polynomials as terms and the Boolean Independence Theorem
par: Klazar, M.
Publié: (2024)

Pure subrings of Du Bois singularities are Du Bois singularities
par: Godfrey, Charles, et autres
Publié: (2022)

Specialization of Difference Equations and High Frobenius Powers
par: Dor, Yuval, et autres
Publié: (2022)

Powers of the edge ideals and matchings in hypergraphs
par: Ghasr, Fahimeh Khosh-Ahang
Publié: (2022)

Lower bounds for Waldschmidt constants and Demailly's Conjecture for general and very general points
par: Bisui, Sankhaneel, et autres
Publié: (2024)

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

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
par: Ramos, Arthur F., et autres
Publié: (2026)

The continuous functional calculus in Lean
par: Dedecker, Anatole, et autres
Publié: (2025)

Terminal spaces of monoids
par: Goswami, Amartya
Publié: (2023)

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

Almost Coherence of Higher Direct Images
par: He, Tongmu
Publié: (2022)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
par: Wang, Shuai
Publié: (2024)

Cancellation and splitting of Symplectic modules in the critical range and Euler class group
par: Pawar, Rakesh, et autres
Publié: (2023)

Computability of Equivariant Gröbner bases
par: Ghosh, Arka, et autres
Publié: (2025)

Finite subgroups of $\operatorname{PGL}_2(K)$ arising from configurations of skew lines in $\mathbb{P}^3_K$
par: Favacchio, Giuseppe
Publié: (2025)

A classification of finite groups with small Davenport constant
par: Oh, Jun Seok
Publié: (2024)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
par: Hong, Hoon, et autres
Publié: (2023)