Zero-nonzero and real-nonreal sign determination

DOI10.1016/j.laa.2013.09.010zbMath1309.14047arXiv1305.4131OpenAlexW2963467482MaRDI QIDQ2435509

Daniel Perrucci, Marie-Françoise Roy

Publication date: 19 February 2014

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.4131

zbMATH Keywords

complexitysystemssign determinationpolynomial equations and inequations

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items (1)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem

Cites Work

• Unnamed Item
• Unnamed Item
• Linear solving for sign determination
• Complexity of computation on real algebraic numbers
• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
• Algorithms in real algebraic geometry
• Sylvester-Habicht sequences and fast Cauchy index computation

This page was built for publication: Zero-nonzero and real-nonreal sign determination