Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
451	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
452	Physics Internal to Galaxies Calculating Galaxy Dynamics • Add to Reading List Source URL: bahamut.sese.asu.edu Language: English - Date: 2008-02-11 17:41:20 Mathematical analysis Functional analysis Mathematics Physics Statistical mechanics Dynamics Virial theorem Distribution Dynamical system Boltzmann equation Dual space Galaxy
453	Crowding Games are Sequentially Solvable Add to Reading List Source URL: faculty.biu.ac.il Language: English - Date: 2012-06-23 16:23:30 Game theory Mathematics Nash equilibrium Subgame perfect equilibrium Subgame Trembling hand perfect equilibrium Extensive-form game Backward induction Potential game Normal-form game Folk theorem
454	Colloquium Department of Computer Science Dr. Koushik Sinha Koushik Sinha is a Senior Software Engineer with the Social Computing Group of Qatar Computing Research Institute. He has over 10 years of experience in applied Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2015-03-23 12:09:58 Data transmission Computing Media technology Information Bit error rate Channel Acknowledgement Noisy-channel coding theorem SENT Telecommunication Communications protocol Additive white Gaussian noise
455	Infinitely Repeated Games with Discounting Page 1 Infinitely Repeated Games with Discounting Add to Reading List Source URL: www.virtualperfection.com Language: English - Date: 2010-04-18 23:59:21 Game theory Mathematics Human behavior Folk theorem Repeated game Nash equilibrium Subgame perfect equilibrium Outcome Trembling hand perfect equilibrium Subgame
456	Stable Models for the Distribution of Equity Capital Robert Fernholz INTECH One Palmer Square Princeton, NJ 08542 Add to Reading List Source URL: www.istfin.eco.usi.ch Language: English - Date: 2009-01-27 08:16:36 Mathematics Mathematical analysis Statistical theory Law of large numbers Stochastic processes Stochastic portfolio theory Equations Probability distributions Mathematical finance Central limit theorem
457	Smooth number estimates Rome, January 2009 Lemma. Let a ∈ R>0 and let φa : R>0 −→ R be the function given by φa (x) = x log x + Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2010-12-15 17:05:16 Special functions Mathematics Mathematical analysis Logarithms Loglog plot Exponentiation Conjectures Prime number theorem Quantum relative entropy
458	AAAI Proceedings Template Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:36:39 Logic Reasoning Ontology Rules of inference Automated theorem proving Resolution Cyc Inference Semantic reasoner First-order logic Decision tree model CARINE
459	ON A THEOREM OF OSSA DAVID COPELAND JOHNSON AND W. STEPHEN WILSON (Communicated by Thomas G. Goodwillie) Abstract. If V is an elementary abelian 2-group, Ossa proved that the connective K-theory of BV splits into copies Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Mathematics Homotopy theory Algebraic topology Cohomology Spectrum P-group Steenrod algebra Abelian group Algebraic geometry Classifying space for U
460	The Annals of Probability 1998, Vol. 26, No. 2, 602–643 OCCUPATION TIME LARGE DEVIATIONS FOR CRITICAL BRANCHING BROWNIAN MOTION, SUPER-BROWNIAN MOTION AND RELATED PROCESSES Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:57:57 Statistical theory Mathematical analysis Mathematics Central limit theorem Probability distributions Symbol Table of stars with Bayer designations

UPDATE