scholarly journals Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

2020 ◽  
Vol 313 ◽  
pp. 1-16 ◽  
Author(s):  
Ludovic Font ◽  
Sébastien Cyr ◽  
Philippe R. Richard ◽  
Michel Gagnon
Keyword(s):  
High School ◽  
Educational Context ◽  
High School Geometry ◽  
School Geometry

Vertex-Edge Graphs: An Essential Topic in High School Geometry

2008 ◽  
Vol 102 (3) ◽  
pp. 178-185
Author(s):  
Eric W. Hart
Keyword(s):  
High School ◽  
Secondary School ◽  
Essential Characteristic ◽  
High School Geometry ◽  
School Geometry ◽  
Geometric Objects

Secondary school geometry is perhaps most succinctly described as the study of shape. Many aspects of shape are studied, such as properties of and relationships among shapes, location of shapes, transformations of shapes, and reasoning about shape. Consider an important counterpoint to this shape story or perhaps chapter zero in the story—the study of vertex-edge graphs, which are geometric objects for which shape is not an essential characteristic.

Sign in / Sign up

Export Citation Format

Share Document