ISSAC 2016
最新消息
重要日期
会议
常规论文
|
|
|
软件演示文稿
墙报交流
会议主题
精确和符号线性代数、多项式代数和微分代数 符号数字、同伦、摄动和级数方法 计算代数几何、群论和数论、量词消去和逻辑 计算机算术 求和、递推方程、积分、ODE和PDE的解 纯数学和应用数学其他领域的符号方法 代数算法的复杂性和代数复杂性
符号计算包和系统的设计 符号计算的语言设计和类型系统 数据表示 现代硬件的注意事项 算法实现和性能调整 数学用户界面 与数字图书馆、课件、模拟和优化、自动理论证明、计算机辅助设计和自动区分等系统一起使用。
扩展计算机代数算法或系统当前极限的应用程序,在新领域或新方式中使用计算机代数,或将其应用于具有广泛影响的情况。
受邀演讲人
-
Ioannis Z.埃米利斯 , 雅典大学; -
J.伊恩·蒙罗 ,美国大学 滑铁卢; -
卡斯滕·施耐德 、RISC、Johannes 开普勒大学。
教程
卫星研讨会/会议
ISSAC以前的版本
ISSAC 2015,英国巴斯 ISSAC 2014,日本神户 ISSAC 2013,美国马萨诸塞州波士顿 ISSAC 2012,法国格勒诺布尔 ISSAC 2011,美国加利福尼亚州圣何塞 ISSAC 2010,德国慕尼黑 ISSAC 2009,韩国首尔 ISSAC 2008,奥地利林茨 所有过往版本