Miller theorem - PDFSEARCH.IO - Document Search Engine

Miller theorem
Results: 64

#	Item
1	A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-11-07 01:57:36
2	The Goerss-Hopkins-Miller Theorem • 05.04 Goerss-Hopkins obstruction theory (Arne Weiner) References: http://www.math.northwestern.edu/ pgoerss/papers/sum.pdf , Add to Reading List Source URL: www.math.uni-bonn.de - Date: 2007-03-27 07:15:22
3	CCCG 2009, Vancouver, BC, August 17–19, 2009 The Centervertex Theorem for Wedge Depth∗ Gary L. Miller† Todd Phillips‡ Add to Reading List Source URL: donsheehy.net Language: English - Date: 2015-01-15 16:06:03
4	A Tutorial on Lambda Prolog and its Applications to Theorem Proving Tutorial References Prolog [Miller & Nadathur]: For information on the language Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-01 04:27:46
5	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
6	Randomness and Halting Probabilities Ver´onica Becher∗ Santiago Figueira∗ Joseph S. Miller‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:49 String Discrete mathematics Sipser–Lautemann theorem Sigma-algebra Mathematical analysis Mathematics Character encoding
7	The Modigliani-Miller Theorem Add to Reading List Source URL: www.econ.uiuc.edu Language: English - Date: 2012-02-20 13:08:25
8	A KLEIMAN–BERTINI THEOREM FOR SHEAF TENSOR PRODUCTS EZRA MILLER AND DAVID E SPEYER Abstract. Fix a variety X with a transitive (left) action by an algebraic group G. Let E and F be coherent sheaves on X. We prove that Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2007-09-04 19:52:43 Homological algebra Sheaf theory Algebraic geometry Algebraic topology Sheaf Ample line bundle Coherent sheaf Grothendieck group Stalk Abstract algebra Topology Algebra
9	RECIPROCAL DOMAINS AND COHEN–MACAULAY d-COMPLEXES IN Rd EZRA MILLER AND VICTOR REINER Dedicated to Richard P. Stanley on the occasion of his 60th birthday Abstract. We extend a reciprocity theorem of Stanley about enum Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2004-04-13 13:31:40 Mathematics Algebraic combinatorics Combinatorial commutative algebra Cohen–Macaulay ring Graduate Texts in Mathematics Bernd Sturmfels Stanley–Reisner ring Commutative algebra Algebra Algebraic geometry