Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
realizable sign conditions, signed remainder sequence, cylindrical decomposition algorithm, uniform roadmap, subresultant sequence, basic constructible set, braically connected, univariate representations output, sign determination algorithm, general real closed field, graded lexicographical, isolating list, forgetting the last coordinate, subresultant polynomials, subresultant coefficients, data for adjacencies, strict sign conditions, binary complexity, connecting algorithm, stratifying family, real root isolation, braic set, euclidean remainder sequence, roadmap algorithm, restricted elimination
Key Phrases - Capitalized Phrases (CAPs):
(learn more)
Triangular Sign Determination, Hilbert's Nullstellensatz, Bibliographical Notes, Bounded Algebraic Sampling, Parametrized Limit of Bounded Points, Bounded Algebraic Roadmap, Parametrized Special Multiplication Table, Removal of Infinitesimals, Triangular Comparison of Roots, Triangular Intermediate Points, Block Structured Signs, Limit of Real Bounded Points, Continuing Example, Multivariate Hermite, Parametrized Bounded Connecting, Parametrized Comparison of Roots, Real Recursive Sign, Univariate Tarski-query, Bounded Roadmap, Multivariate Tarski-query, Recursive Sample Points, Basic Connected Components, Linking Points, Parametrized Projection, Recursive Comparison of Roots
New!
Books on Related Topics |
Concordance
|
Text Stats
Browse Sample Pages:
Front Cover |
Table of Contents |
First Pages |
Index |
Back Cover |
Surprise Me!