Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
761	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
762	Geometric, Algebraic and Analytic Descendants of Nash Isometric Embedding Theorems. Misha Gromov October 9, 2015 Contents Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2015-10-14 05:07:59 Differential topology Maps of manifolds Riemannian manifolds Differential geometry of surfaces Nash embedding theorem Embedding Homotopy principle Immersion Differential geometry Riemannian geometry Manifold Curvature
763	345 Documenta Math. Some Endoscopic Properties of The Essentially Tame Jacquet-Langlands Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2016-05-24 13:07:23 Representation theory of Lie groups Langlands classification Local Langlands conjectures Symbol Plancherel theorem for spherical functions
764	sets-graph-msuc-opt.ipeps Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:43 Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian
765	Erkenn:1091–1117 DOIs10670ORIGINAL ARTICLE Risk and Tradeoffs Lara Buchak Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Decision theory Utility Game theory Risk Motivational theories Expected utility hypothesis Risk aversion Subjective expected utility Marginal utility Rationality Von NeumannMorgenstern utility theorem Ellsberg paradox
766	SPECIAL SESSIONSpecial Session 13: Global Dynamics in Hamiltonian Systems Rafael de la Llave, Georgia Institute of Technology, USA Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:27 Hamiltonian mechanics Dynamical systems KolmogorovArnoldMoser theorem Classical mechanics Integrable system Action-angle coordinates Foliation Hamiltonian system Mathematical formulation of quantum mechanics
767	487 Documenta Math. Wedderburn’s Theorem for Regular Local Rings Manuel Ojanguren Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-07-28 13:32:03 Ring theory Algebras Commutative algebra Brauer group Central simple algebra Azumaya algebra Ring Quaternion algebra Division algebra Local ring Krull dimension Separable algebra
768	COMPUTING SHORTEST PATHS USING SPARSE GAUSSIAN ELIMINATION Aydın Bulu¸c, John Gilbert, Sivan Toledo SIAM Workshop on Network Science 2014 July 6-7 · Chicago For example, U ∗ encodes the paths from lower numbered Add to Reading List Source URL: siam.org Language: English - Date: 2014-06-30 13:57:26 Routing algorithms Network theory Graph theory Graph connectivity Dynamic programming FloydWarshall algorithm Shortest path problem Distance Path Planar separator theorem Edge disjoint shortest pair algorithm
769	907 Documenta Math. Convergence of Voevodsky’s Slice Tower Marc Levine1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-07-08 08:43:52 Homological algebra Conjectures Witt group Norm residue isomorphism theorem Triangulated category Homotopy theory
770	GLOBAL SOLVABLY CLOSED ANABELIAN GEOMETRY Shinichi Mochizuki July 2006 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 02:03:34 Galois theory Algebraic number theory Class field theory Galois group Splitting of prime ideals in Galois extensions Galois extension tale fundamental group Galois cohomology Norm residue isomorphism theorem Abelian extension Field extension Fundamental theorem of Galois theory

UPDATE