马尔科姆·麦克勒姆（Malcolm A.H.MacCallum）。;弗朗西斯·赖特。 使用REDUCE进行代数计算。1989年7月24日至8月11日在巴西里约热内卢举行的巴西第一所计算机代数学校的课堂讲稿。 （英文） Zbl 0755.68015号 牛津科学出版物。牛津：大学出版社（克拉伦登出版社）。二十、 第294页（1991年）。 [本卷中的文章不会单独编入索引。]据介绍，这本书起源于一所计算机代数学校。这所学校于1990年在里约热内卢授课，旨在促进计算机代数作为一种科学工具在巴西的传播和使用。学校的参与者没有计算机代数方面的经验。学校分为两部分，第一部分提供了关于REDUCE和MAPLE的基础课程，显然，第二部分提供了更高级的问题。本书起源于第一部分，以REDUCE的介绍和第一个练习为内容。然而，它不仅集中于这些目标，而且为整个计算机代数问题提供了良好的入门课程。作者的意图是，他们的文本应该补充REDUCE的文档，REDUCE是最早也是最成熟的计算机代数系统之一。REDUCE是用LISP（PSL-portable standard LISP）编写的，其实现适用于各种计算机和计算机体系结构。可以使用REDUCE的机器从Atari扩展到大型主机。此外，REDUCE不仅是一个可变系统，而且似乎是唯一可以获得完整源代码的系统。这一事实不应被低估，因为评论员认为，在科学中使用的所有工具原则上都可以由依赖它们的科学家检查，这可能是一个科学完整性问题。本书首先简要概述了现有的计算机代数系统，两年后的今天，这一概述已经过时。因此，作者明智地缩短了这一部分。简要介绍了REDUCE，它的交互功能以及它对科学计算器的使用。然后，“顺便”介绍了一些可以由REDUCE处理的数据类型。这个有用的部分是由一些练习完成的，从初级到高级不等。第二章讨论了输入和输出，并进一步讨论了局部和全局替代的重要问题。然后，在下一章中，简要介绍了作为编程语言的REDUCE。必要的控制结构尽可能详细和简短。在这里，与所有其他章节一样，再次介绍练习。这些练习本身很有趣，它们让REDUCE或任何其他计算机代数系统的用户能够很好地了解此类系统的功能和可能性。在第四章中，在编译的背景下讨论了过程和操作符之间的区别。在大多数REDUCE实现中都可以编译运算符，这是其他计算机代数系统的一个优点。这是可能的，因为REDUCE是基于LISP的，LISP支持编译程序的动态链接，而在大多数基于C的系统中，这是无法实现的。此外，这一重要章节对系统本身的体系结构和结构及其参数传递方法有了更深入的了解。本章以更详细介绍的常微分方程或泰勒公式等示例结束。接下来是对使用的数据结构和REDUCE的逻辑基础的更详细的讨论。本书的其余部分涉及计算机代数中一些更重要的算法，如多项式因子分解、积分和Gröbner基。尽管这本书主要面向用户介绍REDUCE，这是一个未来可能被具有更先进和最新体系结构和设计的系统所取代的系统，但这本书本身有能力对应用计算机代数这一主题进行简明而翔实的介绍。因此，它与它所基于的系统无关，可以在有关该主题的入门课程中使用。它写得很好，练习很有价值，文档也相当完整。审核人：B.Fuchssteiner（帕德博恩） 引用于1审查引用于5文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68瓦30 符号计算和代数计算 关键词：里约热内卢（巴西）;代数计算;巴西学校;计算机代数;减少;LISP公司 软件：减少;枫树 PDF格式BibTeX公司 XML格式引用 \textit{M.A.H.MacCallum}和\textit{F.J.Wright}，使用REDUCE的代数计算。1989年7月24日至8月11日在巴西里约热内卢举行的巴西第一所计算机代数学校的课堂讲稿。牛津：大学出版社（克拉伦登出版社）（1991；Zbl 0755.68015）