
Also known as Vladimir Alexandrovich Voevodsky
советский, российский и американский математик, лауреат Филдсовской премии
Top works
via Open Library + Wikidata
Discography
Владимир Александрович Воеводский (4 июня 1966, Москва — 30 сентября 2017, Принстон, Нью-Джерси) — советский, российский и американский математик, внёсший значительный вклад в алгебраическую геометрию и основания математики. Лауреат Филдсовской премии (2002), постоянный профессор Института перспективных исследований. Среди основных результатов на стыке алгебраической геометрии и алгебраической топологии — построение теории и доказательство её средствами и , составлявших существенную проблемную часть . В области оснований математики инициировал и внёс решающий вклад в программу создания унивалентных оснований математики — формального языка для абстрактных разделов математики, обеспечивающего автоматическую проверку доказательств на компьютере.
Abstract from DBpedia / Wikipedia · CC BY-SA
via MusicBrainz · CC0
Research areas
Most cited works
via OpenAlex · CC0
5 total works indexed
· 1995 · cited 30,273x
· 1995 · cited 17,891x
· 2015 · cited 17,413x
· 2009 · cited 13,946x
· 1995 · cited 11,462x
via Crossref · CC0
via Wikiquote · CC BY-SA
via Wikipedia infobox
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).