Vladimir Voevodsky - PDFSEARCH.IO - Document Search Engine

Vladimir Voevodsky
Results: 29

#	Item
1	Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: Italian - Date: 2013-05-09 12:23:29
2	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
3	671 Documenta Math. Cancellation Theorem Vladimir Voevodsky Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:41 Algebra Abstract algebra Mathematics Algebraic geometry Divisor Morphism of algebraic varieties Flat morphism Finite morphism Cohomology Triangulated category Motive Ring
4	Documenta Mathematica Extra Volume: Andrei A. Suslin’s Sixtieth Birthday, 2010 Preface 1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-22 06:14:55 Quadratic forms Isotropic quadratic form Vladimir Voevodsky K-theory Cohomology Alexander Merkurjev
5	MILNOR K-THEORY AND MOTIVIC COHOMOLOGY MORITZ KERZ Abstract. These are the notes of a talk given at the Oberwolfach Workshop K-TheoryWe sketch a proof of Beilinson’s conjecture relating Milnor K-theory and motiv Add to Reading List Source URL: www.mathematik.uni-regensburg.de Language: English Algebraic geometry Conjectures K-theory Cohomology theories Homological algebra Milnor K-theory Milnor conjecture Norm residue isomorphism theorem Motivic cohomology Algebraic K-theory Cohomology Vladimir Voevodsky
6	Documenta Mathematica Extra Volume: Andrei A. Suslin’s Sixtieth Birthday, 2010 Preface 1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-22 06:14:55 Quadratic forms Isotropic quadratic form Vladimir Voevodsky K-theory Cohomology Alexander Merkurjev
7	1 Documenta Math. Preface Over four decades, Andrei Suslin has conducted inspirational research at St. Petersburg University (LOMI) and Northwestern University. Andrei’s impact on Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-22 06:14:33 Andrei Suslin Fields Medalists Vladimir Voevodsky Motivic cohomology Eric Friedlander Serre conjecture Algebraic K-theory Conjectures K-theory Alexander Merkurjev
8	671 Documenta Math. Cancellation Theorem Vladimir Voevodsky Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:41 Algebraic geometry Divisor Morphism of algebraic varieties Flat morphism Finite morphism Cohomology Triangulated category Motive Ring Coherent sheaf Sheaf Proper morphism
9	A very short note on homotopy λ-calculus Vladimir Voevodsky September 27, 2006, October 10, 2009 The homotopy λ-calculus is a hypothetical (at the moment) type system. To some extent one may say that Hλ is an attempt Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22
10	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2015-07-02 02:41:38