The Web Geometry Laboratory Project
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue

TL;DR
The Web Geometry Laboratory is an adaptive, collaborative online platform integrating dynamic geometry tools, with ongoing testing and future plans for theorem proving and adaptive features to enhance geometry education.
Contribution
This project introduces an integrated web-based environment combining collaborative, adaptive learning features with dynamic geometry and automated theorem proving capabilities.
Findings
Platform already supports collaboration and dynamic geometry
Adaptive features and theorem prover integration are in development
Testing with teachers is underway, student testing planned
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Mathematics, Computing, and Information Processing · Model-Driven Software Engineering Techniques
