机译:通过计算机支持的认知冲突弥合数学猜想与证明之间的鸿沟
机译:冲突作为信号:弥合冲突检测与认知控制之间的差距
机译:教师在计算机支持的实验室工作中的支持:弥合实验室实验与学生的概念理解之间的差距
机译:Beal猜想的数学证明
机译:Goldbach猜想的数学建模与证明
机译:弥合教会冲突差距:建立和平战略,教育当地教会成员解决冲突
机译:生态学统计和数学模型之间的差距缩小
机译:在Andrica的猜想中,Cramér的猜想,瓜粉和雅各的函数差距II:Andrica猜想的简单渐近证明
机译:弥合硬件 - 软件差距:计算机系统信任评估的证明携带方法(5.3.5)。