About this document ...


B. Aldefeld. Variation of geometries based on a geometric-reasoning method. Computer Aided Design, 20(3):117-126, April 1988.

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.

Lee Alton Barford. Attribute Grammars in Constraint-based Graphics Systems. Technical Report 87-838, Department of Computer Science, Cornell University, June 1987.

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.

A. H. Borning. The programming language aspects of ThingLab, a constraint oriented simulation laboratory. ACM TOPLAS, 3(4):353-387, 1981.

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.

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.

C. M. Brown. Padl-2: a technical summary. IEEE Comput. Graph. & and Applic., 2(2):69-84, 1982.

Brown Associates, Inc. Conceptual Design: Tradeoffs in Performance and Flexibility. Notes on the design of Pro/ENGINEER, 1991.

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.

Beat Bruderlin. Constructing Three-Dimensional Geometric Objects Defined by Constraints. In Workshop on Interactive 3D Graphics, pages 111-129. ACM, October 23-24 1986.

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.

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.

J. Cai. A language for semantic analysis. Technical Report 635, New York University, Dept. of Comp. Science, 1993.

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.

J. Cai and R. Paige. Towards increased productivity of algorithm implementation. ACM SIGSOFT, to appear, 1993.

Vasilis S. Capoyleas. Personal Communication. NYU, May 1993.

X. Chen and C. Hoffmann. Towards Feature Attachment. Technical Report CSD-TR-94-010, Department of Computer Sciences, Purdue University, March 1993.

C.-S. Chou. Mechanical Theorem Proving. D. Reidel Publishing, Dordrecht, 1987.

Shang-Ching Chou. A Method for the Mechanical Derivation of Formulas in Elementary Geometry. Journal of Automated Reasoning, 3:291-299, 1987.

Shang-Ching Chou. An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. Journal of Automated Reasoning, 4:237-267, 1988.

Shang-Ching Chou and William Schelter. Proving Geometry Theorems with Rewrite Rules. Journal of Automated Reasoning, 2:253-273, 1986.

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.

W. Clocksin and C. Mellish. Programming in Prolog. Springer Verlag, 1981.

Jacques Cohen. Constraint Logic Programming Languages. Communications of the ACM, 33(7):52-68, 1990.

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).

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.

D-Cubed Ltd, 68 Castle Street, Cambridge, CB3 0AJ, England. The Dimensional Constraint Manager, May 1993. Version 2.5.

Andreas W. M. Dress and T. F. Havel. Shortest-Path Problems and Molecular Conformation. Discrete Appl. Math., 19(3):129-144, March 1988.

Gerald E. Farin. Curves and surfaces for computer aided geometric design : a practical guide. Academic Press, 1993. ISBN: 0122490525.

W. Fitzgerald. Using Axial Dimensions to Determine the Proportions of Line Drawings in Computer Graphics. Computer Aided Design, 13(6), November 1981.

Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An Incremental Constraint Solver. CACM, 33(1):54-63, 1990.

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.

Ioannis Fudos. Editable Representations for 2D Geometric Design. Master's thesis, Dept of Computer Sciences, Purdue University, December 1993.

Ioannis Fudos. User Interface Manual for Profile Editor. from Master's thesis, Dept of Computer Sciences, Purdue University, December 1993.

T. W. Fuqua. Constraint Kernels : Constraints and Dependencies in a Geometric Modeling System. Master's thesis, The University of Utah, August 1987.

M. R. Garey and D. S. Johnson. Computers and Intractability. W. H. Freeman and Co., 1979.

J. Gosling. Algebraic Constraints. Technical Report CMU-CS-83-132, CMU, 1983.

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.

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.

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.

C. M. Hoffmann. Geometric and Solid Modeling An Introduction. Morgan Kaufmann Publishers, Inc., 1989.

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.

C. M. Hoffmann. On the semantics of generative geometry representations. In Proc. 19th ASME Design Automation Conference, pages 411-420, 1993. Vol. 2.

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.

