符号计算杂志,1997年第23卷
第23卷第1期,1997年1月
罗伯特·尼文胡斯 , 阿尔伯特·鲁比奥 :
具有内置交流理论和符号约束的准调制。 1-21 克里斯托弗·林奇 :
定向等式逻辑编程完成。 23-45 阿德尔·布胡拉 :
用测试集归纳法自动证明定理。 47-77 Yuichi Kaji先生 , 藤原彻 , 加山忠雄 :
用树自动机求解约束替换下的统一问题。 79-117 B.M.布朗 , 迈克尔·S·P·伊斯坦 , D.K.R.麦科马克 :
计算一类线性微分系统渐近解的新算法。 119-131
第23卷,第2/3期,1997年2月/3月
劳雷亚诺·冈萨雷斯-维加 :
利用多维牛顿公式隐式化参数曲线和曲面。 137-151 托马斯·塞德伯格 , 罗恩·戈德曼 , 杭都 :
用移动代数曲线的方法隐式有理曲线。 153-175 Hoon Hong公司 :
嵌套圆曲线的隐式化。 177-189 J.拉斐尔·森德拉 , 弗兰兹·温克勒 :
最优域扩张上代数曲线的参数化。 191-207 马克·范·霍伊 :
使用标准除数对代数曲线进行有理参数化。 209-227 米查尔·穆努克 :
计算伴随曲线的代数方法。 229-240 托马斯·雷西奥 , J.拉斐尔·森德拉 :
真实曲线的真实重参数化。 241-254 马丁·彼得内尔 , 赫尔穆特·波特曼 :
计算渠道表面的合理参数化。 255-266 恩里克·阿隆多 , 胡安娜·森德拉 , J.拉斐尔·森德拉 :
超曲面的参数化广义偏移。 267-285 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
构造性几何约束求解中的符号约束。 287-299 里达·法鲁基 :
二次曲线偏移的二次曲线近似。 301-313 Chandrajit L.Bajaj先生 , 徐国良 :
实代数曲面的样条逼近。 315-333
第23卷第4期,1997年4月
尤金·M·卢克斯 , 费伦斯·拉科奇 , 查尔斯·赖特 :
幂零置换群的一些算法。 335-354 Hoon Hong公司 :
成分下的副产物。 355-365 艾米·费尔蒂 , 洛朗·塞里 :
用时序逻辑进行交互式定理证明。 367-397 阿尔芬斯·盖瑟 :
Omega终止对于完全终止的术语重写系统来说是不确定的。 399-411
塞巴斯蒂安·维尼奥 :
SP是用计算机代数系统实现的舒伯特多项式包。 枫木。 413-425 罗伯特·M·科尔利斯 , 大卫·J·杰弗里 , 迈克尔·莫纳根 , 普拉蒂巴 :
使用大表达式管理的流体力学中的两个扰动计算。 427-443
第23卷,第5/6期,1997年5月/6月
Beatrice Amrhein公司 , 奥利弗·格洛尔 , 罗曼·梅德 :
基于计算机代数系统的数学课程可视化。 447-452 奈杰尔·波士顿 :
利用计算机教授群体理论并引导学生进行研究。 453-458 约翰·坎农 , 凯瑟琳·帕约斯特 :
在抽象代数课程中使用Magma计算机代数系统。 459-484 罗伯特·M·科尔利斯 , 大卫·J·杰弗里 :
科学计算:革命的一部分。 485-495 大卫·波克拉斯·雅各布斯 :
计算非结合代数课程。 497-502 埃里希·卡尔托芬 :
计算抽象代数教学。 503-515 伊丽莎白·曼斯菲尔德 , 彼得·克拉克森 :
微分代数包的应用 差异2 微分方程的经典对称性。 517-533 迈克尔·莫纳根 :
工作表和笔记本:我们能用它们教数学算法吗? 535-549 尼古拉斯·罗比多 :
计算机代数与插值:课程计划。 551-576 加里·谢尔曼 :
尝试用本科生和计算机做群体理论。 577-587 威廉·西特 :
传统微分方程课程的数学笔记本。 589-623
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)