**1**-
B. Aldefeld.
Variation of geometries based on a geometric-reasoning method.
*Computer Aided Design*, 20(3):117-126, April 1988. **2**-
L. A. Barford.
*A Graphical, Language-Based Editor for Generic Solid Models Represented by Constraints*. PhD thesis, Dept of Computer Science, Cornell University, March 1987. TR 87-813. **3**-
Lee Alton Barford.
Attribute Grammars in Constraint-based Graphics Systems.
Technical Report 87-838, Department of Computer Science, Cornell
University, June 1987.
**4**-
A. Borning, M. Maher, A. Martindale, and M. Wilson.
Constraint Hierarchies and Logic Programming.
In
*Proc. of the 6th International Logic Programming Conference*, pages 149-164, 1989. **5**-
A. H. Borning.
The programming language aspects of ThingLab, a constraint
oriented simulation laboratory.
*ACM TOPLAS*, 3(4):353-387, 1981. **6**-
P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and
V. Pascual.
Centaur: the system.
Technical Report Rapports de Recherche 777, INRIA, 1987.
**7**-
W. Bouma, Ioannis Fudos, Christoph Hoffmann, Jiazhen Cai, and Robert Paige.
A Geometric Constraint Solver.
Technical Report CSD-TR-93-054, Purdue University, Department of
Computer Sciences, 1398 CS Building, W. Lafayette, IN 47907-1398, 1993.
**8**-
C. M. Brown.
Padl-2: a technical summary.
*IEEE Comput. Graph. & and Applic.*, 2(2):69-84, 1982. **9**-
Brown Associates, Inc.
Conceptual Design: Tradeoffs in Performance and Flexibility.
Notes on the design of Pro/ENGINEER, 1991.
**10**-
Beat Bruberlin.
Symbolic Computer Geometry for Computer Aided Geometric
Design.
In
*Advances in Design and Manufacturing Systems*, Tempe, AZ, January 8-12 1990. NSF conference. **11**-
Beat Bruderlin.
Constructing Three-Dimensional Geometric Objects Defined by
Constraints.
In
*Workshop on Interactive 3D Graphics*, pages 111-129. ACM, October 23-24 1986. **12**-
B. Buchberger.
Grobner Bases : An Algorithmic Method in Polynomial Ideal
Theory.
In N. K. Bose, editor,
*Multidimensional Systems Theory*, pages 184-232. D. Reidel Publishing Company, 1985. **13**-
Alan Bundy and Bob Welham.
Using Meta-level Inference for Selective Application of
Multiple Rewrite Rule Sets in Algebraic Manipulation.
*Artificial Intelligence*, 16:189-212, 1981. **14**-
J. Cai.
A language for semantic analysis.
Technical Report 635, New York University, Dept. of Comp. Science,
1993.
**15**-
J. Cai, P. Facon, F. Henglein, R. Paige, and E. Schonberg.
Type transformation and data structure choice.
In B. Moeller, editor,
*Constructing Programs From Specifications*, pages 126-124. North-Holland, 1991. **16**-
J. Cai and R. Paige.
Towards increased productivity of algorithm implementation.
ACM SIGSOFT, to appear, 1993.
**17**-
Vasilis S. Capoyleas.
Personal Communication.
NYU, May 1993.
**17**-
X. Chen and C. Hoffmann.
Towards Feature Attachment.
Technical Report CSD-TR-94-010, Department of Computer Sciences,
Purdue University, March 1993.
**18**-
C.-S. Chou.
*Mechanical Theorem Proving*. D. Reidel Publishing, Dordrecht, 1987. **19**-
Shang-Ching Chou.
A Method for the Mechanical Derivation of Formulas in
Elementary Geometry.
*Journal of Automated Reasoning*, 3:291-299, 1987. **20**-
Shang-Ching Chou.
An Introduction to Wu's Method for Mechanical Theorem
Proving in Geometry.
*Journal of Automated Reasoning*, 4:237-267, 1988. **21**-
Shang-Ching Chou and William Schelter.
Proving Geometry Theorems with Rewrite Rules.
*Journal of Automated Reasoning*, 2:253-273, 1986. **22**-
Jack C. H. Chung and Martin D. Schussel.
Technical evaluation of variational and parametric design.
In
*Computers in Engineering*, pages 289-298. Proc of the 1990 ASME Int. Comp. in Eng. Conf. and Expo., 1990. **23**-
W. Clocksin and C. Mellish.
*Programming in Prolog*. Springer Verlag, 1981. **24**-
Jacques Cohen.
Constraint Logic Programming Languages.
*Communications of the ACM*, 33(7):52-68, 1990. **25**-
G. M. Crippen and T. F. Havel.
*Distance geometry and molecular conformation*. Taunton, Somerset, England : Research Studies Press ; Wiley, New York, 1988. ISBN : 08633800734, 0471920614 (Wiley). **26**-
U. Cugini, F. Folini, and I. Vicini.
A procedural system for the definition and storage of technical
drawings in parametric form.
In D. A. Duce and P. Jancene, editors,
*Eurographics '88*, pages 183-196. Eurographics Association, Elsevier Science Publishers B.V. (North Holland), 1988. **27**-
D-Cubed Ltd, 68 Castle Street, Cambridge, CB3 0AJ, England.
*The Dimensional Constraint Manager*, May 1993. Version 2.5. **28**-
Andreas W. M. Dress and T. F. Havel.
Shortest-Path Problems and Molecular Conformation.
*Discrete Appl. Math.*, 19(3):129-144, March 1988. **29**-
Gerald E. Farin.
*Curves and surfaces for computer aided geometric design : a practical guide*. Academic Press, 1993. ISBN: 0122490525. **30**-
W. Fitzgerald.
Using Axial Dimensions to Determine the Proportions of Line Drawings
in Computer Graphics.
*Computer Aided Design*, 13(6), November 1981. **31**-
Bjorn N. Freeman-Benson, John Maloney, and Alan Borning.
An Incremental Constraint Solver.
*CACM*, 33(1):54-63, 1990. **32**-
I. Fudos and C. M. Hoffmann.
Correctness proof of a geometric constraint solver.
Technical Report CSD-TR-93-076, Department of Computer Sciences,
Purdue University, December 1993.
**33**-
Ioannis Fudos.
Editable Representations for 2D Geometric Design.
Master's thesis, Dept of Computer Sciences, Purdue University,
December 1993.
**33**-
Ioannis Fudos.
User Interface Manual for Profile Editor. from
Master's thesis, Dept of Computer Sciences, Purdue University,
December 1993.
**34**-
T. W. Fuqua.
Constraint Kernels : Constraints and Dependencies in a
Geometric Modeling System.
Master's thesis, The University of Utah, August 1987.
**35**-
M. R. Garey and D. S. Johnson.
*Computers and Intractability*. W. H. Freeman and Co., 1979. **36**-
J. Gosling.
Algebraic Constraints.
Technical Report CMU-CS-83-132, CMU, 1983.
**37**-
D. C. Gossard, R. P. Zuffante, and H. Sakurai.
Representing dimensions, tolerances, and features in MCAE systems.
*IEEE Comput. Graph. & and Applic.*, 8(2):51-59, 1988. **38**-
R. C. Hillyard and I. C. Braid.
Analysis of Dimensions and Tolerances in Computer-aided
Mechanical Design.
*Computer Aided Design*, 10(3):161-166, 1978. **39**-
Vaclav Hlavak and Alistair J. Bray.
Evaluation of Local Geometric Constraints.
In Reinhard Klette and Walter G. Kropatsch, editors,
*Theoretical Foundations of Computer Vision*, pages 81-90. Akademie Verlag, 1992. **40**-
C. M. Hoffmann.
*Geometric and Solid Modeling An Introduction*. Morgan Kaufmann Publishers, Inc., 1989. **41**-
C. M. Hoffmann.
Modeling the DARPA Diesel Engine in ProEngineer.
Technical Report CSD-TR-92-025, Computer Science Department, Purdue
University, April 1992.
CAPO Report CER-92-12.
**42**-
C. M. Hoffmann.
On the semantics of generative geometry representations.
In
*Proc. 19th ASME Design Automation Conference*, pages 411-420, 1993. Vol. 2. **43**-
C. M. Hoffmann and R. Juan.
EREP : An Editable High-Level Representation for
Geometric Design and Analysis.
In P. Wilson, M. Wozny, and M. Pratt, editors,
*Geometric and Product Modeling*. North Holland, 1993. **44**-
P. Hoffmann.
Analysis of Tolerances and Process Inaccuracies in Discrete
Part Manufacturing.
*Computer Aided Design*, 14(2):83-88, 1982. **45**-
Ching-yao Hsu and Beat Bruderlin.
Constraint Objects - Integrating Constraint Definition and
Graphical Interaction.
Technical Report UUCS-92-038, Department of Computer Science,
University of Utah, 1992.
**46**-
H. Imai.
On combinatorial structures of line drawings of polyhedra.
*Discrete and applied Mathematics*, 10:79, 1985. **47**-
Alon Itai and Michael Rodeh.
Finding a Minimum Circuit in a Graph.
*SIAM J. COMPUT.*, 7(4):413-423, 1978. **48**-
S. Johnson.
Yacc - yet another compiler compiler.
Technical Report Computer Science Report 32, AT&T Bell Laboratories,
Murray Hill, N.J., 1975.
**49**-
N. P. Juster.
*A Graph Based Approach to tolerance analysis*. PhD thesis, Dept of Mechanical Engineering, University of Leeds, UK, September 1988. **50**-
N. P. Juster.
Modelling and representation of dimensions and tolerances : a survey.
*Computer Aided Design*, 24(1):3-17, January 1992. **51**-
D. Kapur and J. Mundy.
Wu's method and its applications to perspective viewing.
In D. Kapur and J. Mundy, editors,
*Geometric Reasoning*, pages 15-36. M.I.T. Press, 1988. **52**-
Deepak Kapur.
A Refutational Approach to Geometry Theorem Proving.
*Artificial Intelligence*, 37:61-93, 1988. **53**-
R. M. Karp.
Reducibility among combinatorial problems.
In R. E. Miller and J. W. Thatcher, editors,
*Complexity of Computer Computations*, pages 85-103. Plenum Press, NY, 1972. **54**-
Walid Keirouz, Jahir Pabon, and Robert Young.
Intergrating parametric geometry, features, and variational modeling
for conceptual design.
In
*Design Theory and Methodology*, pages 1-9. ASME Design Technical Conferences, September 1990. presented at the 2nd Intl Conf on Design Theory and Methodology. **55**-
D. Knuth.
Semantics of context-free languages.
*Mathematical Systems Theory*, 2:127-145, 1968. **56**-
D. Knuth and P. Bendix.
Simple word problems in universal algebras.
In J. Leech, editor,
*Computational Problems in Abstract Algebra*, pages 263-297. Pergammon Press, Oxford, 1970. **57**-
K. Kondo.
PIGMOD: parametric and interactive geometric modeller for
mechanical design.
*Computer Aided Design*, 22(10):633-644, December 1990. **58**-
K. Kondo.
Algebraic method for manipulation of dimensional relationships in
geometric models.
*Computer Aided Design*, 24(3):141-147, March 1992. **59**-
V. N. Kovalenko, Ju. G. Revjakin, and E. V. Khukhlajev.
Constraint Based Geometric Modelling in 2D CAD.
1993.
**60**-
G. Kramer.
*Solving Geometric Constraint Systems*. MIT Press, 1992. **61**-
Glen A. Kramer.
*Solving geometric constraints systems : a case study in kinematics*. MIT Press, Cambridge, Mass., 1992. ISBN:0262111640. **62**-
Eugene T. Y. Lee.
The rational bezier representation for conics.
In Gerald E. Farin, editor,
*Geometric Modeling: Algorithms and New Trends*, pages 3-19. SIAM, 1987. **63**-
W. Leler.
*Constraint Programming Languages: Their Specification and Generation*. Addison Wesley, 1988. **64**-
Wm Leler.
*Constraint Programming Languages: Their Specification and Generation*. Addison Wesley, 1988. ISBN 0201062437. **65**-
Jiarong Li.
Using algebraic constraints in interactive text and graphics editing.
In D. A. Duce and P. Jancene, editors,
*Eurographics '88*, pages 197-205. Eurographics Association, Elsevier Science Publishers B.V. (North Holland), 1988. **66**-
Robert Light and David Gossard.
Modification of geometric models through variational geometry.
*Computer Aided Design*, 14(4):209-214, July 1982. **67**-
Roy A. Liming.
*Mathematics for computer graphics*. Fallbrook, CA : Aero Publishers, 1979. ISBN: 0816867518. **68**-
Alan Mackworth.
Consistency in Networks of Relations.
*Artificial Intelligence*, 8:99-119, 1977. **69**-
B. Monien.
The Complexity of Determining a Shortest Cycle of Even
Length.
*Computing*, 31:355-369, 1983. **70**-
G. Nelson.
Juno, a costraint-based graphics system.
In
*SIGGRAPH*, pages 235-243, San Francisco, July 22-26 1985. ACM. **71**-
R. G. Newell and G. Parden.
Parametric design in the Medusa system.
In
*Computer Applications in Production and Engineering*, pages 667-677. North Holland, 1983. **72**-
Christian Nguyen and Jean-Claude Lafon.
SIDEPO: a System for an Interactive Design of Exact
Parameterized Objects.
submitted to Eurographics '93, 1993.
**73**-
J. C. Owen.
Algebraic Solution for Geometry from Dimensional Constraints.
In
*ACM Symp. Found. of Solid Modeling, Austin, TX*, pages 397-407. ACM, 1991. **74**-
J. C. Owen.
Constraints on Simple Geometry in Two and Three Dimensions.
In
*Third SIAM Conference on Geometric Design*. SIAM, November 1993. To appear in International Journal of Computational Geometry and Applications. **75**-
R. Paige.
Apts external specification manual.
internal documentation, 1993.
**76**-
R. Paige.
Apts external specification manual.
internal documentation, 1993.
**77**-
G. Parden and R. G. Newell.
A dimension based parametric design system.
In
*Proc CAD*. Butterworths, UK, 1984. **78**-
Richard R. Patterson.
Projective Transformations of the Parameter of a Bernstein-Bezier
Curve.
*ACM Transactions on Graphics*, 4(4):276-290, October 1985. **79**-
L. Piegl.
Interactive Data Interpolation by Rational Bezier Curves.
*IEEE Computer Graphics and Applications*, pages 45-58, April 1988. **80**-
Pro/ENGINEER.
*Modeling Users Guide: 2D Sketcher*. Brown Associates, Inc. Release 8.0. **81**-
Reasoning Systems.
*Refine User's Guide*, 1990. Version 3.0. **82**-
T. Reps and T. Teitelbaum.
*The Synthsizer Generator*. Springer Verlag, 1988. **83**-
A. Requicha.
Dimensionining and tolerancing.
Technical report, Production Automation Project, University of
Rochester, May 1977.
PADL TM-19.
**84**-
A. A. G. Requicha.
Toward a theory of geometric tolerancing.
*Int. J. Robot. Res.*, 2(4):45-60, 1983. **85**-
A. A. G. Requicha and S. C. Chan.
Representation of geometric features, tolerances, and attributes in
solid modelers based on constructive solid geometry.
*IEEE J. Robot. & Automat.*, RA-2(3):156-165, 1983. **86**-
Aristides A. G. Requicha.
Representations for Rigid Solids: Theory, Methods, and
Systems.
*Computing Surveys*, 12(4):437-464, December 1980. **87**-
Deiter Roller.
Design by Features: An Approach to High Level Shape
Manipulations.
*Computers in Industry*, 12:185-191, 1989. **88**-
Dieter Roller.
Dimension-Driven geometry in CAD : a Survey.
In
*Theory and Practice of Geometric Modeling*, pages 509-523. Springer Verlag, 1989. **89**-
Dieter Roller.
A System for Interactive Variation Design.
In M. J. Wozny, J. U. Turner, and K. Preiss, editors,
*Geometric Modeling for Product Engineering*, pages 207-219. Elsevier Science Publishers B.V. (North Holland), 1990. **90**-
Dieter Roller.
An approach to computer-aided parametric design.
*Computer Aided Design*, 23(5):385-391, 1991. **91**-
J. R. Rossignac.
Constraints in constructive solid geometry.
In
*Workshop on Interactive 3D Graphics*, pages 93-110, Chapel Hill, NC, October 23-24 1986. ACM. **92**-
J. R. Rossignac, P. Borrel, and L. R. Nackman.
Interactive Design with Sequences of Parameterized
Transformations.
Technical Report RC 13740 (#61565), IBM Research Division, T. J.
Watson Research Center, Yorktown Heights, NY 10598, 1988.
**93**-
J. Schwartz, R. Dewar, D. Dubinsky, and E. Schonberg.
*Programming with Sets: An introduction to SETL*. Springer Verlag, 1986. **94**-
Jami J. Shah and Bing-Chun Zhang.
Attributed graph model for geometric tolerancing.
In D. A. Hoeltzel, editor,
*Advances in Design Automation, DE-Vol. 44-2*, pages 133-140. ASME, NY, 1992. **95**-
Mark S. Shephard, Elaine V. Korngold, and Rolf Wentorf.
Design systems supposrting engineering idealizations.
In M. J. Wozny, J. U. Turner, and K. Preiss, editors,
*Geometric Modeling for Product Engineering*, pages 279-300. Elsevier Science Publishers B.V. (North Holland), 1990. **96**-
K. Snyder.
The SETL2 programming language.
Technical report, New York University, Computer Science, Courant
Institute, 1990.
**97**-
Wolfgang Sohrt.
Interaction with Constraints in three-dimensional Modeling.
Master's thesis, Dept of Computer Science, The University of Utah,
March 1991.
**98**-
Wolfgang Sohrt and Beat B. Bruderlin.
Interaction with Constraints in 3D Modeling.
to appear in Proc. of Sympos. on Solid Modeling and CAD/CAM
applications, 1992.
**99**-
L. Solano and P. Brunet.
A system for constructive constraint-based modeling.
In B. Falcidieno and T. Kunii, editors,
*Modeling in Computer Graphics*. Springer Verlag, 1993. **100**-
G. L. Steele and G. L. Sussman.
CONSTRAINTS - A Language for Expressing Almost-Hierarchical
Descriptions.
*Artificial Intelligence*, pages 1-39, January 1980. **101**-
B. Stroustrup.
*The C++ Programming Language*. Addison-Wesley, Reading, MA, 1991. **102**-
K. Sugihara.
Detection of Structural Inconsistencies in Systems of
Equations with Degrees of Freedom and its Applications.
*Discrete Applied Mathematics*, 10:297-312, 1985. **103**-
Geir Sunde.
Specification of shape by dimensions and other geometric constraints.
In M. J. Wozny, H. W. McLaughlin, and J. L. Encarnacao, editors,
*Geometric modeling for CAD applications*, pages 199-213. North Holland, IFIP, 1988. **104**-
I. Sutherland.
*Sketchpad, a man-machine graphical communication system*. PhD thesis, MIT, January 1963. **105**-
I. Sutherland.
Sketchpad, a man-machine graphical communication system.
In
*Proc. of the spring Joint Comp. Conference*, pages 329-345. IFIPS, 1963. **106**-
Hirimasa Suzuki, Hidetoshi Ando, and Fumihiko Kimura.
Variation of geometries based on a geometric-reasoning method.
*Comput. & Graphics*, 14(2):211-224, 1990. **107**-
Philip Todd.
A k-tree generalization that characterizes consistency of dimensioned
engineering drawings.
*SIAM J. DISC. MATH.*, 2(2):255-261, 1989. **108**-
Joshua U. Turner.
A Mathematical Theory of Tolerances.
In M. J. Wozny, H. W. McLaughlin, and J. L. Encarnacao, editors,
*Geometric modeling for CAD applications*, pages 163-187. North Holland, IFIP, 1988. **109**-
J. Ullman.
*Principles of Database and Knowledge-Base Systems*. Computer Science Press, 1988. **110**-
A. Verroust.
*Etude de problemes lies a la definition, la visualisation et l'animation d'objets complexes en informatique graphique*. PhD thesis, Universite Paris-Sud, France, 1990. **111**-
A. Verroust, F. Schonek, and D. Roller.
Rule-oriented method for parameterized computer-aided design.
*Computer Aided Design*, 24(3):531-540, October 1992. **112**-
G. C. Vosniakos.
Knoweledge-based interpretation of CAD-drawing annotation for
mechanical-engineering components.
*Computer Aided Design*, 24(10):547-555, October 1992. **113**-
K. J. Weiler.
*Topological structures for geometric modeling*. PhD thesis, Rensselaer Polytechnic Institute, 1986. **114**-
R. Weill.
Integrating dimensioning and tolerancing in computer aided process
planning.
*Robot. & Comput. Integr. Manuf.*, 4(1/2):41-48, 1988. **115**-
Wu Wen-Tsun.
Basic Principles of Mechanical Theorem Proving in
Elementary Geometries.
*Journal of Automated Reasoning*, 2:221-252, 1986. **116**-
L. P. Wickens.
*A syntax for dimensions and tolerances*. PhD thesis, Dept of Mechanical Engineering, University of Leeds, UK, August 1990. **117**-
Michael R. Wilk.
Equate: An Object-Oriented Constraint Solver.
In
*OOPSLA*, pages 286-298. ACM, 1991. **118**-
A. Witkin, K. Fleischer, and A. Barr.
Energy Constraints on Parameterized models.
*Computer Graphics*, 21:225-232, 1987. **119**-
Robert F. Woodbury.
Variations in Solids : A Declarative Treatment.
*Comput. & Graphics*, 14(2):173-188, 1990. **120**-
J. R. Woodwark.
Some speculations on feature recognition.
*Computer Aided Design*, 20(4), May 1988. **121**-
Christopher J. Van Wyk.
A High-Level Language for Specifying Pictures.
*ACM Transactions on Graphics*, 1(2):163-182, 1982. **122**-
Yasushi Yamaguchi and Fumihiko Kimura.
A constraint modeling system for variational geometry.
In M. J. Wozny, J. U. Turner, and K. Preiss, editors,
*Geometric Modeling for Product Engineering*, pages 221-233. Elsevier Science Publishers B.V. (North Holland), 1990.

Pamela J. Vermeer <pjv@cs.purdue.edu>