Carnegie Mellon University.;
机译:从数学公理到数学证明规则:证明分析的最新发展
机译:数学归纳法和英国奇迹的本质一种证明传统观念的数学方法
机译:对数学逻辑结构的研究。十一。一种用于电子计算机的数学证明编程的方法
机译:数学教育中的电子证明–南非教师专业发展(TPD)课程,介绍电子证明系统创作支持研讨会的概念
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:扎实的数学认知:使用动作和语言促进数学见解和证明
机译:用启发式方法证明了F + V = E + 2公式及其对学校数学证明的意义