The Diversity of Topological Applications within Computer‐aided Geometric Design

ABSTRACT: Boolean algebras of regular closed sets, continuous functions, tame homeomorphisms, and Betti numbers are representative of the spectrum of topological tools that have been useful within computer aided geometric design (CAGD). The history of mathematics is rich with examples where the investigation of applications leads to extensions of existing theory. In that spirit, representative applications of topology to CAGD are presented. The intent is to present these examples in mathematical language within their larger mathematical context, so that other topologists might be encouraged to simultaneously enrich CAGD practice and mathematical theory. The authors' own research has benefited from such synergy, in that preparation of this article has resulted in new findings, which are presented herein.

[1]  Neil F. Stewart,et al.  Sufficient condition for correct topological form in tolerance specification , 1993, Comput. Aided Des..

[2]  J. Nagata,et al.  On rings of continuous functions , 1977 .

[3]  M. Boyer,et al.  Modeling Spaces for Toleranced Objects , 1991, Int. J. Robotics Res..

[4]  Aristides A. G. Requicha,et al.  Toward a Theory of Geometric Tolerancing , 1983 .

[5]  V. Shapiro.  Representations of semi-algebraic sets in finite algebras generated by space decompositions , 1991 .

[6]  Tetsuo Tomiyama,et al.  Extended general design theory , 1986 .

[7]  R. Bing.  The Geometric Topology of 3-Manifolds , 1983 .

[8]  Toshiharu Taura,et al.  A Metric Space for Intelligent CAD , 1991, IntCAD.

[9]  Aristides A. G. Requicha,et al.  Closure of Boolean operations on geometric entities , 1980 .

[10]  N. F. Stewart,et al.  Imperfect Form Tolerancing on Manifold Objects: A Metric Approach , 1992 .

[11]  Aristides A. G. Requicha,et al.  Solid modeling and beyond , 1992, IEEE Computer Graphics and Applications.

[12]  T. Yung Kong,et al.  A topological approach to digital topology , 1991 .

[13]  A. W. Roscoe,et al.  Topology and category theory in computer science , 1991 .

[14]  V. Rich.  Personal communication , 1989, Nature.

[15]  Thomas J. Peters,et al.  Topological properties that model feature-based representation conversions within concurrent engineering , 1992 .

[16]  Kevin Weiler.  Topological Structures for Geometric Modeling , 1986 .

[17]  N. P. Juster,et al.  Modelling and representation of dimensions and tolerances: a survey , 1992, Comput. Aided Des..

[18]  R. Ho.  Algebraic Topology , 2022 .