...
机译:研究数学家猜测与证明的实践案例研究
Univ Seville Fac Ciencias Educ Dept Didact Matemat C Pirotecnia S-N Seville 41013 Spain;
Univ Seville Fac Ciencias Educ Dept Didact Matemat C Pirotecnia S-N Seville 41013 Spain;
Univ Seville Fac Ciencias Educ Dept Didact Matemat C Pirotecnia S-N Seville 41013 Spain;
Advancing mathematical activity; mathematizing; conjecturing; proving; research mathematicians;
机译:数学家和学生使用示例对猜测和证明的比较
机译:有限域上组合猜想的计算机辅助证明:一个国际象棋猜想的案例研究
机译:孵化效果:数学家如何从证明的僵局中复苏
机译:如何通过空间耦合证明麦克斯韦猜想-概念证明
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:跨学科案例研究:数学家和生物学家如何发现细胞噪声中的有序
机译:探索和证明猜想时数学家的榜样相关活动
机译:模型检验定理证明中的失败猜想:一个案例研究