ISSAC 1995:加拿大蒙特利尔
A.H.M.Levet公司 :
1995年符号和代数计算国际研讨会论文集,ISSAC'95,加拿大蒙特利尔,1995年7月10日至12日。 ACM公司 1995 ,国际标准图书编号 0-89791-699-9
微分方程
伊恩·莱尔 , 格雷戈里·里德 , A.博尔顿 :
偏微分方程对称性的无限李伪群结构的算法确定。 1-6 托马斯·沃尔夫 :
应用对称的程序。 7-15 弗里茨·施瓦兹 :
2的对称性 第 和3 第个 订购ODE。 16-25 M.J.多福 , 罗伯特·格罗斯曼 :
用树对多项式向量场系统微分不变量进行符号计算。 26-31
可视化
罗恩·阿维策 , 奥拉夫·巴赫曼 , 诺伯特·卡伊勒 :
从诚实到智能绘图。 32-41 尤金·齐马 :
递归链的简化和优化变换。 42-50 Trán Quoc Nam公司 :
一种用于追踪面-面交点的混合符号-数字方法。 51-58 珊卡·克里希南 , 迪内什·马诺查 :
计算一维代数集的数值符号算法。 59-67
代数数
马里奥·达伯科夫 , 迈克尔·波赫斯特 :
数域相对扩张的计算及其在Hilbert类域构造中的应用。 68-76 彼得·A·布罗德伯里 , 特蕾莎·戈梅兹·迪亚兹 , 斯蒂芬·瓦特 :
论动态评价的实施。 77-84 横山和弘 , 李子明 , 伊斯特万·奈姆斯 :
在积分多项式的根的商之间寻找单位根。 85-89 马克·范·霍伊 :
一种计算Weierstrass范式的算法。 90-95
算法I
迪马·格里戈里耶夫 , 雅加蒂·N·拉克希曼 :
多元多项式稀疏移位的计算算法。 96-103 丹尼尔·理查森 :
在基本常数中识别零的一种简化方法。 104-109 马克·吉斯布雷希特 :
整数矩阵Smith范式的快速计算。 110-118 阿恩·斯托约翰恩 , 乔治·拉巴恩 :
高效Hermite范式计算中矩形多项式矩阵的预处理。 119-125
系统
吉恩·库珀曼 :
STAR/MPI:将并行库绑定到交互式符号代数系统。 126-132 T.H.艾因沃纳 , 理查德·法特曼 :
积分表的搜索技术。 133-139 尼尔·索弗 :
数学排版 数学软件 . 140-149 克莱门斯·巴拉林 , 卡斯滕·霍曼 , 雅克·卡尔梅特 :
定理和算法:Isabelle和Maple之间的接口。 150-157
多项式和微分代数
弗朗索瓦·布利埃 , 丹尼尔·拉扎德 , 弗朗索瓦·奥利维尔 , 米歇尔·佩蒂特 :
有限生成微分理想根的表示。 158-166 玛丽亚·格拉齐亚·马里纳里 , 特奥·莫拉 , 迈克尔·莫勒 :
多项式系统求解中的Gröbner对偶性和多重性。 167-179 劳雷亚诺·冈萨雷斯-维加 , 瓜达卢佩-特鲁希略 :
使用对称函数实现参数化曲线和曲面的隐式化。 180-186 迪帕克·卡普尔 , Tushar Saxena公司 :
各种多元结果公式的比较。 187-194
符号数字方法
罗伯特·M·科尔利斯 , 帕特里齐亚·贾尼 , 巴里·M·特拉格 , 斯蒂芬·瓦特 :
多项式系统的奇异值分解。 195-207 克劳斯·戴特·塞姆勒 , Mika Seppälä :
超椭圆曲线的数值均匀化。 208-215 克劳迪娜·查菲 :
解析连续过程:从计算机代数到数值分析。 216-222 M.P.Quéré , 吉尔斯·维拉德 :
线性DAE的简化算法。 223-231
最大公因数
安吉尔·迪亚斯 , 埃里希·卡尔托芬 :
用黑盒子给出的多项式计算最大公因式。 232-239 新潮寮 , 理查德·法特曼 :
启发式多项式GCD的评估。 240-247 博丹·马杰夫斯基 , 乔治·哈瓦斯 :
扩展GCD问题的解决方案。 248-253 乔纳森·索伦森 :
莱默欧几里德GCD算法分析。 254-258
组
吉恩·库珀曼 , 拉里·芬克尔斯坦 , 迈克尔·泽尔曼 :
使用置换表示的矩阵群计算。 259-264 费伦斯·拉科奇 :
置换群幂零性的快速识别。 265-269 普拉巴夫·莫杰 :
小基群中Sylow子群的近似线性算法。 270-277 托尔斯滕·明奎兹 :
关于有限群的一般不可约表示的计算。 278-284
算法II
谢尔盖·阿布拉莫夫 :
线性差分的有理解 q个 -多项式系数差分方程。 285-289 谢尔盖·阿布拉莫夫 , 布隆斯坦 , 马尔科·佩特科夫塞克 :
线性算子方程的多项式解。 290-296 穆雷·A·巴卡图 :
Moser算法的理性版本。 297-302 谢尔盖·阿布拉莫夫 :
有理函数的不定和。 303-308
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)