ISSAC 2005:中国北京
曼努埃尔·考尔斯 :
符号和代数计算,2005年ISSAC国际研讨会,中国北京,2005年7月24日至27日,会议记录。 ACM公司 2005 ,国际标准图书编号 1-59593-095-7 布鲁诺·巴赫伯格 :
符号计算的未来展望。 1 布鲁诺·萨维 :
D-有限性:算法和应用。 2-3 吴文泰 :
关于多项式型优化问题的有限核定理及其应用。 4 谢尔盖·阿布拉莫夫 , M.佩特科夫塞克 :
Gosper算法,精确求和,以及离散牛顿-莱布尼茨公式。 5-12 杰弗里·亚当斯 , B.大卫·桑德斯 , 镇东湾 :
对称有理矩阵的签名与李群的酉对偶。 13-20 阿奈Hirokazu , 原信治 , 横山和弘 :
具有正实部的根的和。 21-28 J.M.阿罗卡 , J.卡诺 , 冯汝勇 , 小山高 :
代数常微分方程的代数通解。 29-36 詹姆斯·博蒙特 , 罗素·J·布拉德福德 , 詹姆斯·达文波特 , 纳利娜·菲桑布特 :
粘附性优于邻接性:使用CAD计算黎曼指数。 37-44 阿林·博斯坦 , 托马斯·克鲁佐 , 布鲁诺·萨维 :
线性微分方程多项式解的快速算法。 45-52 戴尔芬·鲍彻 :
磁卫星在圆轨道上的非完全可积性。 53-60 阿兰·布莱托 , 吕克·吉利伯特 , 伯纳德·拉盖特 :
使用G图构造对称和半对称图。 61-67 布隆斯坦 , 李子明 , 吴敏(音) :
Picard——线性函数系统的Vessiot扩张。 68-75 克里斯托弗·布朗 , 斯科特·麦卡勒姆 :
关于在CAD构造中使用双方程约束。 76-83 奥兰多A.卡瓦哈尔 , 弗雷德里克·查普曼 , 基思·O·格迪斯 :
通过张量积级数在多维中进行混合符号-数字积分。 84-91 陈竹良 , Arne Storjohann公司 :
基于BLAS的C库,用于整数矩阵上的精确线性代数。 92-99 克里斯蒂安·科斯特曼 , 珍妮·伊夫·恩贾尔伯特 , 文森·黄果明(Vincel Hoang Ngoc Minh) , 米歇尔·佩蒂特 :
多重调和和的结构和渐近展开。 100-107 泽维尔·达汉 , 马克·莫雷诺·马扎 , 埃里克·肖斯特 , 吴文元 , 谢玉珍 :
三角形分解的提升技术。 108-115 巴里·戴顿 , 曾忠刚 :
在求解多项式系统时计算多重结构。 116-123 詹妮弗·德克莱恩 , 迈克尔·莫纳根 , 艾伦·维特科普夫 :
稀疏模块GCD算法的非单调情况下的算法。 124-131 邓建松 , 陈法来(Falai Chen) , 沈立勇(Liyong Shen) :
使用多项式矩阵分解计算有理曲线和曲面的µ-基。 132-139 Jean-Guillaume Dumas女士 , Clément Pernet公司 , 镇东湾 :
特征多项式的有效计算。 140-147 安德烈·加里戈 , 让-帕斯卡·帕沃内 :
bézier双三次曲面的自相交。 148-155 斯特凡·格霍尔德 , 曼努埃尔·考尔斯 :
证明涉及离散参数的特殊函数不等式的过程。 156-162 迪马·格里戈里耶夫 , 弗里茨·施瓦兹 :
d-模的广义Loewy-分解。 163-170 马库斯·希茨 :
关于最近奇异hankel矩阵的计算。 171-176 布拉德福德·霍维宁 , 韦恩·埃贝里 :
小有限域上的可靠块Lanczos算法。 177-184 黄方健 , 陈胜利 :
对称三元形式的Schur划分和不等式的可读证明。 185-192 大卫·J·杰弗里 , 普拉蒂巴 , K.B.罗奇 :
代数数的仿射变换。 193-199 杰里米·约翰逊 , 沃纳·克兰迪克 , 阿纳托勒·鲁斯兰诺夫 :
经典建筑器皿Taylor偏移了1。 200-207 埃里希·卡尔托芬 , 帕斯卡·科伊兰 :
关于分解二元超解析(Lacunary)多项式的复杂性。 208-215 埃里希·卡尔托芬 , 德米特里·莫罗佐夫 , 乔治·尤哈斯 :
linBox中的通用矩阵乘法和内存管理。 216-223 李彪 , 陈勇 , 王琦(Qi Wang) :
非线性薛定谔方程模型的精确解析解。 224-230 丹尼尔·利奇布劳 :
半GCD和快速合理恢复。 231-236 微博毛泽东 , 吴金照 :
吴方法在符号模型检验中的应用。 237-244 迈克尔·莫纳根 :
计算结果的概率算法。 245-252 伯纳德·穆兰 :
广义正规形式和多项式系统求解。 253-260 Cosmin E.Oancea公司 , 斯蒂芬·瓦特 :
域和表达式:计算机代数的两种方法之间的接口。 261-268 格雷格·里德 , 简·维舍尔 , 艾伦·维特科普夫 , 吴文元 :
通过同伦延拓实现微分系统的符号数字补全。 269-276 Aude Rondesierre公司 , Jean-Guillaume Dumas女士 :
仿射动力系统的符号/数字控制算法。 277-284 卡斯滕·施耐德 :
为不定嵌套和和乘积表达式找到最小深度的伸缩器。 285-292 埃里克·肖斯特 :
多元幂级数乘法。 293-300 索尼娅·佩雷斯-迪亚斯 , J.拉斐尔·森德拉 :
有理代数曲面的偏次公式。 301-308 阿恩·斯托约翰恩 , 吉尔斯·维拉德 :
计算多项式矩阵的秩和小空基。 309-316 劳伦特·托尼尔 :
用s系统理论逼近动力系统:在生物系统中的应用。 317-324 谢尔盖·查列夫(Sergey P.Tsarev) :
线性偏微分方程双曲组的广义拉普拉斯变换和积分。 325-331 威廉·J·特纳 :
奇异黑盒矩阵的前置条件。 332-339 马克·范·霍伊 , 雅克·亚瑟·韦尔 :
用克莱因定理求解二阶线性微分方程。 340-347 克里斯蒂安·范·德·沃什蒂恩(Christiaan E.van de Woestijne) :
有限域上的确定性方程求解。 348-353 王东明 , 碧灿霞 :
具有实际溶液分类的生物系统稳定性分析。 354-361 陆洋 , 曾振兵 :
关于四面体度量不变量的一个公开问题。 362-364 阿列克西·佐布宁 :
微分标准基的容许序和有限性准则。 365-372
![](https://dblp.org/img/cog.dark.24x24.png)