City: Saint-Petersburg Kazan Language: Русский English

Юрий Владимирович Матиясевич

ПОМИ РАН

Академик Российской академии наук, доктор физико-математических наук, член экспертной комиссии РСОШ по математике

Course offerings

Course Semester
Tarski's Algorithm autumn 2008
Hilbert's tenth problem. Solution and applications in Computer Science spring 2010
What can be done with real numbers and cannot be done with integers autumn 2013
Tarski's Algorithm autumn 2017

Photos