2015年第17届CASC:德国亚琛
弗拉基米尔·普·格特 , 沃尔夫拉姆·科普夫 , 沃纳·M·塞勒 , 叶甫根尼·V·沃罗日佐夫 :
科学计算中的计算机代数-第17届国际研讨会,CASC 2015,德国亚琛,2015年9月14日至18日,会议记录。 计算机科学课堂讲稿 9301, 施普林格 2015 ,国际标准图书编号 978-3-319-24020-6 谢尔盖·阿布拉莫夫 , 马尔科·佩特科夫塞克 , 安娜·A·里亚本科 :
具有有理函数系数的一阶线性差分系统的超几何解。 1-14 马里奥·阿尔伯特 , 马蒂亚斯·费泽 , 沃纳·M·塞勒 :
CoCoALib中的Janet Bases and Resolutions。 15-29 帕里萨·阿尔瓦迪 , 陈昌波 , 阿米尔·哈希米 , 马克·莫雷诺·马扎 :
坐标线性变化下的正则链及其应用。 30-44岁 帕里萨·阿尔瓦迪 , 马克·莫雷诺·马扎 , 埃里克·肖斯特 , 保罗·沃里克 :
计算空间曲线切线锥的标准无基算法。 45-60 安德烈·班什奇科夫 :
用符号-数值模拟方法研究扁轴对称陀螺相对平衡的稳定性。 61-71 穆雷·A·巴卡图 , 托马斯·克鲁佐 , 卡罗尔·埃尔·巴哈 :
计算线性差分系统正则解的一种新方法。 72-86 内森·布利斯 , 杰夫·索马斯 , 简·维舍尔 , 项城余 :
用多项式同伦连续法求解云中的多项式系统。 87-100 弗朗索瓦·布利埃 , 弗朗索瓦·勒梅尔 :
利用正规形式模微分正则链求第一积分。 101-118 陈昌波 , 马克·莫雷诺·马扎 :
圆柱代数公式的简化。 119-134 亚历山德拉·戈克 , 塞巴斯蒂安·沃尔彻 , 伊娃·泽兹 :
准稳态直觉、微扰理论和算法代数。 135-151 迪马·格里戈里耶夫 :
识别热带线性品种的多项式复杂性。 152-157 迪马·格里戈里耶夫 , 弗里茨·施瓦兹 :
计算一类拟线性偏微分方程的高阶除数。 158-165年 A.A.古塞夫 , 弗拉基米尔·普·格特 , 谢尔盖·维尼茨基 , V.L.德波夫 , 安德烈·戈兹兹 , 亚历克桑德拉·佩德拉克 :
SO(3)群空间中点群不可约基的符号生成算法。 166-181 亚历山大·古塞夫 , 良乐海 , Ochbadrakh Chulounbaatar公司 , Vandandoo Ulziibayar公司 , 谢尔盖·维尼茨基 , V.L.德波夫 , 安德烈·戈兹兹 , 维塔利·罗斯托夫采夫 :
使用有限元方法求解薛定谔方程边值问题的符号-数值解:散射问题和共振状态。 182-197 谢尔盖·古尼克 , 安娜·格尔曼 , 瓦西里·萨里切夫 :
应用计算机代数方法研究恒转矩对卫星定常运动的影响。 198-209年 亚伦·赫尔曼 , Elias P.Tsigaridas公司 :
具有整数系数的多项式系统的条件数的界-(特邀演讲)。 210-219 瓦伦丁·埃尔特戈夫 , 塔蒂亚娜·蒂托连科 :
关于两个力场影响下刚体运动问题中的不变流形及其稳定性。 220-232 Maciej Janowicz公司 , 乔安娜·卡列塔 , 菲利普·克日泽夫斯基 , 玛丽安·鲁塞克 , 阿卡迪乌斯·奥尔洛夫斯基 :
极大值随机微分方程的同伦分析方法。 233-244 Kai Jin公司 , 金山成 , 小山高 :
平面代数曲线的拓扑与可视化。 245-259 Ryszard Kozera公司 , 莱尔·诺克斯 :
插值简化数据的分段二次型和重参数化。 260-274 海因茨·克雷德尔 :
参数可解多项式环及其应用。 275-291 Gennadi I.马拉斯科诺克 , 安东·谢尔宾 :
域中矩阵的三角分解。 292-306 亚历山大·马列茨基 :
基于定理系统的约化环自动推理。 307-321 多米尼克·卢德维格·米歇尔斯 , 德米特里·A.利亚霍夫 , 弗拉基米尔·普·格特 , 格里特·亚历山大·索博特卡 , 安德烈亚斯·韦伯 :
关于基尔霍夫方程的部分解析解。 322-333 中岛胜介 , 田岛信一 :
代数局部上同调类的有效计算和零维标准基的序变化。 334-348 维克多·Y·潘 , 梁昭 :
用根半径近似法分离多项式实根。 349-360 维克多·Y·潘 , 梁昭 :
随机循环和高斯预处理。 361-375 维罗妮卡·皮尔文 :
符号计算和有限元方法-(受邀演讲)。 376-390 亚历山大·普罗科彭亚 :
近似量子傅里叶变换和相位估计的量子算法。 391-405 马库斯·罗森克兰兹 , 简·刘 , 亚历山大·马列茨基 , 布鲁诺·巴赫伯格 :
具有一个轻度奇异性的两点边界问题及其在梯度Kirchhoff板中的应用。 406-423 萨蒂亚·斯瓦鲁普·萨马尔 , 迪马·格里戈里耶夫 , 霍尔格·弗里奇 , 奥维迪乌·拉杜列斯库 :
利用热带几何学分析反应网络系统。 424-439 She直坤 , 丹松 , 李美伦 :
使用经认证的多个类李亚普诺夫函数对混合系统进行安全验证。 440-456 多鲁·斯特凡内斯库 :
一个新的多项式界及其效率。 457-467 阿列克谢·余。 乌特谢夫 , 玛丽娜·雅希纳 :
椭圆和椭球之间的距离计算。 468-478 Ngoc Thieu Vo公司 , 弗兰兹·温克勒 :
一阶代数常微分方程的代数通解。 479年至492年