Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
801	ELSEWIER Journal of Mathematical Economics548 Core implementation and increasing returns to scale for cooperation Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Game theory Cooperative game Core Extensive-form game Subgame perfect equilibrium Mechanism design Trembling hand perfect equilibrium Solution concept Subgame Bargaining Nash equilibrium Folk theorem
802	IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: REGULAR PAPERS, VOL. 60, NO. 6, JUNERNS Reverse Converters for Moduli Sets With Dynamic Ranges up to Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2013-08-06 10:13:01 Modular arithmetic Residue number system Chinese remainder theorem Moduli Modulus Multiplicative inverse
803	arXiv:1002.0823v2 [math.CV] 8 AugNATURAL BOUNDARIES AND SPECTRAL THEORY JONATHAN BREUER1 AND BARRY SIMON2 Abstract. We present and exploit an analogy between lack of absolutely continuous spectrum for Schr¨odinge Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-08-09 21:13:52 Complex analysis Analytic functions Operator theory Analytic continuation Moduli theory Fundamental theorem of algebra Beltrami equation
804	Spectral Graph Theory Lecture 3 Laplacian and the Adjacency Matrices Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Matrix theory PerronFrobenius theorem Eigenvalues and eigenvectors Matrix Symmetric matrix Diagonal matrix Square matrix Hermitian matrix Skew-symmetric matrix
805	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
806	Sturm-Liouville Oscillation Theory for Differential Equations and Applications to Functional Analysis by ZHAONING WANG Add to Reading List Source URL: sites.williams.edu Language: English - Date: 2012-08-22 10:38:22 Ordinary differential equations Operator theory Partial differential equations Spectral theory SturmLiouville theory Oscillation theory Differential equation SturmPicone comparison theorem Wave equation
807	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
808	PYTHAGOREAN THEOREM Find the length of the side. Add to Reading List Source URL: math4children.com - Date: 2012-01-31 20:45:21
809	THE DISTRIBUTION OF CLOSED GEODESICS ON THE MODULAR SURFACE, AND DUKE’S THEOREM MANFRED EINSIEDLER, ELON LINDENSTRAUSS, PHILIPPE MICHEL, AND AKSHAY VENKATESH Abstract. We give an ergodic theoretic proof of a theorem o Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2011-09-02 01:08:56 Algebraic number theory Quadratic forms Field theory Discriminant Algebraic number field Quadratic field Ideal class group Binary quadratic form Differential geometry of surfaces Fundamental discriminant
810	Coefficient shifts in geographical ecology: an empirical evaluation of spatial and non-spatial regression Add to Reading List Source URL: islandlab.uac.pt Language: English - Date: 2016-01-04 07:34:50 Regression analysis Linear regression Ordinary least squares Coefficient of determination Autocorrelation Correlation and dependence GaussMarkov theorem Multicollinearity Standardized coefficient Residual sum of squares Generalized least squares Factor analysis

UPDATE