On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds
- 1 September 1983
- journal article
- Published by Elsevier in Advances in Applied Mathematics
- Vol. 4 (3) , 298-351
- https://doi.org/10.1016/0196-8858(83)90014-3
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Automatic analysis of real algebraic curvesACM SIGSAM Bulletin, 1981
- Fast Probabilistic Algorithms for Verification of Polynomial IdentitiesJournal of the ACM, 1980
- Counting types of rigid frameworksInventiones Mathematicae, 1979
- An algorithm for planning collision-free paths among polyhedral obstaclesCommunications of the ACM, 1979
- All Algebraic Functions Can Be Computed FastJournal of the ACM, 1978
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic DecompositionACM SIGSAM Bulletin, 1976
- Integer Arithmetic Algorithms for Polynomial Real Zero DeterminationJournal of the ACM, 1971
- On Euclid's Algorithm and the Theory of SubresultantsJournal of the ACM, 1971
- Decision procedures for real and p‐adic fieldsCommunications on Pure and Applied Mathematics, 1969
- An inequality for the discriminant of a polynomial.The Michigan Mathematical Journal, 1964