国家重点基础研究发展计划(973)项目.doc

文档介绍：蚈蒆国家重点基础研究发展计划(973)项目螃“数学机械化方法及其在信息技术中的应用”膁学术交流与汇报会聿袄蒂第二届全国计算机数学学术会议芁(CM2008)蒀蚆薅莁蚇莈芄莁肈螅肂2008年10月24-27日蒁青岛蒈蒇袁目录薁衿973项目学术交流与汇报会日程羅第二届全国计算机数学学术会议日程袄报告摘要蚁会议须知羆蚇第二届全国计算机数学学术会议组织蚃螀主办:中国数学学会计算机数学专业委员会莇承办:中国石油大学膅中国科学院系统科学研究所蒂中:高小山袇程序委员会:李洪波(主席)、曾振柄、陈永川、李子明、蒅杨路、刘木兰、查红彬、陈发来、李华羀组织委员会:李树荣(主席)、周代珍、黄雷腿芅国家重点基础研究发展计划(973)项目芄“数学机械化方法及其在信息技术中的应用”羀薀学术交流与汇报会肇羃地点:青岛金港大酒店肀时间:2008年10月24日蚇蒄09:00-09:30 项目介绍、领导讲话螁09:30-10:10 数学机械化理论与核心算法膀10:10-10:30 休息膇10:30-11:10 差分与微分方程的机械化算法膆11:10-11:50 实几何与实代数的高效能算法螄12:00-14:00 午餐芀14:00-14:40 数学机械化与信息安全和编码基础理论研究薈14:40-15:20 数学机械化在生物特征识别中的应用蚄15:20-15:40 休息薃15:40-16:20 数学机械化在几何建模中的应用莀16:20-17:00 基于网络的数学机械化软件开发罿17:00 总结莆18:00- 晚餐莂葿莀袄莅蕿蒇第二届全国计算机数学大会日程薆膄(CSCM2008)蕿袈2008年10月25-27日芈青岛金港大酒店袃虿艿10月25日蚆地点:***蚂蝿08:30-09:00 开幕式蚀