2020年第22届CASC:奥地利林茨
弗朗索瓦·布利埃 , 马修·英格兰 , 帖木儿·M·萨迪科夫 , 叶夫根尼·沃罗日佐夫 :
科学计算中的计算机代数——第22届国际研讨会,CASC 2020,奥地利林茨,2020年9月14日至18日,会议记录。 计算机科学课堂讲稿 12291, 施普林格 2020 ,国际标准图书编号 978-3-030-60025-9 奥维迪乌·拉杜列斯库 :
《生物系统的热带几何》(特邀演讲)。 1-13 维尔纳·M·塞勒 , 马提亚斯·塞伊 :
隐式微分方程奇异性的代数和几何分析(受邀演讲)。 14-41 西蒙·阿伯拉德 :
函数域积分基计算的复杂性。 42-62 谢尔盖·阿布拉莫夫 , 丹尼斯·赫梅尔诺夫 , 安娜·A·里亚本科 :
截断无穷幂级数在线性常微分方程系数中的作用。 63-76 埃迪克·艾利安 , 米哈伊尔·马利赫 , 列奥尼德·塞瓦西亚诺夫 , 于莹 :
关于守恒差分格式求解三体问题的周期近似解。 77-90 马可·博德拉托 , 阿尔贝托·扎诺尼 :
具有长不平衡系数的单变量多项式作为二变量平衡多项式:Toom-Cook乘法。 91-107 亚历山大·布兰特 , 马哈萨·卡泽米 , 马克·莫雷诺·马扎 :
带BPAS库的幂级数算法。 108-128 克里斯托弗·布朗 , 斯科特·麦卡勒姆 :
Lazard圆柱代数分解方法的改进。 129-149 田晨 , 迈克尔·莫纳根 :
多项式因式分解的两种稀疏多元Hensel提升算法的复杂性和并行实现。 150-169 伯明驰(Boming Chi) , 阿基拉·特瑞 :
基于Bézout矩阵的GPGCD算法。 170-187 罗伯特·M·科尔利斯 , 马克·吉斯布雷希特 , Leili Rafiee Sevyeri公司 , B.大卫·桑德斯 :
关于参数化线性系统求解。 188-205 Algirdas Deveikis公司 , 亚历山大·古塞夫 , 弗拉基米尔·普·格特 , 塞尔格·I·维尼茨基 , 安德烈·戈兹兹 , 亚历克桑德拉·佩德拉克 , 塞斯特米尔·伯迪克 , 乔治·S·波哥珊 :
计算O(5)˟SU(1,1)群正交基的符号数字算法。 206-227 德米特里·迪瓦科夫 , Anastasia A.Tiutiunnik公司 , 安东·塞瓦西亚诺夫 :
绝热波导模几何特性的符号数值研究。 228-244 阿米尔·哈希米 , 乔斯·海因茨 , 路易斯·帕尔多 , 巴勃罗·索莱诺 :
零维Gröbner碱构造的内在复杂性。 245-265 瓦伦丁·埃尔特戈夫 , 塔蒂亚娜·蒂托连科 :
用计算机代数方法研究两相连刚体系统的运动。 266-281 芮娟静 , 马克·莫雷诺·马扎 , 德拉拉姆·塔拉什拉菲 :
Fourier-Motzkin消除的复杂性估计。 282-306 拉斐尔·乔利 :
Scala代数系统进展报告。 307-315 Elizaveta加里尼亚 , 尤里·斯莫尔金 , 亚历克谢·俞(Alexei Yu)。 乌特谢夫 :
多项式矩阵族的Routh-Hurwitz稳定性。 真实的干扰。 316-334 埃里希·卡尔托芬 , Clément佩内特 , 杨志宏 :
带误差修正的Hermite有理函数插值。 335-357 曼努埃尔·考尔斯 , 雅各布·穆斯堡尔 :
小稀疏矩阵的好枢轴。 358-367 丹妮拉·考夫曼 , 阿明·比尔 :
乘法器验证的Nullstellensatz-Proofs。 368-389 佐尔坦·科瓦奇 :
通过乐高、GeoGebra和CindyJS的“数学机器”。 390-401 塞巴斯蒂安·林德纳 , 洛朗·伊姆伯特 , 小迈克尔·雅各布森。 :
平衡NUCOMP。 402-420 杨柳 , 德米特里·A.利亚霍夫 , 多米尼克·L·米歇尔斯 :
任意阶标量常微分方程的接触线性化。 421-430 齐銮 , 维克多·Y·潘 , Won-geun Kim先生 , 维塔利·扎德曼 :
通过细分迭代实现快速数值单变量多项式寻根。 431-446 Katsusuke Nabeshima公司 :
计算半加权均匀孤立超曲面奇异性的参数标准基。 447-460 维克多·Y·潘 :
稀疏多项式细分寻根的加速。 461-477 亚历山大·普罗科彭亚 , 穆赫塔尔Zh。 明利巴耶夫 , Oralkhan Baisbayeva公司 :
研究中心引力场中非静止三轴物体平移-旋转运动的解析计算。 478-491 哈米德·拉科伊 , 奥维迪乌·拉杜列斯库 , 托马斯·斯特姆 :
检测可逆化学反应网络稳态理想二项式的线性代数方法。 492-509 哈米德·拉库伊 , 托马斯·斯特姆 :
扭转性的一阶试验。 510-527 尤金尼奥·罗内斯·洛萨诺 :
用计算机代数系统寻找超车站铁路联锁系统中的兼容线路。 528-542 田岛信一 , Takafumi Shibuta公司 , Katsusuke Nabeshima公司 :
通过Matlis对偶计算ICIS细菌的对数向量场。 543-562 西蒙·泰伦 , 马克·范·巴雷尔 , 简·维舍尔 :
并行共享存储计算机上多项式同伦一条路径的鲁棒数值跟踪。 563-582 吉哈德·蒂蒂 , 于尔根·加洛夫 :
从多项式的一个偏导数的伯恩斯坦系数和两个多项式的乘积的伯恩斯坦因系数的符号数字计算。 583-599 叶夫根尼·沃罗日佐夫 , 谢尔盖·基塞列夫 :
用计算机代数方法对分子动力学问题高阶差分格式精度的比较研究。 600-620 陶正 :
通过Galois群和类Galois-群刻画多项式指数格的平凡性。 621-641