Mathematical Sciences: Computations in Mathematical Research

数学科学：数学研究中的计算

• 批准号: 9305483
• 负责人: Robert Colby
• 金额: $ 1.7万
• 依托单位: University of Hawaii
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-01 至 1994-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9305483&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Computations; Research

The Department of Mathematics at the University of Hawaii will purchase computer equipment and software which will be dedicated to the support of research in the mathematical sciences. The equipment will be used for several research projects, including in particular: Differentiation and the Distribution of Zeros of Functions; Lattice Theory; Learning, Generalization and Model Construction in First-Order Logic; and Symbolic and Numerical Analysis of Ordinary and Partial Differential Equations. The first project is concerned with the effect of differentiation of the distribution of zeros of polynomials and certain other functions. New techniques involving geometric mapping properties will be employed to study several well-- known conjectures. The second project will use recent advances in free and finitely presented lattices to study unsolved problems in lattice theory, including solving equations in free lattices and finding the covers of finitely generated lattice varieties. The third project will study various aspects of mechanical theorem proving. The fourth project will search for normal forms and natural geometric structures associated with control systems.

夏威夷大学数学系将购买计算机设备和软件，专门用于支持数学科学研究。 该设备将用于几个研究项目，特别是包括：微分和零点分布的功能;格理论;学习，推广和模型建设在一阶逻辑;和符号和数值分析的常微分方程和偏微分方程。 第一个项目涉及多项式和某些其他函数的零点分布的微分效应。 涉及几何映射性质的新技术将被用来研究几个著名的几何图形。 第二个项目将利用自由和非线性格的最新进展来研究格理论中未解决的问题，包括求解自由格中的方程和寻找非线性格生成的格簇的覆盖。 第三个项目将研究机械定理证明的各个方面。 第四个项目将搜索与控制系统相关的正常形式和自然几何结构。