Imagen de Portada

Formalizing Gröbner Basis Theory in Lean

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Guo, Junyu, Shen, Hao, Liu, Junqi, Zhi, Lihong
Formato:	Preprint
Publicado:	2026
Materias:	Commutative Algebra Logic in Computer Science Rings and Algebras
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Computability of Equivariant Gröbner bases
por: Ghosh, Arka, et al.
Publicado: (2025)

Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
por: Guan, Naillin, et al.
Publicado: (2025)

Approximation properties of torsion classes
por: Cox, Sean, et al.
Publicado: (2024)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
por: Cox, Sean
Publicado: (2024)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
por: Baek, Jineon, et al.
Publicado: (2024)

Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors
por: Grochow, Joshua A., et al.
Publicado: (2025)

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

The transcendence degree of the reals over certain set-theoretical subfields
por: Fatalini, Azul, et al.
Publicado: (2024)

Derivations and gt-henselian field topologies
por: Walsberg, Erik
Publicado: (2025)

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

Model theory of differential-henselian pre-$H$-fields
por: Pynn-Coates, Nigel
Publicado: (2019)

Bounded morphisms
por: Wagner, Frank Olaf
Publicado: (2015)

Tame pairs of transseries fields
por: Pynn-Coates, Nigel
Publicado: (2024)

The Regular Element Property in Constructive Mathematics
por: Coquand, Thierry
Publicado: (2024)

Dimension and topology in transserial tame pairs
por: Pynn-Coates, Nigel
Publicado: (2025)

Contracting Endomorphisms of Valued Fields
por: Dor, Yuval, et al.
Publicado: (2023)

Beyond the Fontaine-Wintenberger theorem
por: Jahnke, Franziska, et al.
Publicado: (2023)

When is the étale open topology a field topology?
por: Dittmann, Philip, et al.
Publicado: (2022)

Analytic Nullstellensätze and the model theory of valued fields
por: Aschenbrenner, Matthias, et al.
Publicado: (2022)

A Course in Ring Theory
por: Krumm, David
Publicado: (2025)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
por: del Barco, Viviana, et al.
Publicado: (2025)

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

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

Quasipolynomial behavior via constructibility in multigraded algebra
por: Dao, Hailong, et al.
Publicado: (2025)

Equivalent of Multivariate Polynomial Matrix
por: Liu, Jinwang, et al.
Publicado: (2025)

An Algorithm for Diagonalizing Matrices of Formal Power Series
por: Dai, Zihao, et al.
Publicado: (2026)

Formalizing Polynomial Laws and the Universal Divided Power Algebra
por: Chambert-Loir, Antoine, et al.
Publicado: (2025)

Galois Theory
por: Leinster, Tom
Publicado: (2024)

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups
por: Dong, Ruiwen
Publicado: (2024)

Quasi-projective dimensions of complexes over rings
por: Chen, Hongxing, et al.
Publicado: (2026)

Strongly $FP$-injective dimensions and Gorenstein projective precovers
por: Becerril, Víctor
Publicado: (2026)

Non-abelian extensions of Hom-Jacobi-Jordan algebras
por: Saadaoui, Nejib
Publicado: (2026)

Distinguished classes of ideal spaces and their topological properties
por: Finocchiaro, Carmelo A., et al.
Publicado: (2022)

On graded u-nil clean rings
por: Namrok, Ismail
Publicado: (2023)

Cellular structure of the Pommaret-Seiler resolution for quasi-stable ideals
por: Iglesias, Rodrigo, et al.
Publicado: (2024)

Decompositions into a direct sum of projective and stable submodules
por: Gunay, Gulizar, et al.
Publicado: (2025)

Prime ideals in the Boolean polynomial semiring
por: Mincheva, Kalina, et al.
Publicado: (2025)

Ideal spaces: An extension of structure spaces of rings
por: Dube, Themba, et al.
Publicado: (2022)