张景中 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081203-计算机应用技术 081202-计算机软件与理论招生方向计算机应用,教育信息技术自动推理与智能软件教育数学教育背景 1954-09--1959-07 北京大学学士工作简历 2011-06~现在, 中国科学院重庆绿色智能技术研究院（筹）, 主任 1995-11~现在, 中国科学院成都计算机应用研究所, 名誉所长 1990-08~1995-10,中科院成都计算机应用研究所 , 研究员、副所长 1987-01~1990-07,中科院成都分院数理室, 研究员、室主任 1985-05~1986-12,中科院成都分院数理室, 副研究员 1981-07~1985-04,中国科技大学数学系, 副教授 1979-09~1981-06,中国科技大学数学系, 讲师 1954-09~1959-07,北京大学, 学士奖励信息（1）好玩的数学, 二等奖, 国家级, 2009 （2）数学家的眼光, 二等奖, 国家级, 2005 （3）定理机器证明理论与算法的新进展, 二等奖, 国家级, 1997 （4）定理机器证明理论与算法的新进展, 一等奖, 部委级, 1995 发表著作（ 1 ）非线性代数方程组与定理机器证明, Nonlinear algebraic equation system and automated theorem proving, 上海科技教育出版社, 1996-01, 第 2 作者（ 2 ）几何新方法和新体系, 几何新方法和新体系, 科学出版社, 2009-08, 第 1 作者（ 3 ）一线串通的初等数学, 一线串通的初等数学, 科学出版社, 2009-08, 第 1 作者（ 4 ）直来直去的微积分, 直来直去的微积分, 科学出版社, 2010-05, 第 1 作者（ 5 ）普通高等教育"十二五"规划教材·国家精品课程教材·21世纪教育技术学精品教材, 北京大学出版社, 2015-01, 第 1 作者（ 6 ）几何定理机器证明的几何不变量方法, 科学出版社, 2015-04, 第 1 作者科研项目（ 1 ）基于计算机推理的多领域统一工业模型技术, 参与, 省级, 2011-09--2013-08 （ 2 ）微分代数方程的可信计算理论与性态分析, 主持, 省级, 2012-04--2015-03 （ 3 ）基于符号-数值混合计算的误差可控算法及其应用, 参与, 国家级, 2012-01--2015-12 （ 4 ）基于混合计算的误差可控算法, 参与, 国家级, 2011-01--2015-12 （ 5 ）基于数值方法的有理数域上准确多元多项式因式分解, 参与, 国家级, 2012-01--2015-12

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Exact bivariate polynomial factorization over Q by approximation of roots, Journal of Systems Science and Complexity, 2015, 第 3 作者（2） Parallel computation of real solving bivariate polynomial systems by zero-matching method, Applied Mathematics and Computation, 2013, 第 3 作者（3） A complete algorithm to find exact minimal polynomial by approximations, International Journal of Computer Mathematics, 2012, 第 3 作者（4）代数数极小多项式的近似重构, 系统科学与数学, 2011, 第 4 作者（5）一个同步整数关系探测算, 四川大学学报（工程科学版）, 2011, 第 4 作者（6） Computing symbolic determinants by approximate interpolation (extended abstract), Proc. CM 2011, 2011, 第 4 作者（7） OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION, Journal of Systems Science and Complexity , 2011, 第 3 作者（8） Finding Exact Minimal Polynomial by Approximations, Proc. SNC’09, 2009, 第 4 作者（9） Exact Polynomial Factorization by Approximate High Degree Algebraic Numbers, Proc. SNC’09, 2009, 第 4 作者（10）微积分基础的新视角, 中国科学：数学, 2009, 第 1 作者（11）采用近似计算获得准确值, Obtaining Exact Value by Approximate Computations, Science in China Series A: Mathematics , 2007, 第 1 作者（12） On Number of Circles Intersected by a Line, J. Comb. Theory, Ser. A, 2002, 第 2 作者（13） The intelligent CAI system for chemistry based on automated reasoning, J. Comput. Sci. Technol., 1999, 第 2 作者（14）代数方程组相关性的一个判准及其在定理机器证明中的应用, 中国科学：数学, 1993, 第 1 作者（15）初等图形在欧氏空间的实现问题, 中国科学：数学, 1992, 第 1 作者（16） The Parallel Numerical Method of Mechanical Theorem Proving, Theor. Comput. Sci., 1990, 第 1 作者