Vanda Santos

According to our database, Vanda Santos authored at least 16 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools.

Joana Teles, Vanda Santos, Pedro Quaresma

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Integrating Video Production in Early Ages to Promote Motivation for Mathematics and Transversal Competences: Examples from ViduKids Project.

Piedade Vaz-Rebelo, Oliver Thiel, Graça Bidarra, Vanda Santos, Conceição Costa, Simone Evangelista, Anne Hjønnevåg Nakken, Signe Hanssen, Silvija Komocar, Natasa Kostrev, Bojana Vogrinc, Jozica Graj, Armin Hotmann, Corinna Bartoletti, Francesca Ferrini

Proceedings of the Technology and Innovation in Learning, Teaching and Education, 2022

Teacher Training in the Fields of STEAM: From Physical to Digital Tools.

Vanda Santos, Piedade Vaz-Rebelo, Graça Bidarra, Eleonóra Stettner, Ján Guncaga, Lilla Korenova

Proceedings of the Technology and Innovation in Learning, Teaching and Education, 2022

2021

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools.

Pedro Quaresma, Vanda Santos

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

STEM Learning in Digital Higher Education: Have It Your Way!

Margarida M. Pinheiro, Vanda Santos

Proceedings of the Innovative Technologies and Learning - 4th International Conference, 2021

2020

Taxonomies of geometric problems.

Pedro Quaresma, Vanda Santos, Pierluigi Graziani, Nuno Baeta

J. Symb. Comput., 2020

Critical Thinking on Mathematics in Higher Education: Two Experiences.

Vanda Santos, Nuno R. O. Bastos

Proceedings of the Technology and Innovation in Learning, Teaching and Education, 2020

2018

Web geometry laboratory: case studies in Portugal and Serbia.

Vanda Santos, Pedro Quaresma, Milena Maric, Helena Campos

Interact. Learn. Environ., 2018

<i>WGL</i>, a web laboratory for geometry.

Pedro Quaresma, Vanda Santos, Milena Maric

Educ. Inf. Technol., 2018

2017

Exchange of Geometric Information Between Applications.

Pedro Quaresma, Vanda Santos, Nuno Baeta

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2015

A Web Environment for Geometry.

Pedro Quaresma, Vanda Santos, Milena Maric

Proceedings of the CICM 2015, 2015

2014

Reproducing a Geometric Working Session.

Pedro Quaresma, Vanda Santos, Juan Moral

Proceedings of the Joint Proceedings of the MathUI, 2014

2013

The Web Geometry Laboratory Project.

Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue

Proceedings of the Intelligent Computer Mathematics, 2013

Collaborative environment for geometry.

Vanda Santos, Pedro Quaresma

Proceedings of the 2013 2nd Experiment@ International Conference (exp.at'13), 2013

2011

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

Vanda Santos, Pedro Quaresma

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2008

E-Learning Course for Euclidean Geometry.

Vanda Santos, Pedro Quaresma

Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008