scientific article; zbMATH DE number 177865

zbMATH Open0768.68066MaRDI QIDQ4038744FDOQ4038744

Authors: John Canny 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

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

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)