Andrej Bauer: Domain Theory for Real number computation 2

Datum objave: 30. 11. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Abstract: We will discuss how to use the interval lattice for real-number computation. A novely with respect to the traditional view is that we use both under- and over- approximations of elements. This makes it possible to make both positive and negative observations about reals.