会议介绍
·高小山 中国科学院数学与系统科学研究院
报告题目：Differential and Difference Chow Form, Sparse Resultant, and Toric Variety
摘要：In this talk, I will give a survey on the recent work on differential and difference Chow form, sparse resultant, and toric varieties. Chow forms are used as canonical representations as well as coordination for algebraic cycles. Sparse resultants are powerful tools for elimination of sparse polynomial systems. Chow forms and sparse results are connected through toric varieties. Precisely, for a given set A of monomial supports, the Chow form of the toric variety defined by A is the A-sparse resultant. We will show how these results are extended to differential algebra and difference algebra.
·刘利刚 中国科学技术大学
报告题目：3D打印中的几何与计算问题
摘要：3D打印是最近几年发展迅速的制造工艺技术，它所涉及的学科包含机械、控制、光电、材料等。3D打印对传统的几何设计也提出了许多挑战的问题，在本报告中，我们将介绍3D打印中的几何设计和处理的若干问题，同时介绍我们在这些方法所做的一些研究工作。
·宗传明 北京大学
报告题目：正四面体的堆积理论以及一些计算结果
摘要：正四面体的堆积理论是最古老的数学问题之一，其历史可以追 溯到两千三百年前的古希腊哲学家亚里士多德， 而且名列希尔伯特的23个数学问题之中。虽然历经许多著名数学家和物理 学家的深入研究，其中包括亚里士多德和闵可夫斯基的著名错误， 我们至今不知道正四面体的最大平移堆积密度和最大全等堆积密度。本报 告将介绍这一著名问题的历史和最新进展，其中包括许多计算机辅助构造 和计算结果。
【会议门票】
会议注册费
| 一般参会代表 | 学 生 | ||
| 9月30日前收到回执 | 9月30日后收到回执及现场注册 | 10月15日前收到回执 | 10月15日后收到回执并现场注册 |
| 900 | 1000 | 700 | 800 |
注记：
·学生现场报到时需出示学生证。
·会议期间（10月30-11月2日）食宿费用自理。
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。第一至第六届会议分别在南昌（2007），青岛（2008），上海（2010），广州（2011），长春（2013）,重庆(2014)召开。
会议主题包括（但不限于）以下研究方向：
数学机械化理论、算法和软件实现；
符号计算，符号与数值混合计算；
自动推理与机器证明；
计算机数学在信息安全、程序验证、机器人和数控系统中的应用；
计算机图形学、模式识别等高科技领域中的数学方法；
计算机数学在物理、化学、生物和工程中的应用；
计算机技术在数学教育中的应用。
会议时间: 2015年10月30日至11月2日(10月30日报到)
会议地点: 中国科学技术大学