University Seminar: Logic Across Disciplines- On computable fields of reals and some applications
Fri, 14 February, 2020
5:30pm
Title: On computable fields of reals and some applications
Speaker: Victor Selivanov, Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
https://persons.iis.nsk.su/en/
Date and Time: Friday, February 14, 12:30PM-1:30PM
Place: Phillips Hall (801 22nd Street), Room 736
Abstract: In this joint work with Svetlana Selivanova we will discuss relationships of computably presentable ordered fields of reals with the field of computable reals. This have some applications to computable analysis, notably to linear algebra and to computing solutions of some linear systems of PDEs.