Computational geometry problems in REDLOG

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1360, Issue , 1997, Pages 58-86

  Sturm, Thomas ^a   Weispfenning, Volker ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER AIDED DESIGN; MOTION PLANNING; THEOREM PROVING;

CAST SHADOW; ELIMINATION METHOD; GEOMETRICAL PROBLEMS; MOVING OBJECTS; VORONOI DIAGRAMS;

COMPUTATIONAL GEOMETRY;

EID: 79956304197     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0022720     Document Type: Conference Paper

References (29)

1. Chaouki T. Abdallah, Peter Dorato, Wei Yang, Richard Liska, and Stanly Steinberg. Applications of quantifier elimination theory to control system design. In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation, pages 340-345. IEEE, 1996.
2. Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Computational Geometry, Algorithms and Applications. Springer, Berlin, Heidelberg, New York, 1997.
3. Bruno Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Doctoral dissertation, Mathematisches Institut, Universitat Innsbruck, Innsbruck, Austria, 1965.
4. George E. Collins and Hoon Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299-328, September 1991.
5. Robert M. Corless and David J. Jeffrey. Well… it isn’t quite that simple. ACM SIGSAM Bulletin, 26(3):2-6, August 1992.
6. Alain Colmerauer. Prolog III. Communications of the ACM, 33(7):70-90, July 1990.
7. Andreas Dolzmann and Thomas Sturm. Redlog user manual. Technical Report MIP-9616, FMI, Universitat Passau, D-94030 Passau, Germany, October 1996. Edition 1.0 for Version 1.0.
8. Andreas Dolzmann and Thomas Sturm. Guarded expressions in practice. In Wolfgang W. Kiichlin, editor, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97), pages 376-383, New York, July 1997. ACM, ACM Press.
9. Andreas Dolzmann and Thomas Sturm. Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2):2-9, June 1997.
10. Andreas Dolzmann and Thomas Sturm. Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation, 24(2):209-231, August 1997.
11. Andreas Dolzmann, Thomas Sturm, and Volker Weispfenning. A new approach for automatic theorem proving in real geometry. Technical Report MIP-9611, FMI, Universitat Passau, D-94030 Passau, Germany, May 1996. To appear in the Journal of Automated Reasoning.
12. Hoon Hong, George E. Collins, Jeremy R. Johnson, and Mark J. Encarnacion. QEPCAD interactive version 12. Kindly provided to us by Hoon Hong, September 1993.
13. Hoon Hong, Richard Liska, and Stanly Steinberg. Testing stability by quantifier elimination. Journal of Symbolic Computation, 24(2):161-187, August 1997. Special Issue on applications of quantifier elimination.
14. Christoph M. Hoffmann. How solid is solid modeling. In Ming C. Lin and Dinesh Manocha, editors, Applied Computational Geometry, volume 1148 of Lecture Notes in Computer Science, pages 1-8, Berlin, Heidelberg, 1996. Springer.
15. Deepak Kapur and Joseph L. Mundy. Wu’s method and its application to perspective viewing. Artificial Intelligence, 37(1-3):15-36, December 1988. Special volume on geometric reasoning.
16. Rüdiger Loos and Volker Weispfenning. Applying linear quantifier elimination. The Computer Journal, 36(5):450-462, 1993. Special issue on computational quantifier elimination.
17. Martin Peternell and Helmut Pottmann. Computing rational parametriza- tions of canal surfaces. Journal of Symbolic Computation, 23(2-3):255-266, February-March 1997.
18. Franco P. Preparata and Michael I. Shamos. Computational Geometry—An Introduction. Texts and monographs in computer science. Springer, New York, 1985.
19. Jaroslaw R. Rossignac. Blending and Offsetting Solid Models. Ph.D. thesis, Department of Electrical Engineering, College of Engineering and Applied Science, University of Rochester, Rochester, New York 14627, July 1985.
20. Jaroslaw R. Rossignac and Aristides A. G. Requicha. Offsetting operations in solid modelling. Computer Aided Geometric Design, 3(2):129-148, August 1986.
21. Jean Serra. Image Analysis and Mathematical Morphology. Academic Press, New York, 1982.
22. Thomas Sturm and Volker Weispfenning. Rounding and blending of solids by a real elimination method. In Achim Sydow, editor, Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97), volume 2, pages 727-732, Berlin, August 1997. IMACS, Wissenschaft & Technik Verlag.
23. Dongming Wang. An elimination method based on Seidenberg’s theory and its applications. In F. Eyssette and A. Galligo, editors, Computational Algebraic Geometry (MEGA’92), pages 301-328. Birkhauser Verlag, 1993.
24. Volker Weispfenning. The complexity of linear problems in fields. Journal of Symbolic Computation, 5(1):3-27, February 1988.
25. Volker Weispfenning. The complexity of almost linear diophantine problems. Journal of Symbolic Computation, 10(5):395-403, November 1990.
26. Volker Weispfenning. Parametric linear and quadratic optimization by elimination. Technical Report MIP-9404, FMI, Universitat Passau, D-94030 Passau, Germany, April 1994. To appear in the Journal of Symbolic Computation.
27. Volker Weispfenning. Complexity and uniformity of elimination in pres- burger arithmetic. In Wolfgang W. Kiichlin, editor, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (IS- SAC 97), pages 48-53, New York, July 1997. ACM, ACM Press.
28. Volker Weispfenning. Quantifier elimination for real algebra—the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing, 8(2):85-101, February 1997.
29. Volker Weispfenning. Simulation and optimization by quantifier elimination. Journal of Symbolic Computation, 24(2):189-208, August 1997. Special issue on applications of quantifier elimination.