跳到主要内容
10.1145/1993886acm会议书籍页面出版物页面伊萨克会议记录会议集合
ISSAC’11:第36届符号和代数计算国际研讨会论文集
ACM公司2011年诉讼
出版商:
  • 计算机协会
  • 纽约
  • 纽约州
  • 美国
会议:
ISSAC’11:符号和代数计算国际研讨会圣何塞加利福尼亚美国2011年6月8日至11日
国际标准图书编号:
978-1-4503-0675-1
出版:
2011年6月8日
赞助商:
推荐ACM DL
已经是订户了吗?登录
下次会议
2024年7月16日至19日
罗利,北卡罗来纳州,美国
文献计量学
跳过抽象节
摘要

ISSAC 2011是一系列国际会议的延续,旨在介绍符号和代数计算领域的最新进展。该系列的第一次会议(1966年)在华盛顿特区举行,由计算机协会(ACM)赞助。从那时起,会议的缩写名称从SYMSAM、SYMSAC、EUROSAM、EUROCAL演变为现在的ISSAC。第36次会议于6月8日至11日在加利福尼亚州圣何塞举行。ISSAC首次加入联邦计算研究会议(FCRC)。FCRC将一系列会议和研讨会组织成一个为期一周的会议,以促进计算机科学和工程不同领域的研究人员之间的交流。

ISSAC的主题包括但不限于:

  • 算法方面:精确和符号线性代数、多项式代数和微分代数。符号数字、同伦和级数方法。计算几何、群论、数论、量词消去和逻辑。求和、递归方程、积分、常微分方程和偏微分方程。理论和实践方面,包括代数复杂性,以及重要特殊情况的技术。

  • 软件方面:包和系统的设计,数据表示。并行和分布式代数计算,现代硬件的考虑因素。用户界面问题,以及计算机代数系统与其他软件的使用,如数字图书馆系统、模拟和优化、自动定理证明、计算机辅助设计、自动微分和课件。

  • 应用方面:扩展了符号和代数计算的当前限制,以新的方式使用它,或将其应用于具有广泛影响的情况,特别是在自然科学、生命科学、工程、经济和金融以及教育领域。

ISSAC 2011的特色是邀请演讲、贡献论文、教程、海报会议和软件演示。本卷包含会议上提交的所有论文,以及受邀演讲和教程的摘要。

共提交了83篇论文;每一份都分发给了项目委员会成员和外部评审员。审查包括对某些文件的反驳阶段。每次提交的论文平均获得3.5份裁判报告,并选出44篇论文。它们代表了当今计算机代数研究的各个方面,从纯粹的理论结果到软件开发和重要应用。它们还说明了该领域在经历了半个世纪的历史后的活力及其未来前景。

贡献者
  • 滑铁卢大学
索引项已通过自动分类分配给内容。

建议

接受率

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