机译:数学证明的粒度分析
Institute of Artificial Intelligence, Ulm University, Ulm, Germany;
Proof granularity; Proof tutoring; Automated reasoning; Machine learning; Proof presentation; Assertion level;
机译:从数学公理到数学证明规则:证明分析的最新发展
机译:数学证明:从数学到学校数学
机译:高中数学教师对学校数学中数学证明目的的观点
机译:热力学分析和等效焓滴误差的数学证明(EDQM)
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:使用幂律分析来预测处方药的滥用或转移:概念验证的数学探索
机译:证明辅导的证明步骤分析 - 粒度学习方法