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. ***