Faster real root decision algorithm for symmetric polynomials (Q6081968)

scientific article; zbMATH DE number 7760791

Language	Label	Description	Also known as
English	Faster real root decision algorithm for symmetric polynomials	scientific article; zbMATH DE number 7760791

Statements

instance of

scholarly article

0 references

title

Faster real root decision algorithm for symmetric polynomials (English)

0 references

0 references

0 references

0 references

0 references

0 references

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation

0 references

publication date

3 November 2023

0 references

full work available at URL

https://arxiv.org/abs/2306.03855

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Degeneracy loci and polynomial equation solving

0 references

Polar varieties, real equation solving, and data structures: the hypersurface case

0 references

Polar varieties and efficient real elimination

0 references

On the intrinsic complexity of point finding in real singular hypersurfaces

0 references

Q5389777

0 references

Generalized polar varieties: geometry and algorithms

0 references

Intrinsic complexity estimates in polynomial optimization

0 references

On the combinatorial and algebraic complexity of quantifier elimination

0 references

Algorithms in real algebraic geometry

0 references

Bounding the equivariant Betti numbers of symmetric semi-algebraic sets

0 references

Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets

0 references

Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets

0 references

Q5301651

0 references

Resultant of an equivariant polynomial system with respect to the symmetric group

0 references

Triangular decomposition of semi-algebraic systems

0 references

Computing cylindrical algebraic decomposition via triangular decomposition

0 references

Solving a system of algebraic equations with symmetries

0 references

Real quantifier elimination is doubly exponential

0 references

Q4317713

0 references

On the bit complexity of finding points in connected components of a smooth real hypersurface

0 references

Cylindrical algebraic decomposition with equational constraints

0 references

Computing critical points for invariant algebraic systems

0 references

Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases

0 references

Critical points and Gröbner bases

0 references

Solving polynomial systems globally invariant under an action of the symmetric group and application to the equilibria of N vortices in the plane

0 references

Symmetry groups, semidefinite programs, and sums of squares

0 references

A Gröbner free alternative for polynomial system solving

0 references

Solving systems of polynomial inequalities in subexponential time

0 references

Solving determinantal systems using homotopy techniques

0 references

On the Theoretical and Practical Complexity of the Existential Theory of Reals

0 references

Q4265391

0 references

Homotopy techniques for solving sparse column support determinantal polynomial systems

0 references

On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination

0 references

On the degree and half-degree principle for symmetric polynomials

0 references

Symmetric semi-algebraic sets and non-negativity of symmetric polynomials

0 references

Real Root Finding for Equivariant Semi-algebraic Systems

0 references

Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization

0 references

Q4660671

0 references

Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization

0 references

Critical Point Computations on Smooth Varieties

0 references

A Note on Proper Polynomial Maps

0 references

Q4302492

0 references

On the Complexity of Computing Critical Points with Gröbner Bases

0 references

Cylindrical algebraic decomposition using validated numerics

0 references

Algorithms in invariant theory

0 references

Q5792485

0 references

On the positivity of symmetric polynomial functions. I: General results

0 references

Cylindrical algebraic decomposition using local projections

0 references

Identifiers

arXiv ID

2306.03855

0 references

DOI

10.1145/3597066.3597097

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6081968