论文信息 - The Web Geometry Laboratory Project

The Web Geometry Laboratory Project

The Web Geometry Laboratory (WGL) project's goal is to build an adaptive and collaborative blended-learning Web-environment for geometry. In its current version (1.0) the WGL is already a collaborative blended-learning Web-environment integrating a dynamic geometry system (DGS) and having some adaptive features. All the base features needed to implement the adaptive module and to allow the integration of a geometry automated theorem prover (GATP) are also already implemented. The actual testing of the WGL platform by high-school teachers is underway and a field-test with high-school students is being prepared. The adaptive module and the GATP integration will be the next steps of this project.

Pedro Quaresma | Vanda Santos | Seifeddine Bouallegue

[1] Pedro Quaresma,et al. Automatic Verification of Regular Constructions in Dynamic Geometry Systems , 2006, Automated Deduction in Geometry.

[2] Pedro Quaresma pedro. Geometry Construction Recognition by the Use of Semantic Graphs , 2012 .

[3] Pedro Quaresma,et al. Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories , 2006, MKM.

[4] Pedro Quaresma. Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) , 2010, Automated Deduction in Geometry.

[5] Pedro Quaresma,et al. The Area Method - A Recapitulation , 2012, J. Autom. Reason..

[6] P. Quaresma,et al. Collaborative Aspects of the WGL Project , 2012 .

[7] Pedro Quaresma,et al. The Area Method , 2010, Journal of Automated Reasoning.