Skip to main content
SpringerLink
Log in

On Spatial Constraint Solving Approaches

  • Conference paper
  • First Online:
Automated Deduction in Geometry (ADG 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2061))

Included in the following conference series:

Abstract

Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involving lines. We also prove that there are at most 12 real tangents to four given spheres in R 3.

Work supported in part by NSF Grant CCR 99-02025, by ARO Contract 39136-MA, and by the Purdue Visualization Center.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Durand. Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, Dept. of Comp. Sci., 1998.

    Google Scholar 

  2. C. Durand and C.M. Hoffmann. A systematic framework for solving geometric constraints analytically. J. of Symbolic Computation, 30:483–520, 2000.

    Article  MathSciNet  Google Scholar 

  3. I. Fudos and C.M. Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Trans on Graphics, 16:179–216, 1997.

    Article  Google Scholar 

  4. X.S. Gao and C.C. Zhu. Geometric constraint solving with linkages and geometric method for polynomial equations-solving. In MM Research Preprints 18, pages 48–58. Academia Sincica, Institute of Systems Science, 1999.

    Google Scholar 

  5. J.X. Ge, S.C. Chou, and X.S. Gao. Geometric constraint satisfaction using optimization methods. Computer Aided Design, 31:867–879, 1999.

    Article  MATH  Google Scholar 

  6. C.M. Hoffmann, A. Lomonosov, and M. Sitharam. Geometric constraint decomposition. In Geometric Constraint Solving and Applications, pages 170–195. Springer-Verlag, New York, 1998.

    Google Scholar 

  7. C.M. Hoffmann and P. Vermeer. Geometric constraint solving in R2 and R3. In Computing in Euclidean Geometry, pages 170–195. World Scientific Publishing, Singapore, 1995.

    Google Scholar 

  8. D. Lazard and J.P. Merlet. The (true) Stewart platform has 12 configurations. In Proceedings IEEE International Conference on Robotics and Automation, pages 2160–2165. IEEE, 1994.

    Google Scholar 

  9. I.G. Macdonald, J. Pach, and Th. Theobald. Common tangents to four unit balls in R 3. Discrete and Comp. Geometry, to appear.

    Google Scholar 

  10. D. Michelucci. Using Cayley Menger determinants. Web document available from http://www.emse.fr/~micheluc/MENGER/index.html.

  11. A. Morgan. A homotopy for solving general polynomial systems that respects mhomogeneous structures. Applied Mathematics and Computation, 24: 101–113, 1987.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Purdue University, West Lafayette, IN, 47907-1398, USA

    Christoph M. Hoffmann & Bo Yuan

Authors
  1. Christoph M. Hoffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bo Yuan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Zentrum Mathematik, SB4, Technische Universität München, 80290, München, Germany

    Jürgen Richter-Gebert

  2. Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie — CNRS, 4 place Jussieu, 75252, Paris Cedex 05, France

    Dongming Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoffmann, C.M., Yuan, B. (2001). On Spatial Constraint Solving Approaches. In: Richter-Gebert, J., Wang, D. (eds) Automated Deduction in Geometry. ADG 2000. Lecture Notes in Computer Science(), vol 2061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45410-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-45410-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42598-4

  • Online ISBN: 978-3-540-45410-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation