Mathematical Sciences Computing Research Environments

伊利诺伊大学数学系， 厄巴纳-香槟将购买一台计算服务器，工作站， 和其他辅助设备，这些设备将专门用于 支持数学科学研究。 设备 将用于多个研究项目，包括 特别是：未经证实的索赔留下拉马努金在他的笔记本电脑; 实现计算抽象数学，扩展工作 有限范畴理论和lambda演算;图形和 通过图嵌入到 GF（2）上的内积空间;拟解 一些非线性偏微分方程的显式解;和连接 群和有限状态自动机之间的区别

The Department of Mathematics of the University of Illinois at Urbana-Champaign will purchase a compute server, workstations, and other supporting equipment, 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: unproved claims left by Ramanujan in his notebooks; implementing computational abstract mathematics, extending work on finite category theory and the lambda calculus; graphs and associated simple Lie algebras via an embedding of graphs into inner product spaces over GF(2); quasisolutions for finding explicit solutions of some nonlinear PDE's; and connections between groups and finite state automata.