Top works
via Open Library + Wikidata
Discography
Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon. Il obtient un B.A. en mathématiques de l'université Harvard en 1989 et un Ph.D. de mathématiques de l'université de Californie à Berkeley en 1995 sous la direction de . Il est actif dans les domaines de la logique mathématique et des fondements des mathématiques, vérification formelle et des preuves de théorème interactif ainsi que d'histoire et de philosophie des mathématiques.
Abstract from DBpedia / Wikipedia · CC BY-SA
via MusicBrainz · CC0
5 total works indexed
· 2021 · cited 77,634x
· 2010 · cited 30,753x
· 2015 · cited 24,297x
· 2001 · cited 18,520x
· 2015 · cited 17,413x
via Crossref · CC0
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).