跳到主要内容
ISSAC’09:2009符号与代数计算国际研讨会论文集
ACM公司2009年诉讼
发布者:
  • 计算机协会
  • 纽约
  • 纽约州
  • 美国
会议:
ISSAC’09:符号和代数计算国际研讨会首尔大韩民国2009年7月28日至31日
国际标准图书编号:
978-1-60558-609-0
出版:
2009年7月28日
推荐ACM DL
已经是订户了吗?登录
下次会议
2024年7月16日至19日
罗利,北卡罗来纳州,美国
文献计量学
跳过抽象节
摘要

由ACM/SIGSAM和韩国高等研究院(KIAS)联合主办的2009年符号和代数计算国际研讨会(ISSAC 2009)将于2009年7月28日至7月31日在韩国首尔KIAS举行。这是该系列中的第34次会议,最初在北美和欧洲轮流举行,始于1966年在华盛顿特区举行的具有开创性意义的ACM符号和代数操作研讨会。这是ISSAC首次在韩国举行,第三次在亚洲举行。

会议致力于计算机代数和符号计算的研究,包括以下内容:

  • 算法数学。代数、符号和符号-数字算法。简化、函数操作、方程、求和、积分、ODE/PDE、线性代数、数论、群论和几何计算。

  • 计算机科学。符号计算中的理论和实际问题。系统、问题解决环境、用户界面、软件、库、用于符号计算的并行/分布式计算和编程语言、分析、基准测试、计算机代数算法的复杂性、自动微分、代码生成、数学数据结构和交换协议。

  • 应用。以基本或新颖的方式使用代数、符号或符号数字计算进行问题处理。工程、经济和金融、物理和生物科学、计算机科学、逻辑、数学、统计、教育。

ISSAC 2009项目包括受邀演讲、贡献论文、海报、教程和软件演示。这些会议记录包含所有被接受的论文,以及教程和受邀演讲的摘要。海报摘要将出现在未来一期的《计算机代数中的ACM通信》上。今年的会议与SNC 2009(第三届符号数字计算国际研讨会)同时举行,该研讨会将于2009年8月3日至5日在日本京都举行。

项目委员会在仔细评估后选择了出现在这些程序中的47篇论文,包括每次提交的两份或更多裁判报告。我们衷心感谢项目委员会成员和外部评审员所做的深入而重要的工作,他们的名字出现在下面的页面上,并感谢所有作者和讲师的贡献。

邀请谈话
计算折纸中的符号和代数方法:邀请演讲

在这次演讲中,我将展示符号和代数方法在计算折纸术中的重要性。我讨论了Huzita的折纸公理化和抽象折纸的代数图重写。前者用于与算法有关的。。。

邀请谈话
高性能数学程序的自动综合

计算平台的发展正处于历史转折点。CPU频率已经停滞(2004年约为3GHz),这意味着未来的性能提升只能通过以多核和……的形式增加并行度来实现。。。

贡献者
  • 德雷塞尔大学
  • 韩国高等研究院
  1. 2009年符号和代数计算国际研讨会论文集

      建议

      接受率

      总体验收率395属于838提交,47%
      年份提交认可的费率
      ISSAC’201025857%
      ISSAC’15714361%
      ISSAC’14965153%
      ISSAC’12864653%
      ISSAC’101104541%
      ISSAC’03年683653%
      ISSAC'02年863541%
      ISSAC’00984041%
      ISSAC’961214134%
      总体83839547%