U.S.-Western Europe Workshop on Quantifier Elimination and Cylindrical Algebraic Decomposition; Linz, Austria; October, 1993

9224304 Caviness这个奖项支持11位美国数学家和计算机科学家（包括7位研究生）参加1993年10月在奥地利林茨附近举行的关于计算机代数的小型研讨会。这次会议是由特拉华大学的Bobby F. Caviness教授、德雷克塞尔大学的Jeremy Johnson教授和奥地利林茨约翰内斯开普勒大学符号计算研究所（RISC）的Bruno Buchberger教授共同组织的。尽管RISC成立仅几年，但它已经成为数学和计算机科学领域的一个主要中心，该领域涉及一个被称为圆柱代数分解（CAD）的过程。本次研讨会将首次汇集来自欧洲和美国的许多主要研究人员，对当前有关（CAD）的知识进行回顾和综合。在研讨会之前，将有一个为期一天的指导研讨会，向非专业参与者（主要是美国和奥地利的研究生和最近的博士）介绍基础知识。会议记录将发表在即将出版的RISC符号计算系列中，该系列将由Springer-Verlag出版。圆柱代数分解是为了获得初等代数和几何理论中改进的量词消去方法而设计的过程。许多重要的数学问题都可以用这个理论来表述，并通过量词消去来解决。因此，CAD是自动化数学的一个重大突破，它在许多最新技术（例如，机器人运动）中有重要的应用。作为符号计算更广泛领域的一部分，它需要在计算机系统和形式数学方面进行广泛的训练，它为未来的软件开发开辟了一些最有希望的方向。＊＊＊

9224304 Caviness This award supports the participation of eleven U.S. mathematicians and computer scientists (including seven graduate students) in a small symposium about computer algebra to be held near Linz, Austria, in October, 1993. The meeting is co-organized by Professors Bobby F. Caviness of the University of Delaware, Jeremy Johnson of Drexel University and Bruno Buchberger of the Research Institute for Symbolic Computation (RISC) at the Johannes Kepler University in Linz, Austria. Though established only a few years ago, RISC has become a major center in areas of mathematics and computer science relevant to a process known as cylindrical algebraic decomposition (CAD). The symposium will bring together many leading researchers from Europe and the U.S. for the first time to review and synthesize current knowledge about (CAD). There will be a one-day tutorial workshop in advance of the symposium to introduce the fundamentals to the non-expert participants (principally U.S. and Austrian graduate students and recent PhD's.) Proceedings will be published in a forthcoming RISC series on symbolic computation that will be published by Springer-Verlag. Cylindrical algebraic decomposition is a process devised to obtain an improved quantifier elimination method for the theory of elementary algebra and geometry. Many important mathematical problems can be stated in this theory and solved through quantifier elimination. CAD is therefore a major breakthrough in automating mathematics and it has important applications in many recent technologies (e.g., robot motion.) As part of the broader field of symbolic computation, requiring extensive training in both computer systems and formal mathematics, it opens some of the most promising directions for future software development. ***