P. Hoffmann. Analysis of Tolerances and Process Inaccuracies in Discrete Part Manufacturing. Computer Aided Design, 14(2):83-88, 1982.

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.

H. Imai. On combinatorial structures of line drawings of polyhedra. Discrete and applied Mathematics, 10:79, 1985.

Alon Itai and Michael Rodeh. Finding a Minimum Circuit in a Graph. SIAM J. COMPUT., 7(4):413-423, 1978.

S. Johnson. Yacc - yet another compiler compiler. Technical Report Computer Science Report 32, AT&T Bell Laboratories, Murray Hill, N.J., 1975.

N. P. Juster. A Graph Based Approach to tolerance analysis. PhD thesis, Dept of Mechanical Engineering, University of Leeds, UK, September 1988.

N. P. Juster. Modelling and representation of dimensions and tolerances : a survey. Computer Aided Design, 24(1):3-17, January 1992.

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.

Deepak Kapur. A Refutational Approach to Geometry Theorem Proving. Artificial Intelligence, 37:61-93, 1988.

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.

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.

D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, 1968.

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.

K. Kondo. PIGMOD: parametric and interactive geometric modeller for mechanical design. Computer Aided Design, 22(10):633-644, December 1990.

K. Kondo. Algebraic method for manipulation of dimensional relationships in geometric models. Computer Aided Design, 24(3):141-147, March 1992.

V. N. Kovalenko, Ju. G. Revjakin, and E. V. Khukhlajev. Constraint Based Geometric Modelling in 2D CAD. 1993.

G. Kramer. Solving Geometric Constraint Systems. MIT Press, 1992.

Glen A. Kramer. Solving geometric constraints systems : a case study in kinematics. MIT Press, Cambridge, Mass., 1992. ISBN:0262111640.

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.

W. Leler. Constraint Programming Languages: Their Specification and Generation. Addison Wesley, 1988.

Wm Leler. Constraint Programming Languages: Their Specification and Generation. Addison Wesley, 1988. ISBN 0201062437.

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.

Robert Light and David Gossard. Modification of geometric models through variational geometry. Computer Aided Design, 14(4):209-214, July 1982.

Roy A. Liming. Mathematics for computer graphics. Fallbrook, CA : Aero Publishers, 1979. ISBN: 0816867518.

Alan Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99-119, 1977.

B. Monien. The Complexity of Determining a Shortest Cycle of Even Length. Computing, 31:355-369, 1983.

G. Nelson. Juno, a costraint-based graphics system. In SIGGRAPH, pages 235-243, San Francisco, July 22-26 1985. ACM.

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.

Christian Nguyen and Jean-Claude Lafon. SIDEPO: a System for an Interactive Design of Exact Parameterized Objects. submitted to Eurographics '93, 1993.

J. C. Owen. Algebraic Solution for Geometry from Dimensional Constraints. In ACM Symp. Found. of Solid Modeling, Austin, TX, pages 397-407. ACM, 1991.

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.

R. Paige. Apts external specification manual. internal documentation, 1993.

R. Paige. Apts external specification manual. internal documentation, 1993.

G. Parden and R. G. Newell. A dimension based parametric design system. In Proc CAD. Butterworths, UK, 1984.

Richard R. Patterson. Projective Transformations of the Parameter of a Bernstein-Bezier Curve. ACM Transactions on Graphics, 4(4):276-290, October 1985.

L. Piegl. Interactive Data Interpolation by Rational Bezier Curves. IEEE Computer Graphics and Applications, pages 45-58, April 1988.

Pro/ENGINEER. Modeling Users Guide: 2D Sketcher. Brown Associates, Inc. Release 8.0.

Reasoning Systems. Refine User's Guide, 1990. Version 3.0.

T. Reps and T. Teitelbaum. The Synthsizer Generator. Springer Verlag, 1988.

