关键词: 数学机械化  系统科学  征稿简则  国家最高科技奖  交叉科学  学术论文  核心期刊  机器证明  

2019年第07期 《系统科学与数学》

关键词: 数学机械化  系统科学  征稿简则  国家最高科技奖  交叉科学  学术论文  核心期刊  机器证明  

2019年第05期 《系统科学与数学》

关键词: 面积计算  张景中  吴文俊  归一  文中  机器证明  相似三角形  辅助线  三角形面积  重要公式  

2017年第02期 《中学生数学》

关键词: 亚马逊  自动化  机器证明  演算法  管理者  精确性  员工  

2019年第07期 《起重运输机械》

关键词: 多项式组主项解耦消元法  几何定理  西姆松定理  机器证明  非退化条件  

2004年第01期 《数学的实践与认识》

关键词: 吴文俊  中国数学  行星  机器证明  定理证明  中国科技  机械化  老百姓  

2017年第11期 《留学生》

关键词: 数学机械化  吴文俊  句号  机器证明  定理证明  

2017年第10期 《中华儿女》

关键词: 中国科学院  数学机械化  传统数学  机器证明  数学发展  国家最高科学技术奖  第三世界科学院  寓理  

2017年第05期 《中国科技教育》

关键词: 超越不等式  三角函数不等式  机器证明  上限多项式  下限多项式  可读证明  

2016年第08期 《系统科学与数学》

关键词: 三角形几何不等式  非负分拆  角代换可扩展不等式  机器证明  

2016年第05期 《广东第二师范学院学报》

关键词: 几何命题  机器证明  groebnera基  

2006年第21期 《科学技术与工程》

关键词: mathematic  机器证明  对称性  二层六角幻方  

2007年第02期 《长春教育学院学报》

关键词: 吴文俊  上海交通大学  中国数学会  机器证明  斯特拉斯堡  中国科学院  自然科学奖  创造性工作  

2006年第10期

关键词: 吴文俊  基础研究  几何定理  机器证明  创新  应用  数学  

2010年第15期 《金秋》

关键词: 机器证明  四色定理  模型论  

2011年第01期 《前沿科学》

关键词: 广义归结  horn集  机器证明  

2009年第01期 《湘潭师范学院学报·社会科学版》

关键词: 空调节能  变速驱动  暖通空调  abb公司  机器证明  驱动器  

2010年第09期

关键词: 不等式自动发现  agl2010程序  条件不等式  机器证明  

2013年第03期 《广东第二师范学院学报》

关键词: 不等式自动发现  agl2010程序  n元不等式  机器证明  

2012年第03期 《广东第二师范学院学报》

关键词: si类多项式  差分代换  机器证明  

2009年第05期 《广东第二师范学院学报》