ISSAC 1994:英国牛津
马尔科姆·A·H·麦卡伦 :
符号和代数计算国际研讨会论文集,ISSAC’94,英国牛津,1994年7月20日至22日。 ACM公司 1994 ,十亿 0-89791-638-7 迪内什·马诺查 :
计算多项式方程的选定解。 1-8 西尔万·佩蒂让 :
自动构建静态多点类。 9-14 洪都 :
关于光滑代数曲线的同构。 15-19 艾哈迈德·格格布 , 让·梅因盖内 , 玛丽·弗朗索瓦斯·罗伊 :
自动定理证明实几何的例子。 20-24 斯蒂芬·瓦特 , 彼得·A·布罗德伯里 , 塞缪尔·杜利 , 彼得罗·伊格利奥 , 斯科特·莫里森 , 乔纳森·斯坦巴赫 , 罗伯特·萨托 :
关于A的第一份报告 # 编译器。 25-31 理查德·詹克斯 , 巴里·M·特拉格 :
如何将AXIOM制作成草稿行。 32-40 大卫·波克拉斯·雅各布斯 :
阿尔伯特非结合代数系统:进展报告。 41-44 威廉·尼科 , V.V.高盛 , J.A.van Hulzen先生 :
GENTRAN 90:生成Fortran 90代码的REDUCE包。 45-51 维布·博斯马 , 约翰·坎农 , 格雷厄姆·马修斯 :
代数结构编程:MAGMA语言的设计。 52-57 马克·恩卡纳西翁 :
计算代数数域上多项式GCD的模块化算法。 58-65 穆罕默德·奥马尔·雷伊斯 , 保罗·S·王 , 肯尼斯·韦伯 :
共享内存多处理机上多元多项式稀疏模GCD算法的并行化。 66-73 布鲁斯·查尔 , 马克·F·拉索 :
酶动力学模型中时间尺度的自动识别。 74-83 菲利普·托德 , 罗宾·J·Y·麦克劳德 , 马西娅·哈里斯 :
工程力学中问题的符号分析系统。 84-89 埃里希·卡尔托芬 , 奥斯汀·洛博 :
用黑盒Berlekamp算法分解高次多项式。 90-98 迪帕克·卡普尔 , 图沙尔·萨塞纳 , 陆洋 :
使用Dixon结果的代数和几何推理。 99-107 雅加蒂·N·拉克希曼 , B.大卫·桑德斯 :
关于计算一元多项式的稀疏移位。 108-113 Ioannis Z.埃米利斯 , Ashutosh Rege公司 :
单项基与多项式系统求解(扩展摘要)。 114-122 安娜·玛丽亚·曼达切 :
Gröbner基算法和次结式理论。 123-128 埃伯哈德·贝克尔 , 特奥·莫拉 , 玛丽亚·格拉齐亚·马里纳里 , 卡洛·特拉弗索 :
形状引理的形状。 129-133 吉恩·库珀曼 , 拉里·芬克尔斯坦 , 布莱恩特·约克 , 迈克尔·泽尔曼 :
构造大型矩阵群的置换表示。 134-138 尤金·M·卢克斯 , 费伦斯·拉科奇 , 查尔斯·赖特 :
置换中的归一化计算 第页 -组。 139-146 罗伯特·克雷曼斯 , 弗里德里希·奥托 :
多项式时间内无上下文群子群的规范表示的构造(扩展抽象)。 147-153 马丁·舍内特 , 阿尔科斯·塞莱斯 :
在近似线性时间中寻找小基群中的印记块。 154-157 贾米尔·巴杜拉 :
关于具有初等函数和多对数的有限项积分的一个猜想。 158-162 罗恩·索姆林 :
不规则奇点的特征类。 163-168 谢尔盖·阿布拉莫夫 , 马尔科·佩特科夫塞克 :
线性微分方程和差分方程的达朗贝尔解。 169-174 Yiu Kwong Man公司 , 弗朗西斯·莱特 :
快速多项式离散计算及其在不定和中的应用。 175-180 查尔斯·C·戴尔 :
符号计算在物理科学中的应用。 181-186 马克·范·霍伊 :
有理代数曲线的参数化计算。 187-190 桑德拉·利奇亚迪 , 特奥·莫拉 :
超曲面和曲线的Primbasissatz和Basis转换隐式化。 191-196 罗伯特·M·科尔利斯 :
变分法的充分性分析。 197-204 阿兰·戈里利 , 泰米高 :
如何计算Melnikov向量? 205-210 劳伦特·贝特朗 :
超椭圆积分计算新算法的实现。 211-215 Toshinori Oaku公司 :
求线性偏微分方程组解的结构的算法。 216-223 奥斯卡·E·鲁伊斯·S。 , 普莱西德·费雷拉 :
几何约束满足中的代数几何和群论。 224-233 维克托·甘扎 , 叶夫根尼·沃罗日佐夫 , J.波尔斯 , J.A.van Hulzen先生 :
薄层Navier-Stokes方程Jameson格式的符号-数值稳定性研究。 234-241 奥拉夫·巴赫曼 , 保罗·S·王 , 尤金·V·齐马 :
递归链——一种加速闭式函数求值的方法。 242-249 亚当·丁格尔 , 理查德·法特曼 :
计算机代数中的分支切割。 250-257 沃尔克·魏斯芬宁 :
实代数的量词消去-三次情形。 258-263 罗伯托·拉斯卡拉 :
复杂度算法。 264-268 莱因哈德·邦根 , 曼弗雷德·哥贝尔 , 沃尔夫冈·库奇林 :
细粒度平行完井程序。 269-277 凯利·罗奇 :
符号-数值非线性方程求解。 278-284 丹尼尔·理查森 , 约翰·菲奇 :
初等函数和常数的恒等式问题。 285-290 迈克尔·B·莫纳根 , 加斯顿·H·贡内 :
代数数的签名函数。 291-296 埃里希·卡尔托芬 :
类Toeplitz奇异线性系统的渐近快速解。 297-304 马克·吉斯布雷希特 :
整数矩阵有理形式的快速算法。 305-311 吉尔斯·维拉德 :
多项式矩阵Smith范式的快速并行计算。 312-317 杰森·哈里斯 :
重写规则结构的继承应用于符号计算。 318-323 安德列斯·韦伯 :
带强制的类型推断算法。 324-329 西蒙·格雷 , 诺伯特·卡伊勒 , 保罗·S·王 :
MP:高效交换数学表达式的协议。 330-335 布隆斯坦 :
线性常微分算子分解的一种改进算法。 336-340 雅克·亚瑟·韦尔 :
特殊半群在求解微分方程中的应用。 341-347 本杰明·伯曼 , 理查德·法特曼 :
打字机数学中的光学字符识别。 348-353 托马斯·雷西奥 , M.J.González-López先生 :
一般6R机械手运动学方程的符号化简化。 354-358
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)