:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Linzi, Alessandro
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Commutative Algebra 68V20, 06A12
Accès en ligne:	https://arxiv.org/abs/2509.19854
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formalizing Polynomial Laws and the Universal Divided Power Algebra
par: Chambert-Loir, Antoine, et autres
Publié: (2025)

Infinite Atomized Semilattices
par: Martin-Maroto, Fernando, et autres
Publié: (2023)

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

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

Generalised power series determined by linear recurrence relations
par: Krapp, Lothar Sebastian, et autres
Publié: (2022)

Definable ranks
par: Krapp, Lothar Sebastian, et autres
Publié: (2025)

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

The isomorphism problem for ideal class monoids of numerical semigroups
par: Garcia-Sanchez, Pedro A.
Publié: (2023)

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

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

Computing differential Galois groups of second-order linear $q$-difference equations
par: Arreche, Carlos E., et autres
Publié: (2020)

Solving Order 3 Difference Equations
par: KaedBey, Heba Bou, et autres
Publié: (2024)

Computability of Equivariant Gröbner bases
par: Ghosh, Arka, et autres
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)

Decomposing the automorphism group of the surreal numbers
par: Kaplan, Elliot, et autres
Publié: (2025)

Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation
par: Arreche, Carlos E.
Publié: (2016)

On certain definable coarsenings of valuation rings and their applications
par: Kuhlmann, Franz-Viktor
Publié: (2025)

Model theory of tame valued fields and beyond: recent developments and open questions
par: Kuhlmann, Franz-Viktor
Publié: (2025)

Bounded morphisms
par: Wagner, Frank Olaf
Publié: (2015)

Smith Form Equivalence for Several Classes of Multivariate Polynomial Matrices
par: Chen, Zuo, et autres
Publié: (2026)

Dp-finite and Noetherian NIP integral domains
par: Johnson, Will
Publié: (2023)

Definable henselian valuations in positive residue characteristic
par: Ketelsen, Margarete, et autres
Publié: (2024)

Model theory of valued fields with an endomorphism
par: Ramello, Simone
Publié: (2024)

Large imperfect fields are existentially closed in function fields after finite constant extension
par: Knaf, Hagen, et autres
Publié: (2026)

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

Maps preserving the sum-to-difference ratio in characteristic $p$
par: Chebolu, Sunil, et autres
Publié: (2025)

On the computation of the difference Galois groups of order three equations
par: Dreyfus, Thomas, et autres
Publié: (2022)

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

Neighbour Sum Patterns : Chessboards to Toroidal Worlds
par: Dutta, Sayan, et autres
Publié: (2023)

The structure of rough sets defined by reflexive relations
par: Järvinen, Jouni, et autres
Publié: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
par: Järvinen, Jouni, et autres
Publié: (2026)

Largeness and generalized t-henselianity
par: Johnson, Will
Publié: (2025)

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

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

The Galois characterisation of $p$-adically closed fields -- A modern perspective
par: Gitin, Leo, et autres
Publié: (2026)

Separating symmetric polynomials over finite fields
par: Lopatin, Artem, et autres
Publié: (2024)

AKE principles for deeply ramified fields
par: Jahnke, Franziska, et autres
Publié: (2026)

A weak regularity lemma for polynomials
par: Moshkovitz, Guy, et autres
Publié: (2025)