Geometric proof is a valuable content area for making strides for theories of GEMC. First, geometry is seen as the study of the properties of space and shape, and therefore should be suitable to a GEMC perspective. Second, it is an area of advanced mathematics, typically studied by students ...
It should also be noted that the original axiomatics was extended by a selection of properties of some notions commonly used in various formalizations that were built into the system to improve its usability. The extra axiomatic fileAXIOMScontained the definitional axioms of the following concepts: ...