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的论文都是根据其科学新颖性和卓越性进行评判、接受或拒绝的。每一份提交的论文都分配给项目委员会的三名成员,每次提交都会获得两份或更多的裁判报告。我们感谢项目委员会成员和外部评审员所做的全面而重要的工作,他们的名字出现在下面的页面上,并感谢所有作者和讲师的贡献。