Change of representation; Transformation; Automated reasoning; Isabelle proof assistant;
机译:离散数学证明中的表示形式的自动更改(扩展版)
机译:原始研究老师学习和评估数学过程,侧重于表示,推理和证明Crossref Citations
机译:原始研究老师学习和评估数学过程,侧重于表示,推理和证明Crossref Citations
机译:自动化离散数学证明的代表性变化
机译:离散事件系统动力学的数学编程表示。
机译:现实数学教育方法的有效性:数学表示在数学信念与问题解决之间的中介作用
机译:离散数学证明的表示形式的自动更改(扩展版)