Proceedings ArticleDOI
Collaborative environment for geometry
Vanda Santos Cisuc,Pedro Quaresma +1 more
- pp 42-46
TLDR
The Web Geometry Laboratory is a collaborative blended-learning Web-environment integrating a dynamic geometry system and where each user has a personalised scrapbook of geometric constructions.Abstract:
The Web Geometry Laboratory is a collaborative blended-learning Web-environment integrating a dynamic geometry system and where each user has a personalised scrapbook of geometric constructions. All the base features needed to implement an adaptive module and to allow the integration of a geometry automated theorem prover are also already implemented. The actual testing of the Web Geometry Laboratory by high-school teachers is underway and a first field-test with high-school students is due to the spring term of 2013.read more
Citations
More filters
Journal ArticleDOI
"WGL," a Web Laboratory for Geometry.
TL;DR: An in-depth, full description of the WGL system in its current version, is made, covering all the features and functioning modes, from the perspective of teachers and students.
Posted Content
Arithmetic in Metamath, Case Study: Bertrand's Postulate
TL;DR: A system of theorems and definitions and an algorithm to apply these as basic operations to perform arithmetic calculations with a number of steps proportional to an arbitrary-precision arithmetic calculation is presented.
Posted Content
A Web Environment for Geometry
TL;DR: The Web Geometry Laboratory, (WGL), is a blended-learning, collaborative and adaptive, Web environment for geometry that integrates a well known dynamic geometry system.
Laboratório de geometria na rede (WGL) em contexto de trabalho de casa
Vanda Santos,Pedro Quaresma +1 more
TL;DR: A plataforma Laboratorio de Geometria na Rede (em Ingles, Web Geometry Laboratory, WGL) carateriza-se por ser um ambiente de ensino presencial/nao presensecial, colaborativo, adaptativo e integrando um sistema de geometria dinâmica as mentioned in this paper.
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
Vanda Santos,Pedro Quaresma +1 more
TL;DR: The Web Geometry Laboratory as mentioned in this paper is a web environment incorporating a dynamic geometry software system (DGS) and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features.
References
More filters
Book ChapterDOI
Thousands of geometric problems for geometric theorem provers (TGTP)
TL;DR: Thousands of Geometric problems for geometric Theorem Provers is a Web-based library of problems in geometry to provide the automated reasoning in geometry community with a comprehensive and easily accessible library of GATP test problems.
Journal ArticleDOI
Paradigms of shared knowledge
Gerry Stahl,Friedrich W. Hesse +1 more
TL;DR: In addition to being dependent upon the presence of existing shared knowledge, successful collaboration or collaborative learning involves the construction of new knowledge, created jointly and thereby shared by the participants.
Book ChapterDOI
Automatic verification of regular constructions in dynamic geometry systems
Predrag Janičić,Pedro Quaresma +1 more
TL;DR: An application of automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS) using the GCLCprover system, which gives a real-world application of ATP in dynamic geometry tools.
Journal ArticleDOI
GeoThms --- a Web System for Euclidean Constructive Geometry
Pedro Quaresma,Predrag Janičić +1 more
TL;DR: Functionalities of GeoThms are described, focusing on the interface solutions required for a system aimed at supporting studying and teaching geometry via Internet.
Book ChapterDOI
Integrating dynamic geometry software, deduction systems, and theorem repositories
Pedro Quaresma,Predrag Janičić +1 more
TL;DR: GCLCprover, an automatic theorem prover integrated with dynamic geometry software (DGS) gives its user a tool to bridge his/her spatial intuition with formal, Euclidean geometry proofs, and GeoThms framework provides a framework for exploring geometrical knowledge.