Scientific Conference on Computer Aided Proofs in Analysis, University of Cincinnati, Spring 1989

1989年春，将在辛辛那提大学举行一次为期三到四天的会议，讨论如何将代数处理器用作纯数学和应用数学的工具。它将汇集来自不同学科的研究人员，他们在工作中使用代数处理器，通用计算机包的开发人员，计算机行业的代表，以及希望了解这些发展的感兴趣的科学家。全体会议和投稿的论文预计将处理数学定理的计算机辅助证明、精确计算、新的代数算法和软件开发。还将分配示威和非正式讨论的时间。会议应该有助于促进代数处理器在数学中的使用，也可能在其他科学中使用，还应该促进开发更好的代数处理软件。

A three or four day conference on the use of algebraic processors as a tool in pure and applied mathematics will be held at the University of Cincinnati in the spring of 1989. It will bring together researchers from various disciplines who are using algebraic processors in their work, developers of general computer packages, representatives of the computer industry, and interested scientists who wish to learn about these developments. Plenary sessions and contributed paprs are expected to deal with computer-aided proofs of mathematical theorems, exact calculations, new algebraic algorithms, and software development. Time for demonstrations and informal discussions will also be allocated. Conference should help to promote the use of algebraic processors in mathematics and probably in other sciences as well, and should also promote the dvelopment of better software for algebraic manipulation.