| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Graphs on surfaces and curves over number fields
|
|||
|
|
|||
|
On Voevodsky's papers G. B. Shabat Russian State University for the Humanities, Moscow |
|||
|
Abstract: A brief summary of Voevodsky's works is given. Particular attention is paid to works on automatic proof checking. |
|||