| 百年纪念馆 | 高川纪念馆 |
|---|
| | |
| 7月23日 | ISSAC 2014年 |
|---|
| 8:15- | 登记处开放 | |
| 8:45-9:00 | 开幕词 | |
| 9:00-10:00 | 受邀演讲：Noriko Arai
机器数学 | |
| 10:00-10:20 | 咖啡休息时间 |
| 10:20-11:35 | 计算机辅助设计
主席：李洪志 | 快速乘法
主席：埃里希·卡尔托芬 |
| 韩敬军、戴丽云和夏碧灿。
CAD投影中用GCD计算构造较少的开放单元 |
弗朗索瓦·勒加尔。
张量的幂与矩阵的快速乘法 |
| 陈昌波（Changbo Chen）和马克·莫雷诺（Marc Moreno Maza）。
基于正则链的圆柱代数分解量词消去 | 乔里斯·范德霍温（Joris van der Hoeven）。
更快的轻松乘法 |
| 亚当·斯特泽波恩滑雪。
基于局部投影的柱面代数分解 | 孟玲川和杰里米·约翰逊。
TFT的高性能实现 |
| 11:35-11:55 | 咖啡休息时间 |
| 11:55-12:45 | CAD和牛顿迭代
主席：Agnes Szanto | 稀疏多项式
主席：Mohab Safey El Din |
| Madalina Erascu和Hoon Hong。
使用实量词消除法合成最佳数值算法（案例研究：平方根计算） | 迈克尔·萨格拉洛夫。
计算稀疏多项式实根的近优算法 |
| 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）、伊恩·海伍德（Ian Haywood）和阿兰·利德尔（Alan Liddell）。
牛顿同伦的后验证明算法 | 布鲁诺·格雷内（Bruno Grenet）。
计算缺项多项式的低阶因子：Newton-Puseux方法 |
| 12:45-14:20 | 午餐休息时间 |
| 14:20-15:35 | 软件展览和海报会议 | |
|
| 软件展示会 | 海报环节 |
乔里斯·范德霍温和格雷戈尔·勒塞夫
实践中的稀疏多项式插值
|
伊祖秀明
迭代函数方程形式解的Maple包itsol |
| Changbo Chen、Svyatoslav Covanov、Farnam Mansouri、Marc Moreno Maza、，谢宁和谢玉珍基本多项式代数子程序 |
| |
| 15:35-15:55 | 咖啡休息时间 |
| 15:55-17:10 | 伸缩式
主席：Joris van der Hoeven | 几何、拓扑
主席：佐藤义介 |
| 陈少世、冯汝永、李子明和迈克尔·辛格。
平行伸缩和参数化Picard——维西奥理论 | Yacine Bouzidi、Sylvain Lazard、Guillaume Moroz、Marc Pouget和Fabrice Rouiller。
二元系统分离线性形式计算的改进算法 |
| 陈少石、曼努埃尔·考尔斯和克里斯托夫·库赞。
一种广义Apagodu-Zeilberger算法 | Daouda Niang Diatta、Fabrice Rouillier和Marie Françoise Roy。
关于平面曲线拓扑的计算 |
| 曼努埃尔·考尔斯（Manuel Kauers）。
D-有限闭包性质的界 | 大卫·塞维利亚、J·拉斐尔·森德拉和卡洛斯·维拉里诺。
无投影基点的参数化曲面覆盖 |
| 17:10-17:20 | 小吃时间 | |
| 17:20-17:50 | 会议1（SIGSAM）|午休 | |
| 17:50-18:50 | 第2次会议（ISSAC） | |
| 百年纪念堂 | 高川纪念馆 |
|---|
| | |
| 7月24日 | ISSAC 2014年 |
|---|
| 8:30- | 登记处开放 | |
| 9:00-10:00 | 受邀演讲：David Stoutemyer
包含一些数值区间和/或浮点数的非数值表达式的模糊简化 | |
| 10:00-10:20 | 咖啡休息时间 |
| 10:20-11:35 | 稀疏插值I。
主席：Mark Giesbrecht | 多元多项式系统I。
主席：Franz Winkler |
| 马库斯·巴泽尔和戈拉夫·金达尔。
稀疏多元多项式插值的一种新的确定性算法 | 特里斯坦·瓦科恩（Tristan Vaccon）。
有限精度完全离散估值域上的矩阵-F5算法 |
| Erich Kaltofen和Clément Pernet。
稀疏多项式插值码及其超过最小距离一半的译码 | Jean-Charles Faugère、Pierre-Jean Spaenlehauer和Jules Svartz。
稀疏Gröbner基：未混合情形 |
| 埃里希·卡尔托芬和杨正峰。
评估中错误率高的稀疏多元函数恢复 | Jean-Charles Faugère、Pierrick Gaudry、Louise Huot和Guél Renault。
Gröbner基序的次立方变换。概率方法。 |
| 11:35-11:55 | 咖啡休息时间 |
| 11:55-12:45 | 稀疏插值II。
主席：李文新 | 单变量多项式
主席：David Jeffrey |
| 安德鲁·阿诺德（Andrew Arnold）、马克·吉斯布雷希特（Mark Giesbrecht）和丹尼尔·罗奇（Daniel Roche）。
有限域上基于低阶单位根的稀疏插值 | 康斯坦丁·齐格勒。
缓和分解和碰撞 |
| Andrew Arnold和Daniel S.Roche。
基于随机Kronecker替换的多元稀疏插值 | 奥斯卡·加西亚-莫琴、多明戈·戈梅斯·佩雷斯、詹姆·古铁雷斯、罗纳德·里特曼和卢多·托尔胡赞。
MMO问题 |
| 12:45-14:20 | 午餐休息时间 |
| 14:20-15:35 | 合作伙伴会谈和海报会议 | |
|
| 合作伙伴会谈 | 海报环节 |
Maplesoft:Jürgen Gerhard公司
枫树18的新功能 |
NII：松崎拓哉（Takuya Matsuzaki）和岩井秀雄（Hidenao Iwane）
基于语法驱动自然语言的数学问题自动解决语言理解与实量词消除
|
| Wolfram研究公司：Daniel Lichtblau
Wolfram Mathematica的一些新特性 |
| |
| 15:35-15:55 | 咖啡休息时间 |
| 15:55-17:10 | 微分代数，
主持人：陈少石 | 多元多项式系统2。
主席：Jean-Charles Faugère |
| 卡洛斯·阿雷切。
参数化二阶线性微分方程微分Galois群的计算 | 伊奥尼斯·埃米利斯和雷蒙达斯·维达纳斯。
半混合系统的根计数及其在纳什均衡计数中的应用 |
| Alin Bostan、Thierry Combot和Mohab Safey El Din。
计算平面参数化齐次势的必要可积条件 | 伯纳德·穆兰（Bernard Mourrain）和菲利普·特雷布歇（Philippe Trebuchet）。
保守派边界基础 |
| Alin Bostan、Xavier Caruso和Eric Schost。
计算p-曲率特征多项式的快速算法 | 曼弗雷德·米米纳尔（Manfred Minimair）。
外来因素的随机检测 |
| 17:25-18:15 | 宴会巴士（17:45发车） |
| 18:30-21:00 | 宴会 |
| 21:00- | 步行去最近的车站（5分钟） |
| 百年纪念堂 | 高川纪念馆 |
|---|
| | |
| 7月25日 | 伊萨克2014 |
|---|
| 8:30- | 登记处开放 | |
| 9:00-10:00 | 受邀演讲：B.Sturmfels
具有秩约束的矩阵的最大似然 | |
| 10:00-10:20 | 咖啡休息时间 |
| 10:20-11:35 | 微分方程的求解
主席：詹姆斯·达文波特 | 适用代数
主席：卢克·奥丁 |
| 乔治·格拉塞格（Georg Grasegger）。
代数常微分方程的根解 | 乔纳森·考什和沃尔克·迪克特。
图产品中的对数空间计算 |
| 苏西·马达、穆莱·巴卡图和哈桑·阿巴斯。
奇异摄动线性微分系统的约简 | Elizabeth Gross和Jose Rodriguez。
存在数据零点时的最大似然几何 |
| 苏西·马达、穆莱·巴卡图和哈桑·阿巴斯。
一类二元Pfaffian系统的形式解 | 托马斯·卡勒（Thomas Kahle）、罗伯特·克龙（Robert Krone）和安东·莱金（Anton Leykin）。
等变格生成器和马尔可夫基 |
| 11:35-11:55 | 咖啡休息时间 |
| 11:55-12:45 | 递归方程
主席：维克托·列万多夫斯基 | 线性代数I。
主席：阿恩·斯托约翰恩 |
| R Corless、David Jeffrey和Fei Wang。
一些插值非线性递推关系的渐近分析 | Wei Zhou和George Labahn。
多项式矩阵的单模完备 |
| 弗雷德里克·约翰逊。
使用矩形分裂评估参数完整序列 | 萨鲁奇、达米安·斯特雷、吉勒斯·维拉德和伊万·莫雷尔。
使用最高有效位降低LLL |
| 12:45-14:20 | 午餐休息时间 |
| 14:20-15:35 | 代数算法
主席：Tateaki Sasaki | 微分算子
主席：Franz Winkler |
| 李洪波、邵长鹏、黄磊和刘岳。
括号多项式之间的归约 | Jose Gomez-Torrecillas、F.J.Lobillo和Gabriel Navarro。
非交换PID上模的同构 |
| Katsusuke Nabeshima和Shinichi Tajima。
关于计算与半拟齐次奇点和标准基相关的参数局部上同调类的有效算法 | 马克·吉斯布雷希特（Mark Giesbrecht）、阿尔伯特·海因勒（Albert Heinle）和维克托·列万多夫斯基（Viktor Levandovskyy）。
$n$变量中的因子分解微分算子 |
| 卢卡·德费奥（Luca De Feo）、贾瓦德·多利斯卡尼（Javad Doliskani）和埃里克·斯科斯特（Eric Schost）。
有限域代数闭包的快速算法 | Reinhold汉堡。
具有椭圆函数系数的高阶线性微分方程的求解 |
| 15:35-15:55 | 咖啡休息时间 |
| 15:55-17:10 | 线性代数II。
主席：George Labahn | |
| 罗曼·勒布雷顿和帕斯卡·乔治。
在线顺序基算法及其对块Wiedemann算法的影响 | |
| Jean-Guillaume Dumas和Erich Kaltofen。
线性代数中的本质最优交互证书 | |
| 阿恩·斯托约翰恩（Arne Storjohann）和杨士云（Shiyun Yang）。
线性无关预言及其在矩形和低阶线性系统中的应用 | |
| 17:10-17:25 | 关闭 | |
