Enhancing imperative exact real arithmetic with functions and logic

主讲人: 
Enhancing imperative exact real arithmetic with functions and logic
活动时间: 
星期二, 九月 29, 2009 - 09:00 to 11:00
活动地址: 
文科楼313

摘要:\r\nIn the near past, there have been many approaches to `implement'\r\nconstructive\r\nanalysis, many of them with the use of functional programmig languages.\r\nIn this paper we present a similar approach based on the iRRAM-package which\r\nhas been acknowledged as a fast package for exact real arithmetic in C++.\r\n