Please wait a minute...
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Front. Comput. Sci.    2007, Vol. 1 Issue (2) : 180-190    https://doi.org/10.1007/s11704-007-0018-z
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;
 Download: PDF(647 KB)  
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
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
 Cite this article:   
WANG Dongming,LIANG Tielin. On the design and implementation of a geometric-object-oriented language[J]. Front. Comput. Sci., 2007, 1(2): 180-190.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-007-0018-z
https://academic.hep.com.cn/fcs/EN/Y2007/V1/I2/180
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed