K. Abdel-Malek and H.-J. Yeh.
On the determination of starting points for parametric surface
intersections.
Computer-Aided Design, 29(1):21-35, January 1997.
S. L. Abrams, L. Bardis, C. Chryssostomidis, N. M. Patrikalakis, S. T. Tuohy,
F.-E. Wolter, and J. Zhou.
The geometric modeling and interrogation system Praxiteles.
Journal of Ship Production, 11(2):117-132, May 1995.
S. L. Abrams, W. Cho, C.-Y. Hu, T. Maekawa, N. M. Patrikalakis, E. C.
Sherbrooke, and X. Ye.
Efficient and reliable methods for rounded-interval arithmetic.
Computer-Aided Design, 30(8):657-665, July 1998.
P. G. Alourdas.
Shape Creation, Interrogation and Fairing Using
B-Splines.
Engineer's thesis, Massachusetts Institute of Technology, Department
of Ocean Engineering, Cambridge, Massachusetts, 1989.
L.-E. Andersson, T. J. Peters, and N. F. Stewart.
Selfintersection of composite curves and surfaces.
Computer Aided Geometric Design, 15(5):507-527, May 1998.
E. V. Anoshkina, A. G. Belyaev, and T. L. Kunii.
Detection of ridges and ravines based on caustic singularities.
International Journal of Shape Modeling, 1(1):13-22, 1994.
E. V. Anoshkina, A. G. Belyaev, O. G. Okunev, and T. L. Kunii.
Ridges and ravines: A singularity approach.
International Journal of Shape Modeling, 1(1):1-11, 1994.
ANSI/IEEE Std 754-1985.
IEEE Standard for Binary Floating-Point Arithmetic.
IEEE, New York, 1985.
Reprinted in ACM SIGPLAN Notices, 22(2):9-25, February 1987.
C. G. Armstrong, T. K. H. Tam, D. J. Robinson, R. M. McKeag, and M. A. Price.
Automatic generation of well structured meshes using medial axis and
surface subdivision.
In G. A. Gabriele, editor, Proceedings of the 17th ASME Design
Automation Conference: Advances in Design Automation, Vol. 2, pages
139-146, Miami, FL, September 1991. New York: ASME.
W. Auzinger and H. J. Stetter.
An elimination algorithm for the computation of zeros of a system of
multivariate polynomial equations.
In R. P. Agarwal, Y. M. Chow, and S. J. Wilson, editors, Numerical Mathematics, Singapore, 1988, International Series of Numerical
Mathematics,Volume 86, pages 11-30. Birkhäuser Verlag, Boston Basel
Berlin, 1988.
C. L. Bajaj, C. M. Hoffmann, J. E. Hopcroft, and R. E. Lynch.
Tracing surface intersections.
Computer Aided Geometric Design, 5(4):285-307, November 1988.
R. E. Barnhill and S. N. Kersey.
A marching method for parametric surface / surface intersection.
Computer Aided Geometric Design, 7(1-4):257-280, June 1990.
D. Blackmore, M. C. Leu, and L. P. Wang.
Sweep-envelope differential equation algorithm and its application to
NC machining verification.
Computer-Aided Design, 29(9):629-637, September 1997.
H. Blum.
A transformation for extracting new descriptors of shape.
Models for the Perception of Speech and Visual Form, pages
362-381, ed: Weinant Wathen-Dunn MIT Press, 1967.
R. M. C. Bodduluri and B. Ravani.
Design of developable surfaces using duality between plane and point
geometries.
Computer-Aided Design, 25(10):621-632, October 1993.
J. W. Brandt.
Theory and Application of the Skeleton Representation of
Continuous Shapes.
PhD thesis, University of California, Davis, CA, December 1991.
J. W. Brandt.
Describing a solid with the three-dimensional skeleton.
In J. D. Warren, editor, Proceedings of The International
Society for Optical Engineering, Volume 1830, Curves and Surfaces in Computer
Vision and Graphics III, pages 258-269. SPIE, Boston, Massachusetts,
1992.
J. W. Brandt.
Convergence and continuity criteria for discrete approximations of
the continuous planar skeleton.
CVGIP: Image Understanding, 59(1):116-124, January 1994.
J. W. Brandt and V. R. Algazi.
Lossy encoding of document images with the continuous skeleton.
In P. Maragos, editor, Visual Communications and Image
Processing '92, SPIE 1818, pages 663-673, 1992.
J. W. Brandt, A. K. Jain, and V. R. Algazi.
Medial axis representation and encoding of scanned documents.
Journal of Visual Communication and Image Representation,
2(2):151-165, June 1991.
E. L. Brechner.
General tool offset curves and surfaces.
In R. E. Barnhill, editor, Geometry Processing for Design and
Manufacturing, pages 101-121. SIAM, 1992.
P. Brunet, A. Vinacua, M. Vivo, N. Pla, and A. Rodriguez.
Surface fairing for ship hull design application.
Mathematical Engineering in Industry, 7(2):179-193, 1998.
B. Buchberger.
Ein Algorithmus zum Auffinden der Basiselemente des
Restklassenringes nach einem nulldimensionalen Polynomideal.
PhD thesis, University of Innsbruck, Innsbruck, Austria, 1965.
B. Buchberger.
Gröbner bases: An algorithmic method in polynomial ideal
theory.
In N. K. Bose, editor, Multidimensional Systems Theory:
Progress, Directions and Open Problems in Multidimensional Systems, pages
184-232. Dordrecht, Holland: D. Reidel Publishing Company, 1985.
J. F. Canny and I. Z. Emiris.
An efficient algorithm for the sparse mixed resultant.
In G. Cohen, T. Mora, and O. Moreno, editors, Proceedings of
10th International Symposium, Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes, pages 89-104. Springer-Verlag, 1993.
J. S. Chalfant.
Analysis and Design of Developable Surfaces for Shipbuilding.
Master's thesis, Massachusetts Institute of Technology, Department of
Ocean Engineering, Cambridge, Massachusetts, 1997.
B. W. W. Char, K. O. Geddes, G. H. Gonnet, B. L. Leong, M. B. Monagan, and
S. M. Watt.
First Leaves: A Tutorial Introduction to Maple V.
Springer-Verlag, 1992.
Y. J. Chen and B. Ravani.
Offset surface generation and contouring in computer-aided design.
Journal of Mechanisms, Transmissions, and Automation in Design,
Transactions of the ASME, 109(3):133-142, March 1987.
K.-P. Cheng.
Using plane vector fields to obtain all the intersection curves of
two general surfaces.
In W. Strasser and H. Seidel, editors, Theory and Practice of
Geometric Modeling, pages 187-204. Springer-Verlag, New York, 1989.
C. S. Chiang, C. M. Hoffmann, and R. E. Lynch.
How to compute offsets without self-intersection.
In M. J. Silbermann and D. Tagare, editors, Proceedings of The
SPIE Conference on Curves and Surfaces in Computer Vision and Graphics II,
Volume 1610, pages 76-87, Boston, Massachusetts, 1991. International Society
for Optical Engineering.
W. Cho, T. Maekawa, and N. M. Patrikalakis.
Topologically reliable approximation of composite Bézier
curves.
Computer Aided Geometric Design, 13(6):497-520, August 1996.
W. Cho, T. Maekawa, N. M. Patrikalakis, and J. Peraire.
Topologically reliable approximation of trimmed polynomial surface
patches.
Graphical Models and Image Processing, 61(2):84-109, March
1999.
B. Cobb.
Design of Sculptured Surfaces Using the B-spline
Representation.
PhD thesis, Computer Science Department, University of Utah, Salt
Lake City, Utah, 1984.
E. Cohen, T. Lyche, and R. Riesenfeld.
Discrete B-splines and subdivision techniques in computer-aided
geometric design and computer graphics.
Computer Graphics and Image Processing, 14(2):87-111, October
1980.
G. E. Collins and R. Loos.
Real zeros of polynomials.
In B. Buchberger, G. E. Collins, and R. Loos, editors, Computer
Algebra: Symbolic and Algebraic Computation, pages 83-94. Springer-Verlag,
Vienna, 1982.
T. Culver, J. Keyser, and D. Manocha.
Accurate computation of the medial axis of a polyhedron.
In W. F. Bronsvoort and D. C. Anderson, editors, In Proceedings
of Fifth Symposium on Solid Modeling and Applications, Ann Arbor, Michigan,
pages 179-190. NY: ACM, June 1999.
T. Dokken.
Finding intersections of B-spline represented geometries using
recursive subdivision techniques.
Computer Aided Geometric Design, 2(1-3):189-195, September
1985.
T. Duff.
Interval arithmetic and recursive subdivision for implicit functions
and constructive solid geometry.
ACM Computer Graphics, 26(2):131-138, July 1992.
D. Dutta and C. M. Hoffmann.
A geometric investigation of the skeleton of CSG objects.
In B. Ravani, editor, Proceedings of the 16th ASME Design
Automation Conference: Advances in Design Automation, Computer Aided and
Computational Design, volume I, pages 67-75, Chicago, IL, September 1990.
New York: ASME, 1990.
G. Elber and E. Cohen.
Error bounded variable distance offset operator for free form curves
and surfaces.
International Journal of Computational Geometry and
Applications, 1(1):67-78, March 1991.
G. Elber and E. Cohen.
Offset approximation improvement by control points perturbation.
In T. Lyche and L. L. Schumaker, editors, Mathematical Methods
in Computer Aided Geometric Design II, pages 229-237. Academic Press,
Boston, 1992.
G. Elber and E. Cohen.
Second-order surface analysis using hybrid symbolic and numeric
operators.
ACM Transactions on Graphics, 12(2):160-178, April 1993.
M. Etzion and A. Rappoport.
Computing the Voronoi diagram of a 3-d polyhedron by separate
computation of its symbolic and geometric parts.
In W. F. Bronsvoort and D. C. Anderson, editors, In Proceedings
of Fifth Symposium on Solid Modeling and Applications, Ann Arbor, Michigan,
pages 167-178, NY: ACM, June 1999.
R. T. Farouki.
Graphical methods for surface differential geometry.
In R. R. Martin, editor, The Mathematics of Surfaces II,
pages 363-385. Clarendon Press, 1987.
R. T. Farouki.
Hierarchical segmentations of algebraic curves and some applications.
In T. Lyche and L. L. Schumaker, editors, Mathematical Methods
in Computer Aided Geometric Design, pages 239-248. Academic Press, Boston,
1989.
R. T. Farouki and J. K. Johnstone.
Computing point/curve and curve/curve bisectors.
In R. B. Fisher, editor, The Mathematics of Surfaces V, pages
327-354. Oxford University, Oxford, 1994.
R. T. Farouki, C. A. Neff, and M. A. O'Connor.
Automatic parsing of degenerate quadric-surface intersections.
ACM Transactions on Graphics, 8(3):174-203, 1989.
R. T. Farouki and V. T. Rajan.
On the numerical condition of polynomials in Bernstein form.
Computer Aided Geometric Design, 4(3):191-216, November 1987.
R. T. Farouki and V. T. Rajan.
On the numerical condition of algebraic curves and surfaces 1.
implicit equations.
Computer Aided Geometric Design, 5(3):215-252,
September 1988.
R. T. Farouki and R. Sverrisson.
Approximation of rolling-ball blends for free-form parametric
surfaces.
Computer-Aided Design, 28(11):871-878, November 1996.
R. T. Farouki, K. Tarabanis, J. U. Korein, J. S. Batchelder, and S. R. Abrams.
Offset curves in layered manufacturing.
Journal of Manufacturing Science and Engineering, Transactions
of the ASME, 68(2):557-568, 1994.
J. C. Faugere, P. Gianni, D. Lazard, and T. Mora.
Efficient computation of zero-dimensional Gröbner bases by
change of ordering.
Journal of Symbolic Computation, 16(4):329-344, 1993.
C. B. Garcia and W. I. Zangwill.
Global continuation methods for finding all solutions to polynomial
systems of equations in n variables.
In A. V. Fiacco and K. O. Kortanek, editors, Extremal Methods
and Systems Analysis, pages 481-497. Springer-Verlag, New York, NY, 1980.
A. Geisow.
Surface Interrogations.
PhD thesis, School of Computing Studies and Accountancy, University
of East Anglia, Norwich NR47TJ, U. K., July 1983.
G. Glaeser, J. Wallner, and H. Pottmann.
Collision-free 3-axis milling and selection of cutting tools.
Computer-Aided Design, 31(3):225-232, March 1999.
W. J. Gordon and R. F. Riesenfeld.
B-spline curves and surfaces.
In R. E. Barnhill and R. F. Riesenfeld, editors, Computer Aided
Geometric Design, pages 95-126. Academic Press, Inc., 1974.
T. A. Grandine.
Geometry processing and numerical stability.
In G. Farin, J. Hoschek, M. S. Kim, and D. Abma, editors, The
Handbook of Computer Aided Design. Elsevier, 2001.
J. A. Grant and G. D. Hitchins.
An always convergent minimization technique for the solution of
polynomial equations.
Journal of Industrial and Mathematical Applications,
8:122-129, 1971.
J. A. Grant and G. D. Hitchins.
Two algorithms for the solution of polynomial equations to limiting
machine precision.
The Computer Journal, 18(3), 1973.
L. Guibas and J. Stolfi.
Primitives for the manipulation of general subdivisions and the
computation of Voronoi diagrams.
ACM Transactions on Graphics, 4(2):74-123, April 1985.
H. N. Gursoy.
Shape Interrogation by Medial Axis Transform for Automated
Analysis.
PhD thesis, Massachusetts Institute of Technology, Cambridge, MA,
November 1989.
H. N. Gursoy and N. M. Patrikalakis.
Automated interrogation and adaptive subdivision of shape using
medial axis transform.
Advances in Engineering Software and Workstations,
13(5/6):287-302, September/November 1991.
H. N. Gursoy and N. M. Patrikalakis.
An automated coarse and fine surface mesh generation scheme based on
medial axis transform, part I: Algorithms.
Engineering with Computers, 8(3):121-137, 1992.
H. N. Gursoy and N. M. Patrikalakis.
An automated coarse and fine surface mesh generation scheme based on
medial axis transform, part II: Implementation.
Engineering with Computers, 8(4):179-196, 1992.
J. Hadenfeld.
Local energy fairing of B-spline surfaces.
In M. Dæhlen, T. Lyche, and L. L. Schumaker, editors, Mathematical Methods for Curves and Surfaces, pages 203-212. Vanderbilt
University Press, 1995.
H. Hagen, S. Hahmann, and T. Schreiber.
Visualization and computation of curvature behaviour of freeform
curves and surfaces.
Computer-Aided Design, 27(7):545-552, July 1995.
H. Hagen, S. Hahmann, T. Schreiber, Y. Nakajima, B. Wördenweber, and
P. Hollemann-Grundstedt.
Surface interrogation algorithms.
IEEE Computer Graphics and Applications, 12(5):53-60,
September 1992.
G. D. Hager.
Constraint solving methods and sensor-based decision making.
In Proceedings of the 1992 IEEE International Conference on
Robotics and Automation, pages 1662-1667. IEEE, 1992.
D. G. Hakala, R. C. Hillyard, B. E. Nourse, and P. J. Malraison.
Natural quadrics in mechanical design.
In Proceedings of the Autofact West 1, Anaheim, CA in November,
1980, pages 363-378, 1980.
A. Hansen and F. Arbab.
An algorithm for generating NC tool paths for arbitrarily shaped
pockets with islands.
ACM Transactions on Graphics, 11(2):152-182, 1992.
E. Hartmann.
Numerical implicitization for intersection and
-continuous
blending of surfaces.
Computer Aided Geometric Design, 15(4):377-397, April 1998.
P. Van Hentenryck, D. McAllester, and D. Kapur.
Solving polynomial systems using a branch and prune approach.
SIAM Journal on Numerical Analysis, 34(2):797-827, April 1997.
T. Hermann, G. Lukacs, and F. E. Wolter.
Geometrical criteria on the higher order smoothness of composite
surfaces.
Computer Aided Geometric Design, 16(9):907-911, October 1999.
M. Higashi and K. Kaneko.
Generation of high-quality curve and surface with smoothly varying
curvature.
In D. A. Duce and P. Jancene, editors, Eurographics '88, pages
79-92, Nice, France, September 1988. North-Holland.
M. Higashi, T. Saitoh, Y. Watanabe, and Y. Watanabe.
Analysis of aesthetic free-form surfaces by surface edges.
In S. Y. Shin and T. L. Kunii, editors, Proceedings of the Third
Pacific Conference on Computer Graphics and Applications, Pacific
Graphics '95, pages 294-305, Seoul, Korea, August 1995. World Scientific.
M. Higashi, H. Tsutamori, and M. Hosaka.
Generation of smooth surfaces by controlling curvature variation.
Computer Graphics Forum, 15(3):187-196, September 1996.
C. M. Hoffmann.
How to construct the skeleton of CSG objects.
In A. Bowyer and J. Davenport, editors, Proceedings of the
Fourth IMA Conference, The Mathematics of Surfaces, University of Bath, UK,
September 1990, pages 421-438, New York, 1994. Oxford University Press.
C. M. Hoffmann and G. Vanecek.
On alternate solid representations and their uses.
Technical Report CSD-TR-91-019, Computer Sciences Department, Purdue
University, March 1991.
D. H. Hoitsma.
Surface curvature analysis.
In M. J. Wozny et al., editors, IFIP TC5/WG5.2 Second Workshop
on Geometric Modeling, pages 21-38, New York, 1988. IFIP, North Holland.
J. Hoschek and N. Wissel.
Optimal approximate conversion of spline curves and spline
approximation of offset curves.
Computer-Aided Design, 20(8):475-483, October 1988.
E. G. Houghton, R. F. Emnett, J. D. Factor, and C. L. Sabharwal.
Implementation of a divide-and-conquer method for intersection of
parametric surfaces.
Computer Aided Geometric Design, 2(1-3):173-183,
September 1985.
C. Y. Hu, T. Maekawa, N. M. Patrikalakis, and X. Ye.
Robust interval algorithm for surface intersections.
Computer-Aided Design, 29(9):617-627, September 1997.
C. Y. Hu, T. Maekawa, E. C. Sherbrooke, and N. M. Patrikalakis.
Robust interval algorithm for curve intersections.
Computer-Aided Design, 28(6/7):495-506, June/July 1996.
C. Y. Hu, N. M. Patrikalakis, and X. Ye.
Robust interval solid modeling: Part II, Boundary evaluation.
Computer-Aided Design, 28(10):819-830, October 1996.
IGES/PDES Organization, U.S. Product Data Association, Fairfax, VA.
Digital Representation for Communication of Product Definition
Data, US PRO/IPO-100, Initial Graphics Exchange Specification (IGES)
5.2, November 1993.
R. B. Jerard, R. L. Drysdale, B. Schaudt, K. Hauck, and J. Magewick.
Methods for detecting errors in numerically controlled machining of
sculptured surfaces.
IEEE Computer Graphics and Applications, 9(1):26-39, January
1989.
R. A. Jinkerson, S. L. Abrams, L. Bardis, C. Chryssostomidis, A. Clement, N. M.
Patrikalakis, and F.-E. Wolter.
Inspection and feature extraction of marine propellers.
Journal of Ship Production, 9(2):88-106, May 1993.
K. Kase, A. Makinouchi, T. Nakagawa, H. Suzuki, and F. Kimura.
Shape error evaluation method of free-form surfaces.
Computer-Aided Design, 31(8):495-505, July 1999.
R. B. Kearfott.
Decomposition of arithmetic expressions to improve the behavior of
interval iteration for nonlinear systems.
Computing, 47:169-191, 1991.
N. Kehtarnavaz and R. J. P. de Figueiredo.
A 3-D contour segmentation scheme based on curvature and torsion.
IEEE Transactions on Pattern Analysis and Machine Intelligence,
10(5):707-713, September 1988.
J. Keyser, T. Culver, D. Manocha, and S. Krishnan.
Efficient and exact manipulation of algebraic points and curves.
Computer-Aided Design, 32(11):649-662, September 2000.
K. I. Kim and K. Kim.
A new machine strategy for sculptured surfaces using offset surface.
International Journal of Production Research, 33(6):1683-1697,
1995.
M.-S. Kim, E.-J. Park, and S.-B. Lim.
Approximation of variable-radius offset curves and its application to
Bézier brush-stroke design.
Computer-Aided Design, 25(11):684-698, November 1993.
T. Kim and S. E. Sarma.
Time-optimal paths covering a surface.
In R. Cipolla and R. Martin, editors, The Mathematics of
Surfaces IX, pages 126-143, University of Cambridge, UK., September 2000.
London: Springer.
R. Kimmel, A. Amir, and A. M. Bruckstein.
Finding shortest paths on surfaces using level sets propagation.
IEEE Transactions on Pattern Analysis and Machine Intelligence,
17(6):635-640, June 1995.
G. A. Kriezis.
Algorithms for Rational Spline Surface Intersections.
PhD thesis, Massachusetts Institute of Technology, Cambridge,
Massachusetts, March 1990.
G. A. Kriezis and N. M. Patrikalakis.
Rational polynomial surface intersections.
In G. A. Gabriele, editor, Proceedings of the 17th ASME Design
Automation Conference, Vol. II, pages 43-53, Miami, September 1991. ASME,
New York, 1991.
G. A. Kriezis, N. M. Patrikalakis, and F.-E. Wolter.
Topological and differential-equation methods for surface
intersections.
Computer-Aided Design, 24(1):41-55, January 1992.
G. A. Kriezis, P. V. Prakash, and N. M. Patrikalakis.
Method for intersecting algebraic surfaces with rational polynomial
patches.
Computer-Aided Design, 22(10):645-654, December 1990.
S. Krishnan and D. Manocha.
Efficient surface intersection algorithm based on lower-dimensional
formulation.
ACM Transactions on Graphics, 16(1):74-106, January 1997.
R. Kunze, F.-E. Wolter, and T. Rausch.
Geodesic Voronoi diagrams on parametric surfaces.
In Proceedings of Computer Graphics International, CGI '97, June
1997, pages 230-237. IEEE Computer Society Press, 1997.
T. Kuragano.
FRESDAM system for design of aesthetically pleasing free-form
objects and generation of collision-free tool paths.
Computer-Aided Design, 24(11):573-581, November 1992.
T. Kuragano, N. Sasaki, and A. Kikuchi.
The FRESDAM system for designing and manufacturing freeform
objects.
In R. Martin, editor, USA-Japan Cross Bridge. Flexible
Automation Volume 2, pages 931-938, 1988.
Y. N. Lakshman.
On the complexity of computing Gröbner bases for zero
dimensional ideals.
PhD thesis, Rennselaer Polytechnic Institute, Troy, NY, 1992.
J. M. Lane and R. F. Riesenfeld.
A theoretical development for the computer display and generation of
piecewise polynomial surfaces.
IEEE Transactions on Pattern Analysis and Machine Intelligence,
2(1):35-46, January 1980.
D. Lasser.
Self-intersections of parametric surfaces.
In Proceedings of Third International Conference on
Engineering Graphics and Descriptive Geometry: Volume 1, pages
322-331, Vienna, 1988.
D. Lavender, A. Bowyer, J. Davenport, A. Wallis, and J. Woodwark.
Voronoi diagrams of set-theoretic solid models.
IEEE Computer Graphics and Applications, 12(5):69-77, 1992.
J. Z. Levin.
A parametric algorithm for drawing pictures of solid objects composed
of quadric surfaces.
Communications of the Association for Computing Machinery,
19(10):555-563, October 1976.
J. Z. Levin.
Mathematical models for determining the intersections of quadric
surfaces.
Computer Vision, Graphics and Image Processing, 11:73-87,
1979.
T. Lozano-Perez and M. A. Wesley.
An algorithm for planning collision-free paths amongst polyhedral
obstacles.
Communications of the ACM, 25(9):560-570, October 1979.
R. C. Luo, Y. Ma, and D. F. McAllister.
Tracing tangential surface-surface intersections.
In C. Hoffmann and J. Rossignac, editors, Proceedings of the
Third ACM Solid Modeling Symposium, pages 255-262, Salt Lake City, Utah,
May 1995. ACM, NY.
T. Maekawa.
Computation of shortest paths on free-form parametric surfaces.
Journal of Mechanical Design, Transactions of the ASME,
118(4):499-508, December 1996.
T. Maekawa and J. S. Chalfant.
Computation of inflection lines and geodesics on developable
surfaces.
Mathematical Engineering in Industry, 7(2):251-267, 1998.
T. Maekawa and J. S. Chalfant.
Design and tessellation of B-spline developable surfaces.
Journal of Mechanical Design, Transactions of the ASME,
120(3):453-461, September 1998.
T. Maekawa, W. Cho, and N. M. Patrikalakis.
Computation of self-intersections of offsets of Bézier surface
patches.
Journal of Mechanical Design, Transactions of the ASME,
119(2):275-283, June 1997.
T. Maekawa and N. M. Patrikalakis.
Computation of singularities and intersections of offsets of planar
curves.
Computer Aided Geometric Design, 10(5):407-429, October 1993.
T. Maekawa and N. M. Patrikalakis.
Interrogation of differential geometry properties for design and
manufacture.
The Visual Computer, 10(4):216-237, March 1994.
T. Maekawa, N. M. Patrikalakis, T. Sakkalis, and G. Yu.
Analysis and applications of pipe surfaces.
Computer Aided Geometric Design, 15(5):437-458, May 1998.
T. Maekawa, F.-E. Wolter, and N. M. Patrikalakis.
Umbilics and lines of curvature for shape interrogation.
Computer Aided Geometric Design, 13(2):133-161, March 1996.
D. Manocha.
Solving polynomial systems for curve, surface and solid modeling.
In J. Rossignac, J. Turner, and G. Allen, editors, Proceedings
of 2nd ACM/IEEE Symposium on Solid Modeling and Applications, pages
169-178, Montreal, May 1993.
New York: ACM Press, 1993.
D. Manocha.
Numerical methods for solving polynomial equations.
In D. A. Cox and B. Sturmfels, editors, Proceedings of Symposia
in Applied Mathematics Volume 53, Applications of Computational Algebraic
Geometry: American Mathematical Society short course, January 6-7, 1997, San
Diego, California, pages 41-66. American Mathematical Society, 1998.
D. Manocha and S. Krishnan.
Solving algebraic systems using matrix computations.
Sigsam Bulletin: Communications in Computer Algebra,
30(4):4-21, December 1996.
R. Markot and R. Magedson.
Procedural method for evaluating the intersection curves of two
parametric surfaces.
Computer-Aided Design, 23(6):395-404, July/August 1991.
R. R. Martin.
Principal patches - a new class of surface patch based on
differential geometry.
In P. J. W. Ten Hagen, editor, Eurographics '83, Proceedings of
the 4th Annual European Association for Computer Graphics Conference and
Exhibition, Zagreb, Yugoslavia, pages 47-55. Amsterdam: North-Holland,
September 1983.
J. R. Miller and R. N. Goldman.
Geometric algorithms for detecting and calculating all conic sections
in the intersection of any two natural quadratic surfaces.
Graphical Models and Image Processing, 57(1):55-66, January
1995.
H. P. Moreton.
Simplified curve and surface interrogation via mathematical packages
and graphics libraries and hardware.
Computer-Aided Design, 27(7):523-543, July 1995.
F. C. Munchmeyer and R. Haw.
Applications of differential geometry to ship design.
In D. F. Rogers, B. C. Nehring, and C. Kuo, editors, Proceedings
of Computer Applications in the Automation of Shipyard Operation and Ship
Design IV, volume 9, pages 183-196, Annapolis, Maryland, USA, June 1982.
L. R. Nackman and S. M. Pizer.
Three-dimensional shape description using the symmetric axis
transform I: Theory.
IEEE Transactions on Pattern Analysis and Machine Intelligence,
PAMI-7(2):187-202, March 1985.
M. Niizeki and F. Yamaguchi.
Projectively invariant intersection detections for solid modeling.
ACM Transactions on Graphics, 13(3):277-299, July 1994.
M. Noro, T. Takeshima, and K. Yokoyama.
Solution of systems of algebraic equations and linear maps on residue
class ring.
Journal of Symbolic Computation, 14:399-417, 1992.
H. Nowacki, J. Michalski, B. Oleksiewicz, M. I. G. Bloor, C. W. Dekaski, and
M. J. Wilson.
In H. Nowacki, M. I. G. Bloor, and B. Oleksiewicz, editors, Computational Geometry for Ships. World Scientific, 1995.
A. W. Nutbourne and R. R. Martin.
Differenential Geometry Applied to Curve and Surface Design
Vol. 1: Foundations.
Ellis Horwood, Chichester, UK, 1988.
N. M. Patrikalakis.
Shape interrogation.
In C. Chryssostomidis, editor, Proceedings of the 16th Annual
MIT Sea Grant College Program Lecture and Seminar, Automation in the Design
and Manufacture of Large Marine Systems, pages 83-104, Cambridge, MA,
October 1988.
New York: Hemisphere Publishing, 1990.
N. M. Patrikalakis and H. N. Gursoy.
Shape interrogation by medial axis transform.
In B. Ravani, editor, Proceedings of the 16th ASME Design
Automation Conference: Advances in Design Automation, Computer Aided and
Computational Design, Vol. I, pages 77-88, Chicago, IL, September 1990. New
York: ASME.
N. M. Patrikalakis and G. A. Kriezis.
Representation of piecewise continuous algebraic surfaces in terms of
B-splines.
The Visual Computer, 5(6):360-374, 1989.
N. M. Patrikalakis and T. Maekawa.
Intersection problems.
In G. Farin, J. Hoschek, M. S. Kim, and D. Abma, editors, The
Handbook of Computer Aided Design. Elsevier, 2001.
N. M. Patrikalakis and P. V. Prakash.
Free-form plate modeling using offset surfaces.
Journal of OMAE, Transactions of the ASME., 110(3):287-294,
1988.
N. M. Patrikalakis and P. V. Prakash.
Surface intersections for geometric modeling.
Journal of Mechanical Design, Transactions of the ASME,
112(1):100-107, March 1990.
N. M. Patrikalakis, T. Sakkalis, and G. Shen.
Boundary representation models: Validity and rectification.
In R. Cipolla and R. Martin, editors, The Mathematics of
Surfaces IX, pages 389-409, University of Cambridge, UK., September 2000.
London: Springer.
J. Pegna and F. E. Wolter.
Geometrical criteria to guarantee curvature continuity of blend
surfaces.
Journal of Mechanical Design, Transactions of the ASME,
114(1):201-210, March 1992.
J. Pegna and F.-E. Wolter.
Surface curve design by orthogonal projection of space curves onto
free-form surfaces.
Journal of Mechanical Design, ASME Transactions, 118(1):45-52,
March 1996.
T. J. Peters, N. F. Stewart, D. R. Ferguson, and P. S. Fussell.
Algorithmic tolerances and semantics in data exchange.
In Computational Geometry '97, Nice, France, 1997.
S. Petitjean.
Algebraic geometry and computer vision: Polynomial systems, real and
complex roots.
Journal of Mathematical Imaging and Vision, 10(3):191-220,
1999.
H. Pottmann and K. Opitz.
Curvature analysis and visualization for functions defined on
Euclidean spaces or surfaces.
Computer Aided Geometric Design, 11:655-674, 1994.
H. Pottmann, J. Wallner, G. Glaeser, and B. Ravani.
Geometric criteria for gouge-free three-axis milling of sculptured
surfaces.
Journal of Mechanical Design, Transactions of the ASME.,
31(1):17-32, 1999.
M. J. Pratt and A. D. Geisow.
Surface/surface intersection problems.
In J. A. Gregory, editor, The Mathematics of Surfaces, pages
117-142. Clarendon Press, 1986.
F. P. Preparata.
The medial axis of a simple polygon.
In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer
Science: Mathematical Foundations of Computer Science, pages 443-450.
Springer-Verlag, 1977.
M. A. Price, C. G. Armstrong, and M. A. Sabin.
Hexahedral mesh generation by medial surface subdivision: I.
Solids with convex edges.
International Journal of Numerical Methods in Engineering,
38(19):3335-3359, 1995.
T. Rausch, F.-E. Wolter, and O. Sniehotta.
Computation of medial curves on surfaces.
In T. Goodman and R. Martin, editors, The Mathematics of
Surfaces VII, pages 43-68. Information Geometers, 1997.
J. M. Reddy and G. M. Turkiyyah.
Computation of 3d skeletons using a generalized Delaunay
triangulation technique.
Computer-Aided Design, 27(9):677-694, September 1995.
A. A. G. Requicha and H. B. Voelcker.
Constructive Solid Geometry.
Technical Report TM 25, Production Automation Project, University of
Rochester, Rochester, NY, November 1977.
R. F. Riesenfeld.
Applications of B-spline Approximation to Geometric Problems
of Computer-Aided Design.
PhD thesis, Syracuse University, Syracuse, New York, 1973.
D. J. Robinson and C. G. Armstrong.
Geodesic paths for general surfaces by solid modellers.
In G. Mullineux, editor, The Mathematics of Surfaces VI,
Proceedings of the 6th IMA Conference on Mathematics of Surfaces VI,
pages 103-117, Oxford, UK, 1996. Clarendon Press.
J. R. Rossignac.
Blending and Offseting Solid Models.
PhD thesis, University of Rochester, July 1985.
Production Automation Project Technical Memorandum No. 54.
M. A. Sabin.
Recursive division interrogation of offset surfaces.
In J. D. Warren, editor, Curves and Surfaces in Computer Vision
and Graphics III, Proceedings of SPIE, volume 1830, pages 152-161, Boston,
MA, November 1992. SPIE.
T. Sakuta, M. Kawai, and Y. Amano.
Development of an NC machining system for stamping dies by offset
surface method.
In Autofact 87 Conference Proceedings, pages 2.13-2.27,
Dearborn, Michigan, 1987. SME.
N. M. Samuel, A. A. G. Requicha, and S. A. Elkind.
Methodology and results of an industrial part survey.
Technical Report Tech. Momo. No. 21, Production Automation Project,
University of Rochester, Rochester, NY, 1976.
P. T. Sander and S. W. Zucker.
Singularities of principal direction fields from 3-D images.
In IEEE Second International Conference on Computer Vision,
Tampa Florida, pages 666-670, 1988.
R. F. Sarraga.
Algebraic methods for intersections of quadric surfaces in GMSOLID.
Computer Vision, Graphics and Image Processing, 22(2):222-238,
May 1983.
I. Schoenberg.
Contributions to the problem of approximation of equidistant data by
analytic functions.
Quarterly of Applied Mathematics, 4:45-99, 1946.
L. L. Schumaker.
Spline Functions: Basic Theory.
Pure and Applied Mathematics: a Wiley-Interscience Series of Texts,
Monographs, and Tracts. Wiley, New York, 1981.
G. L. Scott, S. C. Turner, and A. Zisserman.
Using a mixed wave/diffusion process to elicit the symmetry set.
Image and Vision Computing, 7:63-70, 1989.
T. W. Sederberg, D. C. Anderson, and R. N. Goldman.
Implicit representation of parametric curves and surfaces.
Computer Vision, Graphics and Image Processing, 28(1):72-84,
October 1984.
T. W. Sederberg and D. B. Buehler.
Offsets of polynomial Bézier curves: Hermite approximation with
error bounds.
In T. Lyche and L. L. Schumaker, editors, Mathematical Methods
in Computer Aided Geometric Design, volume II, pages 549-558. Academic
Press, 1992.
T. W. Sederberg, H. N. Christiansen, and S. Katz.
Improved test for closed loops in surface intersections.
Computer-Aided Design, 21(8):505-508, October 1989.
T. W. Sederberg and R. N. Goldman.
Algebraic geometry for computer-aided geometric design.
IEEE Computer Graphics and Applications, 6(6):52-59, June
1986.
T. W. Sederberg and J. Zheng.
Algebraic methods for CAGD.
In G. Farin, J. Hoschek, M. S. Kim, and D. Abma, editors, The
Handbook of Computer Aided Design. Elsevier, 2001.
D. J. Sheehy, C. G. Armstrong, and D. J. Robinson.
Computing the medial surface of a solid from a domain Delaunay
triangulation.
In C. Hoffmann and J. Rossignac, editors, Proceedings of the
Third Symposium on Solid Modeling and Applications, May 1995, Salt Lake City,
Utah, pages 201-212, New York, 1995. ACM.
D. J. Sheehy, C. G. Armstrong, and D. J. Robinson.
Numerical computation of medial surface vertices.
In G. Mullineux, editor, The Mathematics of Surfaces VI,
Oxford, UK, 1996. IMA, Oxford University Press.
G. Shen and N. M. Patrikalakis.
Numerical and geometric properties of interval B-splines.
International Journal of Shape Modeling, 4(1 and 2):35-62,
March and June 1998.
G. Shen, T. Sakkalis, and N. M. Patrikalakis.
Manifold boundary representation model rectification (La
rectification des modèles des varietés b-rep).
In C. Mascle, C. Fortin, and J. Pegna, editors, Proceedings of
the 3rd International Conference on Integrated Design and Manufacturing in
Mechanical Engineering, page 199 and CDROM, Montreal, Canada, May 2000.
Presses internationales Polytechnique.
G. Shen, T. Sakkalis, and N. M. Patrikalakis.
Boundary representation model rectification.
Graphical Models, 63, 2001.
In press. Also in: Proceedings of the Sixth ACM Solid Modeling
Symposium. D. Anderson and K. Lee, editors. Ann Arbor, Michigan, June 2001.
NY: ACM, 2001.
E. C. Sherbrooke and N. M. Patrikalakis.
Computation of the solutions of nonlinear polynomial systems.
Computer Aided Geometric Design, 10(5):379-405, October 1993.
E. C. Sherbrooke, N. M. Patrikalakis, and E. Brisson.
Computation of medial axis transforms of 3-D polyhedra.
In C. Hoffmann and J. Rossignac, editors, Proceedings of the
Third Symposium on Solid Modeling and Applications, May 1995, Salt Lake City,
Utah, pages 187-199, New York, 1995. ACM.
E. C. Sherbrooke, N. M. Patrikalakis, and E. Brisson.
An algorithm for the medial axis transform of 3-D polyhedral
solids.
IEEE Transactions on Visualization and Computer Graphics,
2(1):44-61, March 1996.
E. C. Sherbrooke, N. M. Patrikalakis, and F.-E. Wolter.
Differential and topological properties of medial axis transforms.
Graphical Models and Image Processing, 58(6):574-592, November
1996.
P. Sinha, E. Klassen, and K. K. Wang.
Exploiting topological and geometric properties for selective
subdivision.
In Proceedings of the ACM Symposium on Computational Geometry,
pages 39-45. New York: ACM, 1985.
S. S. Sinha and P. J. Besl.
Principal patches: A viewpoint-invariant surface description.
In IEEE International Robotics and Automation, Cincinnati,
Ohio, pages 226-231, May 1990.
J. Sneyd and C. S. Peskin.
Computation of geodesic trajectories on tubular surfaces.
SIAM Journal of Scientific Statistical Computing,
11(2):230-241, March 1990.
J. Sone and H. Chiyokura.
Surface highlight control using quartic blending NURBS
boundary Gregory patch.
Journal of Information Processing Society of Japan,
37(12):2212-2222, 1996.
In Japanese.
Y. L. Srinivas and D. Dutta.
Cyclides in geometric modeling: computational tools for an
algorithmic infrastructure.
Journal of Mechanical Design, Transactions of the ASME,
117(3):363-373, September 1995.
V. Srinivasan and L. R. Nackman.
Voronoi diagram for multiply connect polygonal domains, I:
Algorithm.
IBM Journal of Research and Development, 31(3):361-372, May
1987.
V. Srinivasan, L. R. Nackman, J.-M. Tang, and S. N. Meshkat.
Automatic mesh generation using the symmetric axis transformation of
polygonal domains.
Proceedings of the IEEE, Special Issue on Computational
Geometry, 80(9):1485-1501, 1992.
S. Stifter.
A Medley of Solutions to the Robot Collision Problem in Two and
Three Dimensions.
PhD thesis, Johannes Kepler Universität, Linz, Austria, 1989.
B. Sturmfels.
Introduction to resultants.
In D. A. Cox and B. Sturmfels, editors, Proceedings of Symposia
in Applied Mathematics Volume 53, Applications of Computational Algebraic
Geometry: American Mathematical Society short course, January 6-7, 1997, San
Diego, California, pages 25-39. American Mathematical Society, 1998.
A. Sudhalkar, L. Gürsöz, and F. Prinz.
Continuous skeletons of discrete objects.
In J. Rossignac, J. Turner, and G. Allen, editors, Proceedings
of the Second Symposium on Solid Modeling and Applications, Montreal,
Canada, pages 85-94, New York, 1993. ACM.
K. Sugihara.
Approximation of generalized Voronoi diagrams by ordinary Voronoi
diagrams.
Computer Vision, Graphics and Image Processing: Graphical Models
and Image Processing, 55(6):522-531, November 1993.
K. Suresh and D. C. H. Yang.
Constant scallop-height machining of free-form surfaces.
Journal of Engineering for Industry, Transactions of the ASME,
116:253-259, May 1994.
T. K. H. Tam and C. G. Armstrong.
2d finite element mesh generation by medial axis subdivision.
Advances in Engineering Software and Workstations,
13(5/6):313-324, September/November 1991.
S. T. Tuohy, T. Maekawa, and N. M. Patrikalakis.
Interrogation of geophysical maps with uncertainty for AUV
micro-navigation.
In Engineering in Harmony with the Ocean, Proceedings of Oceans
'93, Victoria, Canada. IEEE Oceanic Engineering Society, October 1993.
S. T. Tuohy, T. Maekawa, G. Shen, and N. M. Patrikalakis.
Approximation of measured data with interval B-splines.
Computer-Aided Design, 29(11):791-799, November 1997.
S. T. Tuohy and N. M. Patrikalakis.
Representation of geophysical maps with uncertainty.
In N. M. Thalmann and D. Thalmann, editors, Communicating with
Virtual Worlds, Proceedings of CG International '93, Lausanne, Switzerland,
pages 179-192. Springer, Tokyo, June 1993.
S. T. Tuohy, J. W. Yoon, and N. M. Patrikalakis.
Reliable interrogation of 3-D non-linear geophysical databases.
In J. A. Vince and R. A. Earnshaw, editors, Computer Graphics:
Developments in Virtual Environments, Proceedings of CG International '95,
Leeds, UK, June 1995, pages 327-341. London, Academic Press, 1995.
G. M. Turkiyyah, D. W. Storti, M. Ganter, H. Chen, and M. Vimawala.
An accelerated triangulation method for computing the skeletons of
free-form solid models.
Computer-Aided Design, 29(1):5-19, January 1997.
M. E. Vafiadou and N. M. Patrikalakis.
Interrogation of offsets of polynomial surface patches.
In F. H. Post and W. Barth, editors, Eurographics '91,
Proceedings of the 12th Annual European Association for Computer Graphics
Conference and Exhibition, pages 247-259 and 538, Vienna, Austria,
September 1991.
Amsterdam: North-Holland.
K. J. Versprille.
Computer Aided Design Applications of the Rational B-Spline
Approximation Form.
PhD thesis, Syracuse University, Syracuse, New York, February 1975.
H. B. Voelcker et al.
An introduction to PADL: Characteristics, status, and rationale.
Technical Report Tech. Momo. No. 22, Production Automation Project,
University of Rochester, Rochester, NY, December 1974.
M. N. Vrahatis.
CHABIS: A mathematical software package for locating and evaluating
roots of systems of nonlinear equations.
ACM Transactions on Mathematical Software, 14(4):330-336,
December 1988.
M. N. Vrahatis.
Solving systems of nonlinear equations using the nonzero value of the
topological degree.
ACM Transactions on Mathematical Software, 14(4):312-329,
December 1988.
L. Wang, M. C. Leu, and D. Blackmore.
Generating sweep solids for NC verification using the SEDE
method.
In Proceedings of the Fourth Symposium on Solid Modeling and
Applications, pages 364-375, Atlanta, Georgia, May 14-16 1997.
W. P. Wang.
Integration of solid geometric modeling for computerized process
planning.
In C. R. Liu, T. C. Chang, and R. Komanduri, editors, Computer-Aided/Intelligent Process Planning, ASME, Winter Annual Meeting,
pages 177-187, 1985.
H. S. Wilf.
A global bisection algorithm for computing the zeros of polynomials
in the complex plane.
Journal of the Association for Computing Machinery,
25(3):415-420, July 1978.
F.-E. Wolter.
Interior metric, shortest paths and loops in riemannian manifolds
with not necessarily smooth boundary.
Master's thesis, Free University of Berlin, Berlin, Germany, 1979.
F.-E. Wolter.
Cut Loci in Bordered and Unbordered Riemannian Manifolds.
PhD thesis, Technical University of Berlin, Department of
Mathematics, December 1985.
F.-E. Wolter.
Cut locus and medial axis in global shape interrogation and
representation.
Memorandum 92-2, Cambridge MA: MIT Ocean Engineering Design
Laboratory, January 1992.
F.-E. Wolter and K.-I. Friese.
Local and global geometric methods for analysis interrogation,
reconstruction, modification and design of shape.
In Computer Graphics International, GCI 2000. (Invited paper),
pages 137-151, Geneva, Switzerland, June 2000. IEEE Computer Society Press.
Los Alamitos, CA: IEEE, 2000.
S.-T. Wu and L. N. Andrade.
Marching along a regular surface/surface intersection with circular
steps.
Computer Aided Geometric Design, 16(4):249-268, May 1999.
Y. Yamaguchi.
Differential properties at singular points of parametric surfaces.
In P. Brunet, C. M. Hoffmann, and D. Roller, editors, CAD-Tools
and Algorithms for Product Design, pages 211-221. Springer, 2000.
C. Zhang and F. Cheng.
Removing local irregularities of NURBS surfaces by modifying
highlight lines.
Computer-Aided Design, 30(12):923-930, October 1998.
J. Zhou, E. C. Sherbrooke, and N. M. Patrikalakis.
Computation of stationary points of distance functions.
Engineering with Computers, 9(4):231-246, Winter 1993.
interpolation and blending on surfaces.
-continuous
blending of surfaces.