Add to ORKGThis paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techhiques usually associated with generative grammars and formal automata are then applied to the geometric framework. Section 1 of the paper specifies the geometric framework; section 2 develops the background material on formal languages, grammars, and automata; section 3 is concerned with geometric predicates; section 4 covers invariance theorems; and section 5 indicates a;eas for further investigations. (DT
Concept lattices are used in formal concept analysis to represent data conceptually so that the orig...
A picture is a set of unit lines from the Cartesian plane considered as a square grid. A word over t...
Abstract. Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for e...
AbstractThe objective of the research considered in this paper is to develop a theoretical foundatio...
In various cultures and at all spatial scales, humans produce a rich complexity of geometric shapes ...
AbstractWe present arguments for the complementary role that intrinsically geometric models of visua...
International audienceThis paper presents the design and implementation of a geometric-object-orient...
Geometrical discourse requires good knowledge and mastering of the terminology and the notions. On t...
AbstractIn this paper a theory for the synthesis of geometric concepts is presented. The theory is f...
International audienceDynamic geometry systems (DGS) have become basic tools in many areas of geomet...
Withn the framework of the theory of Figural Concepts, the paper discusses the role of drawing in t...
This thesis explores the automatic generation of solid models based on a grammatical paradigm. It in...
Shape grammars are defined and their uses investigated. Shape grammars provide a means for the recur...
International audienceOur aim is to introduce and generalize a class of languages used in off-line t...
The paper describes three didactic environments as an alternative to drawing. They concern construct...
Concept lattices are used in formal concept analysis to represent data conceptually so that the orig...
A picture is a set of unit lines from the Cartesian plane considered as a square grid. A word over t...
Abstract. Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for e...
AbstractThe objective of the research considered in this paper is to develop a theoretical foundatio...
In various cultures and at all spatial scales, humans produce a rich complexity of geometric shapes ...
AbstractWe present arguments for the complementary role that intrinsically geometric models of visua...
International audienceThis paper presents the design and implementation of a geometric-object-orient...
Geometrical discourse requires good knowledge and mastering of the terminology and the notions. On t...
AbstractIn this paper a theory for the synthesis of geometric concepts is presented. The theory is f...
International audienceDynamic geometry systems (DGS) have become basic tools in many areas of geomet...
Withn the framework of the theory of Figural Concepts, the paper discusses the role of drawing in t...
This thesis explores the automatic generation of solid models based on a grammatical paradigm. It in...
Shape grammars are defined and their uses investigated. Shape grammars provide a means for the recur...
International audienceOur aim is to introduce and generalize a class of languages used in off-line t...
The paper describes three didactic environments as an alternative to drawing. They concern construct...
Concept lattices are used in formal concept analysis to represent data conceptually so that the orig...
A picture is a set of unit lines from the Cartesian plane considered as a square grid. A word over t...
Abstract. Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for e...