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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Janičić, P., Narboux, J., Quaresma, P.: The Area Method: a recapitulation. Journal of Automated Reasoning 48(4), 489–532 (2012)
Janičić, P., Quaresma, P.: Automatic verification of regular constructions in dynamic geometry systems. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 39–51. Springer, Heidelberg (2007)
Quaresma, P.: Thousands of Geometric problems for geometric Theorem Provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS (LNAI), vol. 6877, pp. 169–181. Springer, Heidelberg (2011)
Quaresma, P., Haralambous, Y.: Geometry Constructions Recognition by the Use of Semantic Graphs. In: Atas da XVIII Conferência Portuguesa de Reconhecimento de Padrões, RecPad 2012, Tipografia Damasceno, Coimbra (2012)
Quaresma, P., Janičić, P.: Integrating dynamic geometry software, deduction systems, and theorem repositories. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 280–294. Springer, Heidelberg (2006)
Santos, V., Quaresma, P.: Collaborative aspects of the WGL project. Electronic Journal of Mathematics & Technology (to appear, 2013)
Wikipedia. List of interactive geometry software (April 2013), http://en.wikipedia.org/wiki/List_of_interactive_geometry_software
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Quaresma, P., Santos, V., Bouallegue, S. (2013). The Web Geometry Laboratory Project. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds) Intelligent Computer Mathematics. CICM 2013. Lecture Notes in Computer Science(), vol 7961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39320-4_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-39320-4_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39319-8
Online ISBN: 978-3-642-39320-4
eBook Packages: Computer ScienceComputer Science (R0)