Teaching Interactive Proofs to Mathematicians.
Mauricio Ayala-RincónThaynara Arielly de LimaPublished in: ThEdu@IJCAR (2020)
Keyphrases
- automated theorem provers
- interactive learning
- learning environment
- learning systems
- user friendly
- guided exploration
- learning process
- computer scientists
- online learning
- distance learning
- theorem proving
- virtual reality
- learning analytics
- web based learning
- theorem prover
- blended learning
- e learning
- intelligent learning environments
- thinking skills
- interactive learning environments
- interactive multimedia
- teaching methods
- high school
- computer graphics
- user interaction