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

计算机辅助分析证明科学会议，辛辛那提大学，1989 年春季

• 批准号: 8813783
• 负责人: Kenneth Meyer
• 金额: --
• 依托单位: University of Cincinnati Main Campus
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-09-01 至 1989-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8813783&HistoricalAwards=false
• 关键词: Scientific; Conference; Computer; Aided; Proofs

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.

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