Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
851	Proceedings of Symposia in Pure Mathematics Multiple Hurwitz Zeta Functions M. Ram Murty and Kaneenika Sinha Abstract. After giving a brief overview of the theory of multiple zeta functions, we derive the analytic conti Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2007-09-23 19:54:59 Analytic number theory Bernhard Riemann Riemann zeta function Hurwitz zeta function Dirichlet L-function Riemann hypothesis Zeta Prime number theorem Zeta function regularization Real analytic Eisenstein series
852	Distributed Computing manuscript No. (will be inserted by the editor) Distributed Minimum Dominating Set Approximations in Restricted Families of Graphs Christoph Lenzen · Yvonne-Anne Pignolet · Roger Wattenhofer Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 NP-complete problems Maximal independent set Treewidth Arboricity Dominating set Planar graph Independent set Matching Graph minor Bipartite graph Line graph Planar separator theorem
853	coloring triangle-free planar graphs with a precolored 9-cycle Add to Reading List Source URL: orion.math.iastate.edu Language: English - Date: 2015-01-29 17:07:54 Graph coloring Planar graph Nowhere-zero flow Four color theorem Chordal graph Triangle-free graph Interval edge coloring Outerplanar graph
854	Algorithmic Game Theory Summer 2015, Week 1 Introduction to Congestion Games ETH Z¨ Add to Reading List Source URL: www.cadmo.ethz.ch Language: English - Date: 2016-01-25 09:13:39 Game theory Congestion game Potential game Nash equilibrium Best response Strategy Kakutani fixed-point theorem
855	Sequential Equilibrium in Monotone Games: Theory-Based Analysis of Experimental Data∗ Syngjoo Choi† Douglas Gale‡ Add to Reading List Source URL: www.econ.nyu.edu Language: English - Date: 2006-12-19 19:53:47 Game theory Nash equilibrium Trembling hand perfect equilibrium Sequential equilibrium Strategy Markov perfect equilibrium Folk theorem Quantal response equilibrium Solution concept Coordination game Backward induction Risk dominance
856	Quantum Information Chapter 10. Quantum Shannon Theory John Preskill Institute for Quantum Information and Matter California Institute of Technology Add to Reading List Source URL: www.theory.caltech.edu Language: English - Date: 2016-06-14 13:00:18 Information theory Quantum information theory Quantum mechanics Quantum information science Inequalities Entropy Conditional entropy Entanglement distillation Quantum information Von Neumann entropy Mutual information Noisy-channel coding theorem
857	ARITHMETIC ELLIPTIC CURVES IN GENERAL POSITION Shinichi Mochizuki February 2009 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-02 13:48:32 Algebraic geometry Algebraic varieties Group theory Divisor Projective variety Elliptic curve Blowing up Ring Prime number theorem Ample line bundle
858	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
859	REDUCED FUSION SYSTEMS OVER p-GROUPS WITH ABELIAN SUBGROUP OF INDEX p: II DAVID A. CRAVEN, BOB OLIVER, AND JASON SEMERARO Abstract. Let p be an odd prime, and let S be a p-group with a unique elementary abelian subgroup Add to Reading List Source URL: www.math.univ-paris13.fr Language: English - Date: 2016-06-26 04:22:54 Group theory Sylow theorems Abelian group P-group Index of a subgroup XTR Subgroup Center Direct product of groups Quotient group Focal subgroup theorem FeitThompson theorem
860	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme

UPDATE