Add to ORKGA problem solving program capable of handling high school level Euclidean geometry straight-edge and compass constructions has been written. Figures are constructed by discovering, for the points composing them, the loci which satisfy the given sets of constraints. The representation of geometric knowledge is procedural. The relation to theorem proving in geometry, and aspects of the language PLANNER, which was used in the implementation of the program, are discussed.Science, Faculty ofComputer Science, Department ofGraduat
summary:The paper analyzes school approaches to solving plane geometry problems and the requirements...
On the theoretical framework of the Theory of Didactic Situations, from Guy Brousseau (1993), we pro...
Title: Problems of pupils of high school in solving geometric construction exercises Author: Mirosla...
Abstract. With the availability of computer software on dynamic geometry, beautiful and accurate geo...
<p></p><p>Abstract The study presented in this article is linked to a qualitative research carried o...
An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose ...
This paper presents a semi-automated methodology for generating geometric proof problems of the kind...
Part 4: Problem Solving, Planning and SchedulingInternational audienceAutomatic assessment has recen...
Students nowadays are relatively confident in directly applying geometrical theorems and theories. N...
What is the nature of expertise? This paper posits an answer to that question in the domain of geome...
to the forerunner of Western geometry. After a good deal of work had been devoted to the field, Eucl...
This thesis is an exposition of the article Euclidean Construction and the Geometry of Origami writt...
One of the most effective instructional approaches in teaching Mathematics is project work, which, i...
Geometry Constructions Language (gcl) is a language for explicit descriptions of constructions in Eu...
Abstract—Constraint satisfaction problems related to geometry mostly arise in CAD. But even though t...
summary:The paper analyzes school approaches to solving plane geometry problems and the requirements...
On the theoretical framework of the Theory of Didactic Situations, from Guy Brousseau (1993), we pro...
Title: Problems of pupils of high school in solving geometric construction exercises Author: Mirosla...
Abstract. With the availability of computer software on dynamic geometry, beautiful and accurate geo...
<p></p><p>Abstract The study presented in this article is linked to a qualitative research carried o...
An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose ...
This paper presents a semi-automated methodology for generating geometric proof problems of the kind...
Part 4: Problem Solving, Planning and SchedulingInternational audienceAutomatic assessment has recen...
Students nowadays are relatively confident in directly applying geometrical theorems and theories. N...
What is the nature of expertise? This paper posits an answer to that question in the domain of geome...
to the forerunner of Western geometry. After a good deal of work had been devoted to the field, Eucl...
This thesis is an exposition of the article Euclidean Construction and the Geometry of Origami writt...
One of the most effective instructional approaches in teaching Mathematics is project work, which, i...
Geometry Constructions Language (gcl) is a language for explicit descriptions of constructions in Eu...
Abstract—Constraint satisfaction problems related to geometry mostly arise in CAD. But even though t...
summary:The paper analyzes school approaches to solving plane geometry problems and the requirements...
On the theoretical framework of the Theory of Didactic Situations, from Guy Brousseau (1993), we pro...
Title: Problems of pupils of high school in solving geometric construction exercises Author: Mirosla...