ISSAC公司

2015年符号和代数计算国际研讨会（ISSAC 2015）是符号计算和计算机代数研究的首要会议。ISSAC 2015在英国巴斯大学举行，是该系列的第40次会议，始于1966年，当时是具有开创性意义的ACM符号和代数操作研讨会。ISSAC 2015由计算机协会（ACM）赞助，特别是ACM符号和代数操作特别兴趣小组（SIGSAM）。此次会议还得到了伦敦数学学会（LMS）和Maplesoft的捐款支持。作为一项科学卫星活动，并行符号计算（PASCO）研讨会于2015年国际空间科学与应用委员会（ISSAC）之后立即在巴斯举行。

ISSAC会议展示了计算机代数和符号数学计算所有方面的原创研究成果，包括：

算法方面：

• 精确和符号线性代数、多项式代数和微分代数

• 符号数字、同伦、摄动和级数方法

• 计算代数几何、群论和数论

• 计算机算术

• 求和、递推方程、积分、ODE和PDE的解

• 纯数学和应用数学其他领域的符号方法

• 代数算法的复杂性和代数复杂性

软件方面：

• 符号计算包和系统的设计

• 符号计算的语言设计和类型系统

• 数据表示

• 考虑现代硬件

• 算法实现和性能调整

• 数学用户界面

应用方面：

• 扩展计算机代数算法或系统的当前限制、在新领域或新方法中使用计算机代数或将其应用于具有广泛影响的情况的应用程序。

ISSAC 2015项目包括邀请讲座、教程、贡献研究报告、海报会议和软件展示会议。这些会议记录包含所有被接受的论文，以及受邀演讲和教程的摘要。

ISSAC项目委员会选择了43篇论文发表在这些论文集上。所有提交给ISSAC 2015的论文都是根据其科学新颖性和卓越性进行评判、接受或拒绝的。每一份提交的论文都分配给项目委员会的三名成员，每次提交都会获得两份或更多的裁判报告。我们感谢项目委员会成员和外部评审员所做的全面而重要的工作，他们的名字出现在下面的页面上，并感谢所有作者和讲师的贡献。