English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The area of geometry with its very strong and appealing visual contents andits also strong and appealing connection between the visual content and itsformal specification, is an area where computational tools can enhance, in asignificant way, the learning environments.  The dynamic geometry software systems (DGSs) can be used to explore thevisual contents of geometry. This already mature tools allows an easyconstruction of geometric figures build from free objects and elementaryconstructions. The geometric automated theorem provers (GATPs) allows formaldeductive reasoning about geometric constructions, extending the reasoning viaconcrete instances in a given model to formal deductive reasoning in ageometric theory.  An adaptative and collaborative blended-learning environment where the DGSand GATP features could be fully explored would be, in our opinion a very richand challenging learning environment for teachers and students.  In this text we will describe the Web Geometry Laboratory a Web environmentincorporating a DGS and a repository of geometric problems, that can be used ina synchronous and asynchronous fashion and with some adaptative andcollaborative features.  As future work we want to enhance the adaptative and collaborative aspects ofthe environment and also to incorporate a GATP, constructing a dynamic andindividualised learning environment for geometry.

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment