中国科学院重庆绿色智能技术研究院 张景中 男 博导
作者：科大科院考研网 发表时间：2019-12-16 来源：研招办
科院考研推荐链接：
研究领域
招生信息
招生专业
081203-计算机应用技术
081202-计算机软件与理论
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,北京大学, 学士
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
（2） 数学家的眼光, 二等奖, 国家级, 2005
（3） 定理机器证明理论与算法的新进展, 二等奖, 国家级, 1997
（4） 定理机器证明理论与算法的新进展, 一等奖, 部委级, 1995
专利成果
出版信息
发表论文
（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 作者
（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 作者
发表著作
（ 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 作者
（ 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
（ 2 ） 微分代数方程的可信计算理论与性态分析, 主持, 省级, 2012-04--2015-03
（ 3 ） 基于符号-数值混合计算的误差可控算法及其应用, 参与, 国家级, 2012-01--2015-12
（ 4 ） 基于混合计算的误差可控算法, 参与, 国家级, 2011-01--2015-12
（ 5 ） 基于数值方法的有理数域上准确多元多项式因式分解, 参与, 国家级, 2012-01--2015-12
参与会议
合作情况
项目协作单位
指导学生
