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 blended-learning Web-environment for geometry.par 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.par The actual testing of the WGL platform by high-school teachers is underway and a field-test with high-school 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%2F978-3-642-39320-4_30 Keywords: adaptive; collaborative; blended-learning; 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.97006Quaresma, 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 (68-XX) 2 Mathematics education (97-XX) 1 Geometry (51-XX) Citations by Year