信息科学技术学院计算机科学系学术讲座（三）

信息科学技术学院计算机科学系学术讲座（三）
 
题  目：Exact real arithmetic - real numbers from the viewpoint of a computer scientist
报告人：Prof. Norbert Mueller  University of Trier Germany
报告人简介：Dr. Norbert Mueller是德国University of Trier计算机系教授，系主任。研究领域为计算机数值的精确计算算法，计算复杂性理论以及实时系统的数值模拟方法。在计算机领域的国际顶尖杂志和会议如ICALP, Theoretical Computer Science及Journal of Logic and Algebraic Programming上发表论文多篇。Norber Mueller根据TTE理论模型和实践经验开发出了软件包iRRAM，iRRAM 是一款面向实数精确计算的C++软件包，可以以任意精度计算常见的实函数。iRRAM在实际应用中取得了巨大成功，并且先后在2000 年和2005 年获国际RNC(Real Numbers and Computers)会议的软件奖。
时  间：2011年9月27日（周二）上午10：00
地  点：教学大楼A1003室
 
热烈欢迎广大感兴趣的师生参加!
 
信息科学技术学院
2011年9月26日
 
作者：吉念宁