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.