符号计算杂志,第13卷,1992年
第13卷第1期,1992年1月
让-路易斯·拉塞兹 , 肯·麦卡龙 :
广义线性约束的规范形式。 1-24 J.拉斐尔·森德拉 , 胡安·洛夫特 :
使用Hankel矩阵的扩展多项式GCD算法。 25-40 苏珊·兰多 :
关于“Zippel拒绝”的注释。 41-46 迈克尔·莫纳根 :
一元多项式的启发式不可约性检验。 47-58 R.D.Mills公司 :
求解微分方程边值问题的斜率保持技术。 59-80 乌尔苏拉·马丁 , 迈克尔·赖 :
完成定理证明器的一些实验。 81-100 罗伯特·G·考威尔 :
有序标准基在突变理论中的应用。 101-115
第13卷第2期,1992年2月
丹尼尔·拉扎德 :
求解零维代数系统。 117-132 P.菲茨帕特里克 , J.弗林 :
多变量Hensel码反演的Gröbner基技术。 133-138 尼古拉·沃罗布乔夫(Nicolai N.Vorobjov Jr.)。 :
指数不等式中多项式系统一致性判定的复杂性。 139-174 斯坦利·伯里斯 :
鉴别器种类和符号计算。 175-208 马修·迪克森 :
多项式时间中自同构的逆。 209-220 W.A.拜尔 , L.R.福塞特 , 利奥·P·哈顿 , 布莱尔·斯瓦茨 :
两个相同圆柱体共用的体积。 221-230
第13卷第3期,1992年3月
丹尼尔·拉扎德 :
关于理想理论问题上限的注记。 231-234 彼得·W·奥赫恩 , 兹比格涅夫·斯塔希尼亚克 :
有限值一阶逻辑的解析框架。 235-254 詹姆斯·雷内加 :
关于实一阶理论的计算复杂性和几何,第一部分:引言。 准备工作。 半代数集的几何。 现实存在论的决策问题。 255-300 詹姆斯·雷内加 :
关于领域一阶理论的计算复杂性和几何,第二部分:一般决策问题。 量词消除的准备工作。 301-328 詹姆斯·雷内加 :
关于实一阶理论的计算复杂性和几何,第三部分:量词消除。 329-352
第13卷第4期,1992年4月
威廉·西特 :
求解参数线性系统的算法。 353-394 Tateaki Sasaki公司 , 铃木Masayuki :
多元多项式GCD的三种新算法。 395-412 布隆斯坦 :
线性常微分方程在其系数域中的解。 413-440 约钦·多尔 , 威廉·C·罗兹 :
特征代数中的包含与半一致。 441-461
第13卷第5期,1992年5月
伯纳德·博扎米 :
多项式的乘积和多项式分解中系数的先验估计:一个尖锐的结果。 463-472 威廉·亚当斯 , A.K.波义耳 :
关于交换环上Gröbner基的一些评论。 473-484 约翰·坎尼 , 迪内什·马诺查 :
有理参数曲面的隐式表示。 485-510 罗伯特·格罗斯曼 , 理查德·拉森 :
使用标记树进行派生的符号计算。 511-524 保罗·H·诺尔斯 :
一类超越Liouvillian函数与Error函数的集成,第一部分。 525-544 理查德·法特曼 :
《数学评论》。 545-579
第13卷第6期,1992年6月
沃尔夫拉姆·科普夫 :
计算机代数中的幂级数。 581-604 莫里斯·米尼奥特 :
关于多项式最大根的乘积。 605-612 里卡多·卡费拉 , 尼古拉斯·扎贝尔 :
通过等式约束求解同时搜索拒绝和模型的方法。 613-642 J.E.F.吉马拉斯 , 格伦·赫普勒 , 斯蒂芬·查波 :
关于C的导数和约化 1 使用Maple的三角基函数 TM(TM) . 643-676 Yeow Meng Chee(杨梦琪) :
关于图形五元组系统。 677-682 W.萨雷特 , J.范登·博恩 :
二阶微分方程伴随对称性研究的简化程序。 683-693
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)