GATP
swMATH ID:  25268 
Software Authors:  Quaresma, Pedro; Santos, Vanda; Bouallegue, Seifeddine 
Description:  The web geometry laboratory project. The web geometry laboratory (WGL) project’s goal is to build an adaptive and collaborative blendedlearning Webenvironment for geometry.par In its current version (1.0) the WGL is already a collaborative blendedlearning webenvironment 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.par The actual testing of the WGL platform by highschool teachers is underway and a fieldtest with highschool students is being prepared.par The adaptive module and the GATP integration will be the next steps of this project. 
Homepage:  https://link.springer.com/chapter/10.1007%2F9783642393204_30 
Keywords:  adaptive; collaborative; blendedlearning; geometry 
Related Software:  TGTP; Intergeo; GeoThms; GCLCprover; GCLC; GeoGebra; JGEX; GEX; ArgoCLP; GeoProof; Cinderella; WGL; Opengeo; Electronic Geometry Textbook; Automath; OpenGeoProver; Maude; TPTP; Coq; gcl 
Cited in:  6 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

The web geometry laboratory project. Zbl 1390.97006 Quaresma, Pedro; Santos, Vanda; Bouallegue, Seifeddine 
2013

all
top 5
Cited by 6 Authors
6  Quaresma, Pedro 
2  Baeta, Nuno 
2  Santos, Vanda 
1  Bouallegue, Seifeddine 
1  Graziani, Pierluigi 
1  Haralambous, Yannis 
Cited in 2 Serials
2  Mathematics in Computer Science 
1  Journal of Symbolic Computation 
Cited in 3 Fields
5  Computer science (68XX) 
2  Mathematics education (97XX) 
1  Geometry (51XX) 