Cover Image

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berthomieu, Jérémy, Gillot, Edern, Din, Mohab Safey El
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation Algebraic Geometry
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
by: Elliott, Jesse, et al.
Published: (2025)

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

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

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
by: Gopalakrishnan, Sriram, et al.
Published: (2024)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
by: Kouba, Robin, et al.
Published: (2026)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
by: Magron, Victor, et al.
Published: (2018)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
by: Din, Mohab Safey El, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
by: Liwski, Emiliano, et al.
Published: (2025)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
by: Berthomieu, Jérémy, et al.
Published: (2024)

Reinforcement Learning for Power-Flow Network Analysis
by: Ergur, Alperen, et al.
Published: (2026)

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

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

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

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

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

Some explicit arithmetic on curves of genus three and their applications
by: Moriya, Tomoki, et al.
Published: (2022)

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

Brackets and Projective Geometry in Macaulay2
by: Bidleman, Dalton, et al.
Published: (2025)

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
by: Kudo, Momonari, et al.
Published: (2024)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry
by: Vaccon, Tristan, et al.
Published: (2024)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
by: Paouris, Grigoris, et al.
Published: (2019)