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.