2007年第10届CASC:德国波恩
维克托·甘扎 , 恩斯特·梅尔 , 叶夫根尼·沃罗日佐夫 :
科学计算中的计算机代数,第十届国际研讨会,2007年CASC,德国波恩,2007年9月16-20日,会议记录。 计算机科学课堂讲稿 4770, 施普林格 2007 ,国际标准图书编号 978-3-540-75186-1 谢尔盖·阿布拉莫夫 , 马尔科·佩特科夫塞克 :
线性差分方程、形式级数和底部求和的解析解。 1-10 Alkiviadis G.Akritas公司 , Gennadi I.马拉斯科诺克 :
交换域上模的计算。 11-23 Alkiviadis G.Akritas公司 , 亚当·斯特泽本斯基 , Panagiotis S.Vicklas公司 :
利用更好的正根界估计的连分式方法的进展。 24-30 沃纳·巴克斯 , 苏珊·韦策尔 :
使用缓冲变换的高效LLL Gram。 31-44 Ainhoa Berciano公司 , 玛丽亚·何塞·吉梅内斯 , 佩德罗·雷亚尔 :
关于计算 A类 无穷 -地图。 45-57 鲁道夫·伯哈默 , 冈瑟·施密特 :
使用RelView实现关系的代数可视化。 58-72 陈昌波 , 奥列格·戈卢比茨基 , 弗朗索瓦·莱梅尔 , 马克·莫雷诺·马扎 , 韦潘(Wei Pan) :
综合三角分解。 73-101 德米特罗·奇比索夫 , 维克托·甘扎 , 恩斯特·梅尔 , 叶甫根尼·V·沃罗日佐夫 :
不可压Navier-Stokes方程差分格式的稳定性研究。 102-117 Ochbadrakh Chulounbaatar公司 , 亚历山大·古塞夫 , 弗拉基米尔·普·格特 , 米歇尔·卡斯奇耶夫 , 维塔利·罗斯托夫采夫 , 瓦伦丁·萨莫约洛夫 , 塔吉亚娜·图皮科娃 , 谢尔盖·I·维尼茨基 :
磁场中氢原子特征值问题的符号-数值算法:柱坐标。 118-133 维克托·埃德内尔 :
一种构造范式的算法。 134-142 Stephan Fritzsche公司 :
计算机代数:探索量子信息理论中退相干和纠缠现象的“经典”途径。 143-144 弗拉基米尔·普·格特 , 阿森·赫韦代利泽 , 尤里·巴利 :
推导Light-Cone中的约束 SU公司 (3) Yang-Mills机械通过Gröbner Bases。 145-159 尼基塔·戈金 , 亚历克桑德·米拉里 :
关于非传递头对尾博弈的Conway矩阵的权谱。 160-168 叶夫根尼·格雷贝尼科夫 , 多罗塔·科扎克·斯科沃罗德金 , N.I.泽姆佐娃 :
拉格朗日三角形的利亚普诺夫稳定区的性质。 169-180 叶夫根尼·格雷贝尼科夫 , 埃尔赛因·伊赫萨诺夫 , 亚历山大·普罗科彭亚 :
研究二阶非自治哈密顿系统的稳定性。 181-194 瓦伦丁·埃尔特戈夫 , 塔吉亚娜·蒂托连科 :
关于保守系统不变流形族的特殊性质。 195-210 岩井真司 :
多元分析分解的统一算法。 211-223 北本拓哉 , 山口铁雄 :
代数Riccati方程定义多项式的计算。 224-235 弗拉基米尔·柯尼亚克 :
离散系统的对称性和动力学。 236-251 N.A.科斯托夫 , Z.T.科斯托娃 :
具有椭圆函数系数的完全可积系统和线性常微分方程的精确解。 252-264 叶卡捷琳娜·科瓦莱娃 , 维亚切斯拉夫·茨巴林 , 库尔特·弗里斯茅斯 :
具有余对称性的非线性抛物方程动力学。 265-274 阿莱斯·拉萨鲁克 , 托马斯·斯特姆 :
线性情况下弱整数量词的消除。 275-294 迈克尔·莫纳根 , 罗曼·皮尔斯 :
使用动态数组、堆和压缩指数向量的多项式除法。 295-315 长坂小坂 :
Ruppert矩阵作为子结果映射。 316-327 Ulugbek Kh.Narzullaev公司 , 阿克马尔·阿卡托夫 , 奥利姆·朱马诺夫 :
基于神经网络的微目标识别计算机系统的构建。 328-338 胡安·奥斯皮纳 , 马里奥·韦莱斯 :
用计算机代数求解具有记忆的广义宾汉流体在活动管中的瞬态流动。 339-349 威廉·普莱斯肯 , 丹尼尔·罗伯茨 :
矩阵的一些消去问题。 350-359 叶卡捷琳娜·谢米亚科娃 , 弗兰兹·温克勒 :
一般形式的三阶线性偏微分算子的完整不变量系统。 360-369 丹尼尔·埃斯特班·塞拉索萨 :
基于Maple的带记忆扩散方程的自动稳定性分析。 370-376 多鲁·斯特凡内斯库 :
实根的界及其在正交多项式中的应用。 377-391 亚历克谢·俞(Alexei Yu)。 乌特谢夫 , 玛丽娜·雅希纳 :
红外中椭球到线性或二次曲面的距离计算 n个 . 392-401 沃尔克·魏斯芬宁 :
参数线性常微分方程的鲁棒稳定性。 402-422 弗兰兹·温克勒 , 叶卡捷琳娜·谢米亚科娃 :
线性偏微分算子的符号和代数方法。 423 宋亚燕 , 卡斯滕·梅普尔 , 格林·占士 :
一种新的可拒绝/可否认身份验证方案。 424-432 吉田宏 , 中川浩二 , 阿奈Hirokazu , Katsuhisa Horimoto公司 :
动力学网络模型选择的代数-数值算法。 433-447 安娜·戴瑟娃 :
微分算子在周期Coiflet基中的表示及其应用。 448-457