U.S.-Germany Cooperative Research on Word and Unification Problems and Automated Reasoning

9401087 Narendran该奖项支持Paliath Narendran、Deepak Kapur和奥尔巴尼大学的两名研究生与卡塞尔大学的Freidrich Otto教授以及凯撒斯特恩大学计算机科学系的Klaus Madlener和Jurgen Avenhaus教授进行交流。 他们都是公认的杰出贡献的各个领域之间的共同利益，其中包括符号计算，定理证明，统一和代数问题有关的术语重写。 美国的参与者在自动推理和符号计算方面特别强大，他们在这些领域的理论和实践方面都很活跃。 他们的兴趣和专业知识与他们备受推崇的德国同事非常匹配和互补。 这项工作有直接关系到定理证明和约束求解，这是新兴的关键技术，在未来的编程系统。 因此，这些创新的数学家和计算机科学家之间的这种合作的结果很可能是理论上的进步，将在设计和使用编程语言和符号计算系统的实际价值。 两名研究生的参与将是他们研究生涯早期阶段的宝贵经验。 ***

9401087 Narendran This award supports Paliath Narendran, Deepak Kapur and two graduate students of the University of Albany, to interact with Professors Freidrich Otto of the University of Kassel and Klaus Madlener and Jurgen Avenhaus of the Computer Science Department of the University of Kaiserslautern. All of them are widely recognized for their outstanding contributions to various areas among their mutual interests, which include symbolic computation, theorem proving, unification and algebraic issues related to term rewriting. The U.S. participants are particularly strong in automated deduction and symbolic computation, and they have been active in both theoretical and practical aspects of these fields. Their interests and expertise are well matched and complemented by their highly regarded German colleagues. This work has direct relevance to theorem proving and constraint solving, which are emerging as crucial technologies in future programming systems. Therefore the results of this collaboration among these innovative mathematicians and computer scientists are very likely to be theoretical advances that will have practical value in designing and using programming languages and symbolic computation systems. The involvement of the two graduate students will be a valuable experience at an early stage in their research careers. ***