scientific article; zbMATH DE number 177865

MaRDI QIDQ4038744zbMATH OpenFDO

Authors John Canny

Publication date 18 May 1993

zbMATH Keywords

symbolic quantifiers elimination in pseudo-polynomial timesymbolic sign determination algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 589121
• Un nuevo algoritmo en programacion signomial
• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
• More powerful tests for the sign testing problem
• A simple approach towards the sign problem using path optimisation
• Sign-sensitive approximations

Cited in

(8)

• Dynamic evaluation and real closure.
• Zero-nonzero and real-nonreal sign determination
• The factor-2 sign detection algorithm using a core function for RNS numbers
• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
• On sign conditions over real multivariate polynomials
• scientific article; zbMATH DE number 589121 (Why is no real title available?)
• Elementary recursive quantifier elimination based on Thom encoding and sign determination
• Sign determination in residue number systems

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 Q4038744)