Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Christopher W. BrownZoltán KovácsTomás RecioRóbert VajdaM. Pilar VélezPublished in: Math. Comput. Sci. (2022)
Keyphrases
- computer algebra
- theorem prover
- collaborative learning
- sufficient conditions
- learning activities
- computer algebra systems
- student learning
- online learning
- linear inequalities
- pilot study
- geometric constraints
- automated theorem provers
- teacher education
- professional development
- learning process
- game based learning
- geometric structure
- middle school
- learning environment
- student participation
- mobile devices