ISSAC 2018:美国纽约州纽约市
曼努埃尔·考尔斯 , 阿列克谢·奥夫钦尼科夫 , 埃里克·肖斯特 :
2018年ACM符号和代数计算国际研讨会论文集,2018年ISSAC,美国纽约州纽约市,2018年7月16-19日。 ACM公司 2018
受邀会谈
教程
Shivkumar Chandrasekaran公司 , 尼廷·戈文达拉扬 , Abhejit Rajagopal公司 :
位移和低秩结构矩阵的快速算法。 17-22 斯蒂芬·林顿 :
GAP 4 at Twenty-one-算法、系统设计和应用。 23-24 丹尼尔·S·罗氏 :
我们能(也不能)用稀疏多项式做什么? 25-30
已投稿论文
青山彻 , Masayuki Noro公司 :
计算多项式理想最小关联素数和根的模算法。 31-38 穆雷·A·巴卡图 , 马克西米利安·亚罗斯切克 :
有理函数系数一阶线性差分系统的去角化。 39-46 穆雷·A·巴卡图 , Joelle Saadé , 雅克·亚瑟·韦尔 :
利用特征环对奇异线性微分系统进行形式化约简的一种新方法。 47至54 埃文格洛斯·巴佐斯 , Ioannis Z.埃米利斯 , 简·勒格斯克(Jan Legersk) , Elias P.Tsigaridas公司 :
空间最小刚性图的最大实嵌入数。 55-62 马蒂亚斯·本德 , Jean-Charles Faugère女士 , Angelos Mantzaflaris公司 , Elias P.Tsigaridas公司 :
具有两个支撑的双线性系统:Koszul结式矩阵、特征值和特征向量。 63-70 马蒂亚斯·本德 , Jean-Charles Faugère女士 , Elias P.Tsigaridas公司 :
走向混合Gröbner基算法:多齐次和稀疏情况。 71-78 杰雷米·伯托米厄 , Jean-Charles Faugère女士 :
用于计算线性递归关系的基于多项式分割的算法。 79-86 内森·布利斯 , 蒂莫西·达夫 , 安东·莱金 , 杰夫·索马斯 :
单值问题求解器:顺序和并行。 87-94 阿林·博斯坦 , Frédéric Chyzak奶酪 , 皮埃尔·莱雷斯 , 布鲁诺·萨维 :
广义Hermite约化、创造性伸缩和D-有限函数的定积分。 95-102 佛罗伦特·布莱哈德 :
线性常微分系统切比雪夫近似解的类牛顿验证方法。 103-110 柯蒂斯·布莱特 , 伊利亚斯·科齐里亚斯 , 阿尔伯特·海因勒 , 维杰·加内什 :
通过编程SAT枚举复杂Golay对。 111-118 泽维尔·卡鲁索 , 戴维·罗 , 特里斯坦·瓦肯 :
ZpL:一个p-adic精密封装。 119-126 陈静伟(Jingwei Chen) , 达米安·斯特勒 , 吉尔斯·维拉德 :
计算正交格的LLL约化基。 127-133 陈少时 , 郝度 , 李子明 :
基元扩展中的加法分解。 135-142 蒂埃里组合 , 卡米洛·萨纳布里亚 :
4维辛Kovacic算法。 143-150 Jean-Guillaume Dumas女士 , Clément Pernet公司 :
揭示秩分布矩阵的对称不确定三角因式分解。 151-158 马克·吉斯布雷希特 , 约瑟夫·哈拉尔德森 , 乔治·拉巴恩 :
计算附近的非平凡Smith形式。 159-166 帕斯卡·乔治 , 文森特·奈格 :
最小近似基的证明。 167-174年 何塞·戈梅斯·托雷西拉斯 , 弗朗西斯科·哈维尔·洛比略 , 加布里埃尔·纳瓦罗 :
计算幂等卷积码的自由距离。 175-182 安德烈亚·吉多林 , 席酿酒师安娜罗美欧 :
广义谱序列的有效计算。 183-190年 迪迪埃·亨利安 , 西蒙·纳尔迪 , 穆罕默德·萨弗里·埃尔丁 :
退化可行集半定规划的精确算法。 191-198 乔里斯·范德霍温 , 罗宾·拉里厄 :
关于充分正则Gröbner基的二元多项式的快速约简。 199-206年 约翰内斯·霍夫曼 , 维克托·列万多夫斯基 :
具有足够交换性的矿石定位构造算法。 207-214 亚历山大·胡普克 :
一些无限矩阵群的构造性隶属度检验。 215-222 埃尔达尔·伊马莫格鲁 , 埃里希·卡尔托芬 , 杨正峰 :
具有任意正交多项式基的稀疏多项式插值。 223-230 安东尼奥·吉梅内斯·帕斯特 , 维罗妮卡·皮尔文 :
具有DD-Finite函数的算法算法。 231-237 迪帕克·卡普尔 , 东路 , 迈克尔·B·莫纳根 , 姚阳 , 王定康 :
一种计算参数多元多项式GCD的有效算法。 239-246 阿维纳什·库尔卡尼 , 岳仁 , 马赫萨·赛亚里·纳明 , 伯恩德·斯图尔姆费尔斯 :
真实空间六边形及其三角切线。 247-254 亚历山大·莱文 :
非自反素微分理想的二元维数多项式: 一个翻译的案例。 255-262 李文鼎 , 陈明诚 , 蒲春国 , 陈茂成 , 伯阴阳 :
Frobenius加性快速傅里叶变换。 263-270 东路 , 王定康 , 肖方辉 , 周杰(音译) :
将GVW算法扩展到局部环。 271-278 维克托·马格伦 , 穆罕默德·萨弗里·埃尔丁 :
论波利亚和普蒂纳的精确表述。 279-286 陈其谋 , 杨白 :
自顶向下三角分解中多项式集的Chordality。 287-294 文森特·内格尔 , 约翰·罗森基勒 , 格里戈里·索洛马托夫 :
计算矩形多项式矩阵的Popov和Hermite形式。 295-302 伊格纳西奥·加西亚·马尔科 , 帕斯卡·科伊兰 , 蒂莫西·佩卡特 :
仿射幂和的多项式等价问题。 303-310 格勒布·波古丁 , 阿尔格内斯·桑托 :
无冗余三角分解。 311-318 玛丽亚·德拉普恩特 , 佩德罗·L·克拉维里亚 :
Alcoved多面体的体积和Mahler猜想。 319-326 托马斯·雷西奥 , J.拉斐尔·森德拉 , 卡洛斯·维拉里诺 :
零的重要性。 327-333 科尔迪安·里纳 , 穆罕默德·萨弗里·埃尔丁 :
等变半代数系统的实根搜索。 335-342 丹尼尔·罗氏 :
快速矩阵乘法和逆运算中的误差校正。 343-350 穆罕默德·萨弗里·埃尔丁 , 杨志宏 , 李洪志 :
多项式系统实根计算的复杂性。 351-358 佐藤洋介 , 藤崎良彦 , Sekigawa广岛 :
参数零维多元多项式理想根的连续性。 359-365 邵长鹏 , 李洪波 :
基于Tableau操作的括号多项式的快速拉直算法。 367-374 亚当·斯特泽本斯基 :
基于CAD的有理函数极限计算方法的比较。 375-382 特里斯坦·瓦肯 , 蒂鲍特·韦伦 , 横山和弘 :
关于仿射热带F5算法。 383-390 吉尔斯·维拉德 :
关于广义二元多项式的结式的计算。 391-398 胡安·徐 , 迈克尔·A·伯尔 , 芝麻 :
证明同构连续路径的一种方法:单变量情况。 399-406
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)