:: Library Catalog

Imatge de la portada

Guardat en:

Dades bibliogràfiques
Autors principals:	Liwski, Emiliano, Mohammadi, Fatemeh, Prébet, Rémi
Format:	Preprint
Publicat:	2025
Matèries:	Combinatorics Symbolic Computation Algebraic Geometry
Accés en línia:	https://arxiv.org/abs/2504.16632
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties
per: Liwski, Emiliano, et al.
Publicat: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
per: Bayarmagnai, Erdenebayar, et al.
Publicat: (2024)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
per: Bayarmagnai, Erdenebayar, et al.
Publicat: (2025)

Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements
per: Liwski, Emiliano, et al.
Publicat: (2024)

Paving Matroids: Defining Equations and Associated Varieties
per: Liwski, Emiliano, et al.
Publicat: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
per: Bayarmagnai, Erdenebayar, et al.
Publicat: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
per: Bayarmagnai, Erdenebayar, et al.
Publicat: (2024)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
per: Prébet, Rémi, et al.
Publicat: (2024)

Algebraic Geometry of Cactus, Pascal, and Pappus Matroids
per: Liwski, Emiliano, et al.
Publicat: (2025)

Lovász--Saks--Schrijver Ideals and the Irreducible Components of the Variety of Orthogonal Representations of a Graph
per: Liwski, Emiliano
Publicat: (2025)

Liftable Point-Line Configurations: Defining Equations and Irreducibility of Associated Matroid and Circuit Varieties
per: Clarke, Oliver, et al.
Publicat: (2024)

Minimal matroids in dependency posets: algorithms and applications to computing irreducible decompositions of circuit varieties
per: Liwski, Emiliano, et al.
Publicat: (2025)

Decomposing Conditional Independence Ideals with Hidden Variables: A Matroid-Theoretic Approach
per: Liwski, Emiliano
Publicat: (2025)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
per: Bender, Matías, et al.
Publicat: (2023)

Decomposing Determinantal Varieties from Statistics via Matroid Theory
per: Alexandersson, Per, et al.
Publicat: (2026)

Efficient Tensor Decomposition via Moment Matrix Extension
per: Shi, Bobby, et al.
Publicat: (2025)

Terracini matroids: algebraic matroids of secants and embedded joins
per: Mohammadi, Fatemeh, et al.
Publicat: (2025)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
per: Kudo, Momonari, et al.
Publicat: (2024)

Solving generic parametric linear matrix inequalities
per: Naldi, Simone, et al.
Publicat: (2025)

Connection Matrices in Macaulay2
per: Görlach, Paul, et al.
Publicat: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
per: Hong, Hoon, et al.
Publicat: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
per: Oaku, Toshinori
Publicat: (2026)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
per: Hong, Hoon, et al.
Publicat: (2023)

Solving parameter-dependent semi-algebraic systems
per: Gaillard, Louis, et al.
Publicat: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
per: Pogudin, Gleb
Publicat: (2024)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
per: Telek, Máté L.
Publicat: (2023)

Computing the connected components of real algebraic curves
per: Rocchi, Elisabetta, et al.
Publicat: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
per: Berthomieu, Jérémy, et al.
Publicat: (2026)

A proof of the Brill-Noether method from scratch
per: Berardini, Elena, et al.
Publicat: (2022)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
per: Riener, Cordian., et al.
Publicat: (2025)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
per: Vu, Thi Xuan
Publicat: (2026)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
per: Zeng, Zhenbing, et al.
Publicat: (2025)

Projective Variety Recovery from Unknown Linear Projections
per: Kaminski, Yirmeyahy
Publicat: (2025)

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
per: Gallet, Matteo, et al.
Publicat: (2025)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
per: Vu, Thi Xuan
Publicat: (2025)

On the complexity of Chow and Hurwitz forms
per: Doğan, Mahmut Levent, et al.
Publicat: (2022)

Grothendieck Weights on Permutohedral Varieties and Matroids
per: Wang, Yiyu
Publicat: (2026)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
per: Xu, Jia, et al.
Publicat: (2025)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
per: Srivastava, Karan, et al.
Publicat: (2025)

Geometric Generality of Transformer-Based Gröbner Basis Computation
per: Kambe, Yuta, et al.
Publicat: (2025)