scientific article; zbMATH DE number 589121

MaRDI QIDQ4295430zbMATH OpenFDO

Authors John Canny

Publication date 1 March 1995

zbMATH Keywords

algorithm for determining the signs of a collection of polynomialsconnected components of semialgebraic setsnumber of potential Sturm queriesquantifier eliminationsequential complexity

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Computational aspects in algebraic geometry (14Q99) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 177865
• Zero-nonzero and real-nonreal sign determination
• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
• On the combinatorial and algebraic complexity of quantifier elimination
• Linear solving for sign determination

Cited in

(7)

• The factor-2 sign detection algorithm using a core function for RNS numbers
• Zero-nonzero and real-nonreal sign determination
• scientific article; zbMATH DE number 4132288 (Why is no real title available?)
• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
• scientific article; zbMATH DE number 16403 (Why is no real title available?)
• scientific article; zbMATH DE number 16663 (Why is no real title available?)
• scientific article; zbMATH DE number 177865 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295430)