Modular algebraic specification of some basic geometrical constructions
Artificial Intelligence - Special issue on geometric reasoning
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Handbook of theoretical computer science (vol. B)
Solving spatial basic geometric constraint configurations with locus intersection
Proceedings of the seventh ACM symposium on Solid modeling and applications
Robustness in CAD Geometric Constructions
IV '01 Proceedings of the Fifth International Conference on Information Visualisation
| Hi-index | 0.00 |
This article presents a metalanguage called GCML which allows the description of geometric constraint problems. In the spirit of algebraic specifications, it constitutes a framework to accompany a geometric problem from its expression to its solution. Its originality is to provide a problem with its framework called geometric universe, a tuple (syntax, semantic) which allows to get rid of ambiguities and limitations concerning description which is then freed from any software restriction. Moreover, distinction between syntax and semantic allows pre and post treatments in order to generate tools while adopting different semantic points of view in the following fields: modeling, visualization, resolution and documentation. Pragmatically, this metalanguage is based upon XML which is a language of terminology description, and allows to embed other terminologies to express different semantics.