|
|
On the design and implementation of a geometric-object-oriented language |
LIANG Tielin1, WANG Dongming2, WANG Dongming3 |
1.Department of Mathematics, University of Science and Technology of China, Hefei 230026, China; 2.LMIB-School of Science, Beihang University, Beijing 100083, China; Laboratoire d'Informatique de Paris 6, Universite Pierre et Marie Curie - CNRS, 104 avenue du Presidente Kennedy, F-75016 Paris, France; 3.LMIB-School of Science, Beihang University, Beijing 100083, China; Laboratoire d'Informatique de Paris 6, Universit Pierre et Marie Curie - CNRS, 104 avenue du President Kennedy, F-75016 Paris, France; |
|
|
Abstract This paper presents the design and implementation of a geometric-object-oriented language Gool for constructing, representing, manipulating, and visualizing symbolic geometric objects and relations and performing symbolic geometric computation and formal reasoning. The language uses case distinction to formalize symbolic geometric objects and relations, reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric constraints. We describe the capabilities, features, and main components of Gool, propose several techniques for geometric constraint handling, and discuss some of the implementation issues.
|
Issue Date: 05 June 2007
|
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|