2005年第八届CASC:希腊卡拉马塔
维克托·甘扎 , 恩斯特·梅尔 , 叶夫根尼·沃罗日佐夫 :
科学计算中的计算机代数,第八届国际研讨会,CASC 2005,希腊卡拉马塔,2005年9月12日至16日,论文集。 计算机科学课堂讲稿 3718, 施普林格 2005 ,国际标准图书编号 3-540-28966-6 谢尔盖·阿布拉莫夫 , 布隆斯坦 , 丹尼斯·赫梅尔诺夫 :
关于常线性微分系统的正则解和对数解。 1-12 苏加塔巴苏 , 迈克尔·凯特纳 :
在实践中计算排列的Betti数。 13-31 I.N.贝利亚耶娃 , 尼古拉·切卡诺夫 , 亚历山大·古塞夫 , V.A.罗斯托夫采夫 , 于。 A.乌科洛夫 , Uwano吉雄 , 谢尔盖·维尼茨基 :
用自洽基方法求解二维特征值问题的MAPLE符号-数值程序。 32-39 鲁道夫·伯哈默 , 弗兰克·诺伊曼 :
RelView-一个基于OBDD的关系计算机代数系统。 40-51 米贾尔·博尔盖斯·金塔纳 , 米盖尔·博尔盖斯·特雷纳德 , 埃德加·马丁内斯·莫罗 :
关于Gröbner基在计算有限阿贝尔群结构中的应用。 52-64 亚历山大·D·布鲁诺 , 维克托·埃德内尔 :
常微分方程系统的正规形式和可积性。 65-74 劳伦特·巴塞 , 胡萨姆·哈利勒 , 伯纳德·穆兰 :
平面曲线相交问题的基于结果的方法。 75-92 卡洛·卡塔尼 , 叶夫根尼·格雷贝尼科夫 , 亚历山大·普罗科彭亚 :
动态对称卫星运动稳定性研究中的符号计算。 93-104 德米特罗·奇比索夫 , 维克托·甘扎 , 恩斯特·梅尔 , 叶夫根尼·沃罗日佐夫 :
恒定时间曲线修剪区域上正交网格的生成。 105-114 德米特罗·奇比索夫 , 维克托·甘扎 , 谢尔盖·潘克拉托夫 , 克里斯托夫·曾格 :
纳米科学中的计算机代数:量子点中电子态的建模。 115-124 亚瑟·D·切切巴 , 迪帕克·卡普尔 , Manfred Minimair公司 :
多元组合多项式的Cayley-Dixon结式矩阵。 125-137 阿诺·艾根威利 , 卢兹·凯特纳 , 沃纳·克兰迪克 , 库尔特·梅尔霍恩 , 苏珊·施密特 , 尼古拉·沃尔珀特 :
比特流系数多项式的笛卡尔算法。 138-149 Ioannis Z.埃米利斯 , Elias P.Tsigaridas公司 :
二元多项式系统的实解。 150-161 杰苏斯·加戈·瓦格斯 , 玛丽亚·伊莎贝尔·哈蒂略-赫莫索 , 何塞·玛丽亚·乌恰·恩里克斯 :
新烹饪 关于f的湮灭理想的计算 秒 . 162-173 弗拉基米尔·普·格特 , 尤里·布林科夫 :
珍妮特式单项式部门。 174-183 弗拉基米尔·普·格特 , 尤里·布林科夫 :
Janet-Like Gröbner Bases公司。 184-195 多明戈·戈梅斯·佩雷斯 , 詹姆·古铁雷斯 , 阿尔瓦尔·伊比亚斯 :
循环有向图和单项式理想。 196-207 罗西奥·冈萨雷斯-迪亚斯 , 贝伦·梅德拉诺 , 佩德罗·雷亚尔 , 哈维尔·桑切斯·佩雷斯 :
数字图像时间序列的代数拓扑分析。 208-219 劳雷亚诺·冈萨雷斯-维加 , 卡洛·特拉弗索 , 阿尔贝托·扎诺尼 :
希尔伯特分层和参数化Gröbner基底。 220-235 E.A.格雷贝尼科夫 , 多罗塔·科扎克·斯科沃罗德金 , M.雅库比亚克 :
牛顿多体问题临界情形稳定性问题的研究。 236-243 亚历山大·古塞夫 , 弗拉基米尔·普·格特 , 米歇尔·卡斯奇耶夫 , 维塔利·罗斯托夫采夫 , 瓦伦丁·萨莫约洛夫 , 塔吉亚娜·图皮科娃 , 内野义雄 , 谢尔盖·维尼茨基 :
用分裂算子法求解时间相关Schrödinger方程的符号-数值算法。 244-258 瓦伦丁·埃尔特戈夫 , 塔吉亚娜·蒂托连科 :
流体中刚体运动情况下Kirchhoff方程研究的一些结果。 259-271 弗拉基米尔·科尔尼亚克 :
论离散关系的相容性。 272-284 克里斯托斯·库库维诺斯 , E.拉帕斯 :
通过线性系统的解构造两层正交阵列。 285-293 克里斯托斯·克拉夫瓦里蒂斯 , 玛丽莲娜·米特鲁利 , 詹妮弗·塞伯里 :
在加权矩阵中指定子空间存在性的计数技术。 294-305 宫岛信也 , 小田武史 , Shin’ichi Oishi先生 :
对称矩阵各特征值的快速验证。 306-317 长坂小坂 :
迈向更精确的经验多项式的分离界II。 318-329 大卫·G·理查森 , 维尔纳·克拉迪克 :
SACLIB计算机代数库中的编译器增强内存语义。 330-343 尤金尼奥·罗内斯·洛萨诺 , R.加西亚 , 尤金尼奥·罗内斯·马西亚斯 , 阿尔弗雷多·阿帕里西奥·亚圭 , 路易斯·莱塔 :
Meta-Petro公司 :培训本科生使用显微照片进行变质岩识别和分类的专家系统。 344-354 苏珊·施密特 :
菱形算子-精确实代数数的实现。 355-366 列奥尼德·塞明 , 瓦西里·沙佩耶夫 :
利用计算机代数系统构造Navier-Stokes方程的数值方法。 367-378 亚历山大·谢尔梅涅夫 :
杆中的非线性波。 379-386 刘舒 , 安德列斯·韦伯 :
求解基尔霍夫杆边值问题的符号-数值方法。 387-398 谢尔盖·斯拉维亚诺夫 , 弗拉基米尔·帕普舍夫 :
经典正交多项式乘积的微分方程和差分方程。 399-404 阿赫马琼·索列夫 :
空间曲线奇点的局部分解算法。 405-415 托马斯·斯特姆 :
约束逻辑编程中的量词消除。 416-430 铃木章 :
全综合Gröbner基的计算。 431-444 阿基拉·特瑞 :
递归多项式余数序列和嵌套子结果。 445-456 S.Yu。 弗诺夫 :
不可积系统的Laurent级数和椭圆解之间的相互依赖性。 457-468 沃尔克·魏斯芬宁 :
用参数求解线性微分问题。 469-488 谢尔盖·泽姆斯科夫 :
椭圆偏微分方程Dirichlet问题的近似解及其误差估计。 489-500