2018年第20届CASC:法国里尔
弗拉基米尔·普·格特 , Wolfram Koepf公司 , 维尔纳·M·塞勒 , 叶夫根尼·沃罗日佐夫 :
科学计算中的计算机代数——第20届国际研讨会,CASC 2018,法国里尔,2018年9月17日至21日,会议记录。 计算机科学课堂讲稿 11077, 施普林格 2018 ,国际标准图书编号 978-3-319-99638-7 Jean-Guillaume Dumas女士 :
可以在云中高效计算的校对证书(邀请谈话)。 1-17 谢尔盖·阿布拉莫夫 , 丹尼斯·赫梅尔诺夫 :
关于差分算子的幺模矩阵。 18-31 穆罕默德·阿萨迪 , 亚历山大·布兰特 , 罗伯特·H·C·莫尔 , 马克·莫雷诺·马扎 :
带BPAS库的稀疏多项式算法。 32-50 Bentolhoda Binaei公司 , 阿米尔·哈希米 , 维尔纳·M·塞勒 :
使用Syzygies计算Pommaret碱。 51-66 尤里·布林科夫 , 弗拉基米尔·普·格特 , 德米特里·A.利亚霍夫 , 多米尼克·L·米歇尔斯 :
定常Stokes流的强一致差分格式及其修正方程。 67-81 弗朗索瓦·布利埃 , 赫莱恩·卡斯特尔 , 纳塔莉·科尔森 , 瓦伦蒂娜·兰扎 , 弗朗索瓦·莱梅尔 , 阿德里安·波图 , 阿尔班广场 , 娜塔莉·威尔迪埃 :
非线性积分微分建模的符号-数字方法。 82-98 陈昌波 , 吴文元 :
平面实代数曲线奇异性可视化的一种延拓方法。 99-115 安妮·A·M·库伊特 , 费雷·克奈普肯斯 , 李文欣 :
从指数分析到Padé逼近和张量分解,在一个和多个维度上。 116-130 Algirdas Deveikis公司 , A.A.古塞夫 , 弗拉基米尔·普·格特 , 谢尔盖·维尼茨基 , 安德烈·戈兹兹 , 亚历克桑德拉·佩德拉克 :
生成mathrm SU(3)群正交Bargmann-Moshinsky基的符号算法。 131-145 Gérard H.E.杜尚 , 文森·黄果明(Vincel Hoang Ngoc Minh) , 卡罗尔·彭森 :
关于一些Drinfel Associator。 146-163 帕维尔·G·埃梅利亚诺夫 , 丹尼斯·波诺马利夫 :
关于\mathbb F_2上多线性多项式的多时间分解算法。 164-176 迪马·格里戈里耶夫 :
热带牛顿多项式。 177-186 迪马·格里戈里耶夫 , 尼古拉·沃罗布乔夫(Nicolai N.Vorobjov Jr.)。 :
正交热带线性流行区。 187-196 A.A.古塞夫 , 弗拉基米尔·普·格特 , Ochbadrakh Chulounbaatar公司 , G.Chulounbaatar公司 , 谢尔盖·维尼茨基 , V.L.德波夫 , 安德热·戈兹兹 , 帕维尔·克拉索维茨基 :
用多元单纯形拉格朗日元求解椭圆边值问题的符号数值算法。 197-213 谢尔盖·古尼克 , 瓦西里·萨里切夫 :
带气动姿态控制系统的卫星动力学符号数字仿真。 214-229 玛丽亚·伊莎贝尔·哈蒂略·埃尔莫索 , 何塞·曼纽尔·吉梅内斯·科巴诺 , 何塞·玛丽亚·乌恰·恩里克斯 :
用代数测试集求非线性整数规划的多解。 230-237 Hoon Hong公司 , 托马斯·斯特姆 :
符号参数多项式不等式组的正解。 238-253 瓦伦丁·埃尔特戈夫 , 塔蒂亚娜·蒂托连科 :
具有无理第一积分的动力系统的定性分析。 254-271 石原由纪夫 , 横山和弘 :
使用双理想商的有效本地化及其实现。 272-287 石井裕美 :
嵌入Haskell的纯功能计算机代数系统。 288-303 弗拉基米尔·科尔尼亚克 :
用多项式代数方法分裂有限群的置换表示。 304-318 迈克尔·B·莫纳根 , Baris调谐器 :
多因子大系数多元多项式因子分解。 319-334 帖木儿·M·萨迪科夫 :
超越第一类分析复杂性。 335-344 Tateaki Sasaki公司 :
一种计算稀疏多元多项式余数序列的理论和算法。 345-360 Jan Verschelde公司 :
并行共享内存计算机上的黑匣子多项式系统解算器。 361-375