A. Requicha. Dimensionining and tolerancing. Technical report, Production Automation Project, University of Rochester, May 1977. PADL TM-19.

A. A. G. Requicha. Toward a theory of geometric tolerancing. Int. J. Robot. Res., 2(4):45-60, 1983.

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.

Aristides A. G. Requicha. Representations for Rigid Solids: Theory, Methods, and Systems. Computing Surveys, 12(4):437-464, December 1980.

Deiter Roller. Design by Features: An Approach to High Level Shape Manipulations. Computers in Industry, 12:185-191, 1989.

Dieter Roller. Dimension-Driven geometry in CAD : a Survey. In Theory and Practice of Geometric Modeling, pages 509-523. Springer Verlag, 1989.

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.

Dieter Roller. An approach to computer-aided parametric design. Computer Aided Design, 23(5):385-391, 1991.

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.

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.

J. Schwartz, R. Dewar, D. Dubinsky, and E. Schonberg. Programming with Sets: An introduction to SETL. Springer Verlag, 1986.

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.

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.

K. Snyder. The SETL2 programming language. Technical report, New York University, Computer Science, Courant Institute, 1990.

Wolfgang Sohrt. Interaction with Constraints in three-dimensional Modeling. Master's thesis, Dept of Computer Science, The University of Utah, March 1991.

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.

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.

G. L. Steele and G. L. Sussman. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions. Artificial Intelligence, pages 1-39, January 1980.

B. Stroustrup. The C++ Programming Language. Addison-Wesley, Reading, MA, 1991.

K. Sugihara. Detection of Structural Inconsistencies in Systems of Equations with Degrees of Freedom and its Applications. Discrete Applied Mathematics, 10:297-312, 1985.

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.

I. Sutherland. Sketchpad, a man-machine graphical communication system. PhD thesis, MIT, January 1963.

I. Sutherland. Sketchpad, a man-machine graphical communication system. In Proc. of the spring Joint Comp. Conference, pages 329-345. IFIPS, 1963.

Hirimasa Suzuki, Hidetoshi Ando, and Fumihiko Kimura. Variation of geometries based on a geometric-reasoning method. Comput. & Graphics, 14(2):211-224, 1990.

Philip Todd. A k-tree generalization that characterizes consistency of dimensioned engineering drawings. SIAM J. DISC. MATH., 2(2):255-261, 1989.

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.

J. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.

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.

A. Verroust, F. Schonek, and D. Roller. Rule-oriented method for parameterized computer-aided design. Computer Aided Design, 24(3):531-540, October 1992.

G. C. Vosniakos. Knoweledge-based interpretation of CAD-drawing annotation for mechanical-engineering components. Computer Aided Design, 24(10):547-555, October 1992.

K. J. Weiler. Topological structures for geometric modeling. PhD thesis, Rensselaer Polytechnic Institute, 1986.

R. Weill. Integrating dimensioning and tolerancing in computer aided process planning. Robot. & Comput. Integr. Manuf., 4(1/2):41-48, 1988.

Wu Wen-Tsun. Basic Principles of Mechanical Theorem Proving in Elementary Geometries. Journal of Automated Reasoning, 2:221-252, 1986.

L. P. Wickens. A syntax for dimensions and tolerances. PhD thesis, Dept of Mechanical Engineering, University of Leeds, UK, August 1990.

Michael R. Wilk. Equate: An Object-Oriented Constraint Solver. In OOPSLA, pages 286-298. ACM, 1991.

A. Witkin, K. Fleischer, and A. Barr. Energy Constraints on Parameterized models. Computer Graphics, 21:225-232, 1987.

Robert F. Woodbury. Variations in Solids : A Declarative Treatment. Comput. & Graphics, 14(2):173-188, 1990.

J. R. Woodwark. Some speculations on feature recognition. Computer Aided Design, 20(4), May 1988.

Christopher J. Van Wyk. A High-Level Language for Specifying Pictures. ACM Transactions on Graphics, 1(2):163-182, 1982.

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