International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX

国际符号计算应用会议（ACA-2004）；

• 批准号: 0435826
• 负责人: Quoc-Nam Tran
• 金额: $ 1万
• 依托单位: Lamar University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-06-15 至 2005-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0435826&HistoricalAwards=false
• 关键词: International; Conference; Applications; Symbolic; Computation

The workshop will consist of over ten sessions organized by prominent researchers who will focus on their own application areas including computer aided geometric design, geometric modeling and computation, robotics and kinematics, mechanics, high energy physics, economics and finance, theorem provers, types and specifications, differential equations, the symbolic numeric interface, education, engineering, science and applied mathematics. The researchers that are participating in this workshop are among the best in the world. The list of sessions is in the proposal. The workshop will be held in Beaumont, Texas.

研讨会将由杰出的研究人员组织十多场会议，他们将专注于自己的应用领域，包括计算机辅助几何设计，几何建模和计算，机器人和运动学，力学，高能物理，经济学和金融学，定理证明，类型和规范，微分方程，符号数值界面，教育，工程，科学和应用数学。参加这次研讨会的研究人员都是世界上最好的。会议清单载于提案中。研讨会将在德克萨斯州的博蒙特举行。