Preview

Cai for Geometry

Satisfactory Essays
Open Document
Open Document
3604 Words
Grammar
Grammar
Plagiarism
Plagiarism
Writing
Writing
Score
Score
Cai for Geometry
Purdue University

Purdue e-Pubs
Computer Science Technical Reports Department of Computer Science

1993

A Geometric Constraint Solver
William Bouma Ioannis Fudos Christoph M. Hoffmann
Purdue University, cmh@cs.purdue.edu

Jiazhen Cai Robert Paige
Report Number:
93-054

Bouma, William; Fudos, Ioannis; Hoffmann, Christoph M.; Cai, Jiazhen; and Paige, Robert, "A Geometric Constraint Solver" (1993). Computer Science Technical Reports. Paper 1068. http://docs.lib.purdue.edu/cstech/1068

This document has been made available through Purdue e-Pubs, a service of the Purdue University Libraries. Please contact epubs@purdue.edu for additional information.

A GEOMETRIC CONSTRAINT SOLVER

William Bouma

Ioannnis Fudos
Christoph Hoffmann Jillzhen Cai Robert Paige

eSD·TR·93·054
August 1993

A Geometric Constraint Solver
William BoumaIoannis Fuclos t Christollh Hoffmann· Department of Computer Science, Purdue University West Lafayette, IN 47907-1398

Jiazllen Cai1 Robert Paige} Department of Computer Science, Courant Institute 251 Mercer Str., New York, NY 10012

Report CSD_ 'rlt_n.05t, Aug .. ' 19931

Abstract

We report on the development of a two-dimensional geometric COllstraint solver. The solver is a major component of a lIew generation of CAD systems that we are developing based on a high-level geometry representation. The solver uses a graph-reduction directed algebraic approach, and achieves interactive speed. We describe the architecture of the solver and its basic capabilities. Theil) we discuss ill detail holV to extend the scope of the solver, with special emphasis placed all the theoretical alld human fadors involved in finding a solution - in an eXJlonenlially large search space - so that the solution is appropriate to the application and the way offincling it is intuitive to an untrained user.

·Supported in part by ONR contract N00014-90-J-1599, by NSF ' Granl COA 92-2. '3.502, and by NSF Grant ECD 88-03017.



References: [9] B. Buchberger, G. Collins, and B. Kutzler. Algebraic methods [or geometric reasoning. Annual Retliews in Computel ' Science, 3:85-120, 1988.

You May Also Find These Documents Helpful