...
机译:Mathsaid:自动化数学理论探索
Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland;
Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland;
Univ Glasgow Dept Math Glasgow Lanark Scotland;
Theory exploration; Automated theorem proving;
机译:Mathsaid:自动化数学理论探索
机译:基于概率论的自动化生产线故障率数学分析
机译:书评:数学教育理论:寻求新的领域Sriraman,B.&English,L。,(编辑)(2010年)。数学教育理论:寻求新领域(数学教育进展)。柏林/海德堡:施普林格科学。 ISBN:978-3-642-00741-5。 668页129美元。
机译:mathsaid:一个数学定理发现工具
机译:社区大学发展数学学生对他们数学能力的信念:通过叙事探究的探索
机译:从业者的人际关系通信理论指南:概述和探索选定的理论
机译:maTHsaiD:自动化数学理论探索
机译:各向异性体振动数学理论研究本研究的目的是推进晶体振动的数学理论