Language for Description of Geometric Configurations

Abstract

This contribution is an informal presentation of some concepts, facts, and definitions about general configurations, as well as a description of our proposed GL/0 language for symbolic description of geometric configurations. Emphasis is placed on the demand of invariance of geometric descriptions in the spirit of the Erlangen program of Felix Klein, and on the need for separation between the notions of configuration and of segments. Some possibilities for use of the same ideas in other, not necessarily geometric domains are described.