基本信息
张景中男博导中国科学院重庆绿色智能技术研究院
电子邮件： zjz2271@163.com
通信地址： 成都市人民南路四段九号
邮政编码：

研究领域

招生信息
招生专业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）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作者

发表著作（ 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

参与会议

合作情况
项目协作单位

指导学生