Image de couverture de livre

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Prébet, Rémi, Din, Mohab Safey El, Schost, Éric
Format:	Preprint
Publié:	2024
Sujets:	Symbolic Computation Algebraic Geometry
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Computing the connected components of real algebraic curves
par: Rocchi, Elisabetta, et autres
Publié: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
par: Berthomieu, Jérémy, et autres
Publié: (2026)

Solving parameter-dependent semi-algebraic systems
par: Gaillard, Louis, et autres
Publié: (2024)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
par: Elliott, Jesse, et autres
Publié: (2025)

Solving generic parametric linear matrix inequalities
par: Naldi, Simone, et autres
Publié: (2025)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
par: Liwski, Emiliano, et autres
Publié: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2025)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
par: Kouba, Robin, et autres
Publié: (2026)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
par: Magron, Victor, et autres
Publié: (2018)

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
par: Gopalakrishnan, Sriram, et autres
Publié: (2024)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
par: Din, Mohab Safey El, et autres
Publié: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
par: Hong, Hoon, et autres
Publié: (2023)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
par: Hong, Hoon, et autres
Publié: (2023)

On the complexity of Chow and Hurwitz forms
par: Doğan, Mahmut Levent, et autres
Publié: (2022)

Persistent components in Canny's Generalized Characteristic Polynomial
par: Pogudin, Gleb
Publié: (2024)

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

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
par: Bender, Matías, et autres
Publié: (2023)

Connection Matrices in Macaulay2
par: Görlach, Paul, et autres
Publié: (2025)

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

A proof of the Brill-Noether method from scratch
par: Berardini, Elena, et autres
Publié: (2022)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
par: Vu, Thi Xuan
Publié: (2025)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
par: Riener, Cordian., et autres
Publié: (2025)

Geometric Generality of Transformer-Based Gröbner Basis Computation
par: Kambe, Yuta, et autres
Publié: (2025)

A Kronecker algorithm for locally closed sets over a perfect field
par: Giménez, Nardo, et autres
Publié: (2025)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
par: Kudo, Momonari, et autres
Publié: (2024)

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
par: Kudo, Momonari, et autres
Publié: (2024)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry
par: Vaccon, Tristan, et autres
Publié: (2024)

Reinforcement Learning for Power-Flow Network Analysis
par: Ergur, Alperen, et autres
Publié: (2026)

Efficient Tensor Decomposition via Moment Matrix Extension
par: Shi, Bobby, et autres
Publié: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
par: Zeng, Zhenbing, et autres
Publié: (2025)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
par: Srivastava, Karan, et autres
Publié: (2025)

Some explicit arithmetic on curves of genus three and their applications
par: Moriya, Tomoki, et autres
Publié: (2022)

Brackets and Projective Geometry in Macaulay2
par: Bidleman, Dalton, et autres
Publié: (2025)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
par: Vu, Thi Xuan
Publié: (2026)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
par: Magron, Victor, et autres
Publié: (2020)

Learning Fast Monomial Orders for Gröbner Basis Computations
par: Bunch, R. Caleb, et autres
Publié: (2026)

Certified algebraic curve projections by path tracking
par: Burr, Michael, et autres
Publié: (2025)