2013年第15届CASC:德国柏林
弗拉基米尔·普·格特 , 沃尔夫拉姆·科普夫 , 恩斯特·梅尔 , 叶夫根尼·沃罗日佐夫 :
科学计算中的计算机代数——第15届国际研讨会,2013年9月9日至13日,德国柏林,CASC 2013。 诉讼程序。 计算机科学课堂讲稿 8136, 施普林格 2013 ,国际标准图书编号 978-3-319-02296-3 谢尔盖·阿布拉莫夫 , 穆雷·A·巴卡图 :
关于全秩线性微分系统解空间的维数。 1-9 Danko Adrovic公司 , 简·维舍尔 :
空间曲线利用对称性的多面体方法应用于循环n根问题。 10-29 帕里萨·阿尔瓦迪 , 陈昌波 , 马克·莫雷诺·马扎 :
计算一维正则链的拟分量的极限点。 30-45 皮埃尔路易吉·阿莫迪奥 , 尤里·布林科夫 , 弗拉基米尔·普·格特 , 罗伯托·斯卡拉 :
关于Navier-Stokes方程有限差分逼近的一致性。 46-60 安德鲁·阿诺德 , 马克·吉斯布雷希特 , 丹尼尔·罗氏 :
直线程序的快速稀疏插值。 61-74 亚历山大·D·布鲁诺 , 维克托·埃德内尔 :
关于在参数的特殊值处,在双简并附近简并系统附加解的可能性。 75-87 哈桑·埃尔拉米 , 马库斯·艾斯沃思 , 迪马·格里戈里耶夫 , 维尔纳·M·塞勒 , 托马斯·斯特姆 , 安德列斯·韦伯 :
利用反应坐标计算化学反应网络中Hopf分支的有效方法。 88-99 米卡埃尔·加斯蒂诺 , 雅克·拉斯卡尔 :
多核系统上分布式稀疏多元多项式的高可扩展乘法。 100-115 弗拉基米尔·普·格特 , 亚历山大·普罗科彭亚 :
用Mathematica模拟量子误差校正。 116-129 安德烈亚斯·格里万克 :
从产品示例到PDE副词,算法区分及其应用(受邀演讲)。 130-135 迪马·格里戈里耶夫 :
求解少阶代数方程组的多项式复杂性。 136-139 迪马·格里戈里耶夫 , 弗里茨·施瓦兹 :
计算拟线性常微分方程的除数和公倍数。 140-147 迪马·格里戈里耶夫 :
热带代数的复杂性(受邀演讲)。 148-154 亚历山大·古塞夫 , 塞尔格·I·维尼茨基 , Ochbadrakh Chulounbaatar公司 , 维塔利·罗斯托夫采夫 , 朗乐海 , 弗拉基米尔·德尔波夫 , 安德烈·戈兹兹 , 叶夫根尼·克里莫夫 :
生成团簇特征函数的符号-数值算法:具有对振荡器相互作用的相同粒子。 155-168 谢尔盖·古尼克 , 瓦西里·萨里切夫 :
陀螺卫星动力学的符号数值研究。 169-178 瓦伦丁·埃尔特戈夫 , 塔吉亚娜·蒂托连科 :
关于so(3,1)上欧拉方程的平稳集及其稳定性。 179-193 伊瓦内 , Hiroyuki Higuchi先生 , 阿奈Hirokazu :
通过逻辑公式简化有效实现符号定义条件的特殊量词消除。 194-208 拉斐尔·乔利 :
在Scala代数系统中作为类型类的类别。 209-218 米哈伊尔·克林 , Matan Ziv-Av公司 :
群A5上Schur环的计数。 219-230 Gennadi I.马拉斯科诺克 :
交换域中的广义Bruhat分解。 231-242 蒙灵川 , 杰里米·约翰逊 :
通用模块化FFT算法的自动并行库生成。 243-256 长坂小坂 , 高崎Masui :
扩展QRGCD算法。 257-272 维克多·Y·潘 :
矩阵结构的多项式求值、插值和变换。 273-287 尤金尼奥·罗内斯·洛萨诺 , 尤金尼奥·罗内斯·马西亚斯 :
关于几何力学定理证明中根隶属度检验的必要性的注记。 288-300 马库斯·罗森克兰兹 , 纳利娜·菲桑布特 :
线性偏微分方程边界问题的符号方法——应用于常系数柯西问题的完全可约情形。 301-314 Tateaki Sasaki公司 , 稻叶大驹 , Fujio Kako先生 :
近似计算机代数的工业应用。 315-330 斯特凡·席拉 :
关于Sekigawa零分离界的注记。 331-339 达娜·施洛米克 , 尼古拉·沃尔佩 :
符号计算和多项式不变量在微分系统奇异性分类中的应用。 340-354 维尔纳·M·塞勒 :
隐式微分方程的奇异性和静态分岔。 355-368 列昂尼德·塞瓦斯蒂亚诺夫 , 亚历山大·佐林 , 亚历山大·戈尔巴乔夫 :
枫树中类氢原子的量子测量模型。 369-380 瓦西里·沙佩耶夫 , 叶夫根尼·沃罗日佐夫 :
CAS在构建求解三维Navier-Stokes方程的配置和最小残差方法中的应用。 381-392 多鲁·斯特凡内斯库 :
不可约二元多项式类的构造。 393-400 埃桑·乌拉 :
使用IP解决方案的代数攻击。 401-411 亚历克谢·俞(Alexei Yu)。 乌特谢夫 , 玛丽娜·雅希纳 :
类费马-托里切利-库仑势函数族的驻点。 412-426 塞尔格·I·维尼茨基 , 亚历山大·古塞夫 , Ochbadrakh Chulounbaatar公司 , 维塔利·罗斯托夫采夫 , 良乐海 , 弗拉基米尔·德尔波夫 , 帕维尔·克拉索维茨基 :
生成簇特征函数的符号数值算法:簇通过排斥屏障的隧道。 427-442