Avigad, Jeremy.
Avigad, Jeremy 1968-
Jeremy Avigad American mathematician
Avigad, Jeremy, 19..-....
VIAF ID: 317287307 ( Personal )
Permalink: http://viaf.org/viaf/317287307
Preferred Forms
-
-
-
- 100 1 _ ‡a Avigad, Jeremy
-
- 100 1 _ ‡a Avigad, Jeremy ‡d 1968-
- 100 1 _ ‡a Avigad, Jeremy, ‡d 19..-....
-
- 100 0 _ ‡a Jeremy Avigad ‡c American mathematician
4xx's: Alternate Name Forms (13)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Interactive theorem proving, [2018]: | |
A Language for Mathematical Knowledge Management | |
Mathematical logic and computation | |
Metastability in the Furstenberg-Zimmer tower | |
Philosophy of mathematics | |
Les représentations en mathématiques |