机译:在几何证明的教学中使用GeoGebra中的自动推理工具
机译:地震作用下集装箱起重机的数学建模及振动台验证
机译:如何教学促进数学创造力可能会影响学生的自我效能,以便证明
机译:证明表作为系统分析工具,用于在数学证明中教学和学习
机译:Preservice数学教师对使用Web 2.0技术的看法作为大学欧几里德几何课程中的支持性教学工具
机译:PORTAAL:一种课堂观察工具可评估大型科学技术工程和数学课程中基于证据的主动学习教学实践
机译:分配数学任务与提供预制数学以支持学习证明
机译:面向对象数据库的定理证明分析工具