Skip to main content
SpringerLink
Log in

Geometric Reasoning for Computer-Aided Design

  • Chapter
Artificial Intelligence in Design

Part of the book series: Artificial Intelligence in Industry Series ((AI INDUSTRY))

Abstract

Geometric computation has been widely used for over 20 years in computer-aided design (CAD), but until fairly recently, the emphasis has been on the end user deciding what geometric constructions to make. The main mode of use has been to treat a CAD system as being to geometry as a calculator is to arithmetic — the CAD system can perform various geometric manipulations and draw the results, but it has no built in knowledge of geometric theorems and concepts, just as a calculator has no knowledge of number theory.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Kapur D, Mundy JL (eds). Geometric reasoning. MIT Press, Cambridge, MA, 1989.

    Google Scholar 

  2. Woodwark JR (ed). Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  3. Davenport JH, Siret Y, Tournier E. Computer algebra systems and algorithms for algebraic computation. Academic Press, London, 1988

    MATH  Google Scholar 

  4. Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition I: the basic algorithm. SIAM J Comput 1984; 13: 865–877

    Google Scholar 

  5. Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition II: an adjacent algorithm for the plane. SIAM J Comput 1984; 13: 878–889

    Google Scholar 

  6. Buchberger B, Collins GE, Kutzler B. Algebraic methods for geometric reasoning. Ann Rev Comput Sci 1988; 3: 85–119

    Google Scholar 

  7. Davenport JH. Robot motion planning. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  8. Bowyer A, Davenport J, Milne P, Padget J, Wallis AF. A geometric algebra system. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  9. Martin RR, Stephenson PC. Swept volumes in solid modellers. In: Handscomb DC (ed) Mathematics of surfaces III. Oxford University Press, 1989

    Google Scholar 

  10. Todd SJP. Programming interactions by contraints. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  11. Hoffmann C, Hopcroft J. Quadratic blending surfaces. Comput Aided Des, 1986; 18: 301–306

    Article  Google Scholar 

  12. Middleditch A, Sears K. Blend surfaces for set theoretic modelling systems. ACM SIGGRAPH Comput Graphics 1985; 19: 161–170

    Article  Google Scholar 

  13. Kapur D, Mundy JL. Wu’s method: an informal introduction. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  14. Wu W. On the decision problem and the mechanisation of theorem proving in elementary geometry. Sci Sin 1978; 21: 150–172

    Google Scholar 

  15. Chou SC. Proving elementary geometry theorems using Wu’s algorithm. In: Bledsoe, Loveland (eds) Theorem proving: after 25 years. Contemp Math 1984; 29: 243–286

    Google Scholar 

  16. Kutzler B, Sifter S. Automated geometry theorem proving using Buchberger’s algorithm. 1986 symposium on symbolic and algebraic computation (SYMSAC 86), Waterloo, Canada, 1986

    Google Scholar 

  17. Kapur D, Mundy JL. A refutational approach to geometry theorem proving. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  18. Geisow A. Recognition and generation of symbolic diagrams. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  19. Pereira FCN. Can drawing be liberated from the Von Neumann style? In: Caneghem van M, Warren DHD (eds) Logic programming and its applications. Ablex, 1986

    Google Scholar 

  20. Arya K. A functional approach to picture manipulation. Comput Graphics Forum 1984; 3: 35–16

    Article  Google Scholar 

  21. Suffell C, Blount GN. Sketch form data input for engineering component definition. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  22. Fisher RB, Orr MJL. Geometric constraints from 2½D sketch data and object models. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  23. Brooks RA. Symbolic reasoning among 3D models and 2D images. Artif Intell 1981; 17: 285–348

    Google Scholar 

  24. Jared GEM. Shape features in geometric modelling. In: Pickett MS, Boyse JW (eds) Solid modelling by computers. Plenum, 1984

    Google Scholar 

  25. Kyprianou LK. Shape classification in computer aided design. PhD thesis, University of Cambridge, 1980

    Google Scholar 

  26. Martin RR, Howells DI. Relational algebra, relational calculus and computational solid geometry. In: Earnshaw RA (ed) Theoretical foundations of computer graphics and CAD. Springer, Berlin Heidelberg New York, 1988

    Google Scholar 

  27. Gray PMD. Logic, algebra and databases. Ellis Horwood, 1984

    MATH  Google Scholar 

  28. Jared GEM. Recognising and using geometric features. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  29. Husbands P, Mill F, Warrington S. Part representation in process planning for complex components. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  30. Woodwark JR. Some speculations on feature recognition. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  31. Woo TCH. Computer understanding of design. PhD thesis, University of Illinois, 1975

    Google Scholar 

  32. Murray JL, Miller MH. Knowledge-based systems in process planning and assembly design. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  33. Wordenweber B. Automatic mesh generation of two and three dimensional curvilinear manifolds. PhD thesis, University of Cambridge, 1981

    Google Scholar 

  34. Bonney M, Taylor N, Case K. Using CAD and expert systems for human workplace design. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  35. Fleming AD. A representation of geometrically toleranced parts. In: Woodwark JR (ed) Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989

    Google Scholar 

  36. Durrant-Whyte HF. Concerning uncertain geometry in robotics. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  37. Canny J. Constructing roadmaps of semi-algebraic sets, part I: completeness. In: Kapur D, Mundy JL (ed) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  38. Milenkovic VJ. Verifiable implementations of geometric algorithms using finite precision arithmetic. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

  39. Guibas LJ, Stolfi J. Ruler, compass, and computer: the design and analysis of geometric algorithms. In: Earnshaw RA (ed) Theoretical foundations of computer graphics and CAD. Springer, Berlin Heidelberg New York, 1988

    Google Scholar 

  40. Barry M, Cyrluk D, Kapur D, Mundy JL. A multi-level geometric reasoning system for vision. In: Kapur D, Mundy JL (eds) Geometric reasoning. MIT Press, Cambridge, MA, 1989

    Google Scholar 

Download references

Authors
  1. R. R. Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electrical, Electronic and Systems Engineering, University of Wales College of Cardiff, PO Box 904, Cardiff, CF1 3YH, UK

    D. T. Pham PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag London Limited

About this chapter

Cite this chapter

Martin, R.R. (1991). Geometric Reasoning for Computer-Aided Design. In: Pham, D.T. (eds) Artificial Intelligence in Design. Artificial Intelligence in Industry Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74354-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74354-2_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-74356-6

  • Online ISBN: 978-3-642-74354-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation