Scientific Conference on Computer Aided Proofs in Analysis, University of Cincinnati, Spring 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.