基本信息
张景中  男  博导  中国科学院重庆绿色智能技术研究院
email: zjz2271@163.com
address: 成都市人民南路四段九号
postalCode:

招生信息

   
招生专业
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