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