- 第8届亚洲计算机数学会议(ASCM 2007)于2007年12月15-17日在新加坡举行。本次会议由新加坡国立大学主办，中科院系统科学研究所协办。D.Kapur担任程序委员会主席。会议收到来自20个国家的65篇投稿。经过程序委员会审查，接受论文23篇，短文13篇。G. Gonthier、R. Farouki、王小云做了大会邀请报告。亚洲计算机数学会议由数学机械化中心与日本符号与代数协会于1995年创立，已经成为国际计算机数学的重要论坛。(12/20/07)
- 国家重点基础研究发展规划(973)项目“数学机械化方法及其在信息技术中的应用”2007年学术交流与汇报会于2007年11月11－13日在南昌大学召开。 详细 (11/21/07)
- 2007年11月12—13日，第一届全国计算机数学学术会议在南昌大学（前湖校区）国际学术交流中心隆重举行。本次大会由中国数学学会计算机数学专业委员会主办，由中国科学院数学机械化重点实验室与南昌大学承办。这次大会是中国数学学会计算机数学专业委员会被批准成立以来组织的第一次全国性学术活动。
详细 (11/21/07)
- 吴文俊院士在“思源纵横” 作精彩讲座 详细 (11/05/07)
- 实验室博士生王灯山获得2007年度中科院“宝洁优秀博士生”奖。 (10/22/07)
- 第一届全国计算机数学学术会议(CM 2007)将于2007年11月12－15日在江西南昌市与井冈山市召开。
(10/17/07)
- 实验室研究生周凯、冷福生获得2007年度院长奖学金特等奖，王灯山获院长奖学金优秀奖。万哲先、李邦河院士获研究院优秀教师奖。 (09/12/07)
- 实验室王灯山获2007年度中国科学院研究生院澳大利亚 BHP Billiton 奖学金，其指导李洪波相应获得导师科研奖。 BHP Billiton 奖学金由中国科学院研究生院与澳大利亚 BHP Billiton 公司联合奖学金评审委员会审核、评议，2007年科学院共有25位在学研究生获得这一奖励。 (09/06/07)
- 为庆祝万哲先院士80华诞，清华大学数学科学系和中国科学院系统科学研究所于2007年8月18-20日在京联合主办了代数及相关领域国际会议。8月19日举行了庆祝万哲先院士80华诞的晚宴。 详细 (08/21/07)
- 实验室李子明研究员、支丽红副研究员被聘为符号计算权威杂志“Journal of Symbolic Computation”编委。 (07/10/07)
- 在加拿大举行的第32届国际符号和代数计算会议(ISSAC'07)上，实验室李洪波研究员的论文
“A Recipe for Symbolic Geometric Computing: Long Geometric Product,
BREEFS and Clifford Factorization”获得本年度唯一的“ISSAC杰出论文奖”。
“ISSAC杰出论文奖”由“计算机科学协会(ACM)”符号与代数计算专业委员会颁发，
选自当年度在ISSAC上报告的论文。
ISSAC是符号和代数计算方面最权威的国际会议。这是数学机械化重点实验室成员第二次获得
这一奖项。
据介绍，李洪波研究员的论文为欧氏几何符号计算的简化提供了巨大的改进，以前数十万项
都难以完成的计算，现在只要一两项就能完成。该工作的基础是共形几何代数和零括号代数，
而它们都是由李洪波研究员等建立的。国际同行认为，该项工作是符号机器证明领域的一个
突破，其意义超出该领域本身。(07/07/07)
- 实验室学术报告：
The F5 algorithm and applications in Cryptology
Jean-Charles Faugere, SALSA Research Team (LIP6 and INRIA Rocquencourt) (CNRS), INRIA, University Paris 6
Time: Jun 28, 2007, 10:00am, Room: 712 (06/26/07)
- 实验室学术报告：
Differential Equations for Algebraic Functions
Frederic Chyzak, INRIA Rocquencourt, France
Time: Jun 27, 2007, 10:30am, Room: 712 (06/19/07)
- 6月5日下午，吴文俊院士应邀参加中国科技大学50周年校庆第二次新闻发布会，并在该校学术报告厅作了名为《中国传统数学的实质》专业报告。 详细 (06/06/07)
- 实验室学术报告：
Public Goods, Reciprocity and Enforcement
Karl Sigmund , 维也纳大学教授
Time: Jun 6, 2007, 9:00am, Room: 712 (06/01/07)
- 实验室学术报告：
Scalable Data Mining: System and Algorithms
Ruoming Jin, Kent State University, USA
Time: Jun 4, 2007, 4:00pm, Room: 309 (06/01/07)
- 实验室学术报告：
Features and Advantages of WME: a Web-based Mathematics Education System
Paul S. Wang, Kent State University, USA
Time: Jun 4, 2007, 3:00pm, Room: 309 (06/01/07)
- 实验室学术报告：
Integrable peaked soliton equations
Zhijun Qiao, University of Texas-Pan American
Time: Jun 1, 2007, 10:00am, Room: 712 (06/01/07)
- 实验室学术报告：
Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
Eric Schost, The University of Western Ontario
Time: May 28, 2007, 10:00am, Room: 712 (05/25/07)
- 实验室学术报告：
An overview of some complexity aspects for computations with triangular sets
Prof. Eacuteric Schost, Computer Science Department, University of Western Ontario
Time: May 25, 2007, 1:30pm, Room: 中关村教学楼N406 (05/24/07)
- 实验室学术报告：
Algebraic Splines for Molecular Modeling
Chandrajit Bajaj, University of Texas at Austin
Time: May 24, 2007, 3pm, Room: 703 (05/18/07)
- 实验室研究生王灯山、王怀富、张艳硕、袁春明被评选为2006-2007年三好学生，张志芳被评为优秀毕业生。 (05/15/07)
- 实验室学术报告：
Comprehensive Triangular Decomposition
Prof. Marc Moreno Maza, The University of Western Ontario.
Time: May 17, 2007, 3PM. Room 712
Component-level Parallelization of Triangular Decompositions
Prof. Marc Moreno Maza , The University of Western Ontario.
Time: May 21, 2007, 3PM, Room 712 (05/15/07)
- 实验室研究生张志芳获得由瑞士科技部设立的应用数学欧拉奖，并得到瑞士政府资助参加将于2007年7月在瑞士举行的第六届国际工业与应用数学大会。 (04/25/07)
- 即将于加拿大举行的第32届国际符号和代数计算会议(ACM ISSAC'07)上，本实验室成员所投的2篇论文都被接受。ISSAC是符号和代数计算方面最权威的国际会议。二篇被接受论文是：
J.S. Cheng, X.S. Gao, and C.K. Yap, Complete Numerical Isolation of Real Zeros in General Triangular Systems.
H. Li, A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization. （04/10/07）
- 实验室2007年开放课题基金申请已经开始，详情请见申请指南。 （04/05/07）
- 中国科学院数学机械化重点实验室第一届学术委员会第四次会议于2007年3月24日召开。 详细 （03/26/07）
- 第2届中美符号计算联合研讨会于2007年3月5日至3月9日在浙江大学举行。该研讨会得到中美双方的自然基金委员会、中科院数学与系统科学院、系统科学研究所等单位的资助。主办单位是中科院数学机械化重点实验室、北京航空航天大学理学院、浙江大学数学系和美国北卡罗莱纳州立大学数学系。共有39人参加会议，其中美方11人。 研讨会包括4个短课程（short courses），15个学术报告(research presentations) 和小组讨论(group discussions)。中美双方的学者和研究生在几何约束求解、多项式因式分解、混合计算和微分差分方程求解等方面进行了学术交流和探讨，为进一步的合作打下了坚实的基础。会议宣传画和会议日程 （03/26/07）
- 2月8日，科技部李学勇副部长与国家奖励办负责人看望了吴文俊院士。李学勇副部长向吴文俊致以新春问候，并询问了他的生活和研究工作情况。李学勇副部长还与吴文俊就我们国家的基础研究等问题进行了愉快的交谈。李学勇副部长对吴文俊院士获得“劭逸夫数学科学奖”表示祝贺。吴文俊院士表示，数学机械化研究长期得到科技部的支持，有一个稳定的环境，才得以有今天的成果与研究队伍。吴文俊院士还表示，希望数学机械化方法可以得到应用，为国家的发展做出贡献。(02/09/07)
- 新年刚过，全国人大常委会副委员长、中国科学院院长路甬祥在相关人员的陪同下，来到吴文俊院士家里，与吴院士就数学与现实生活的结合、鼓励青年科学家开拓新的方向、互联网在中国的应用进展与科学需求等问题，进行了深切的交谈。（01/29/07）
- 实验室支丽红副研究员因在符号数值混合计算方面的工作获得2006年度“关肇直青年研究奖”。支丽红与合作者将结构矩阵方法引入到混合计算，提出了GCD、因式分解这些基本运算的快速混合计算方法以及近似超定多项式方程组求解方法。（01/25/07）
|
