Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
791	Worksheet on Inverse Functions November 17, Warmup Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Functions and mappings Injective function Surjective function Bijection injection and surjection Bijection Inverse function Morphism Function Epimorphism AxGrothendieck theorem
792	Group Formation with Fixed Group Size: Complementarity vs Substitutability Christian Ahlin∗ MarchAbstract Add to Reading List Source URL: thred.devecon.org Language: English - Date: 2014-06-28 17:11:22 Game theory Order theory Supermodular function Economic equilibrium Folk theorem Matching
793	Inference from high-frequency data: A subsampling approach∗ K. Christensen† M. Podolskij‡,† Add to Reading List Source URL: www.cb.cityu.edu.hk Language: English - Date: 2016-07-08 00:04:03 Estimation theory Statistical theory Statistical inference Econometrics Normal distribution Estimator Variance Central limit theorem Efficiency Volatility Consistent estimator Heteroscedasticity
794	31 Documenta Math. How Frequent Are Discrete Cyclic Subgroups of Semisimple Lie Groups? Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-12-05 06:18:16 Lie groups Maximal compact subgroup Lie algebra Zonal spherical function Plancherel theorem for spherical functions
795	Example Combinatorial Proof October 11, 2015 Theorem 1. For all non-negative n, k ∈ Z, Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Combinatorics Enumerative combinatorics Mathematical proofs Combinatorial proof Integer sequences Probability theory Binomial coefficient Bijective proof
796	Visibility in Random Forests Abigail Turner, Ananya Uppal, Peng Xu, Amita Malik (Graduate Student), Prof. Jayadev Athreya, Prof. Francesco Cellarosi (Faculty Mentors) Overview Add to Reading List Source URL: www.math.illinois.edu Language: English - Date: 2014-09-25 12:50:52 Probability distributions Number theory Infinitely divisible probability distributions Probability theory Poisson processes Farey sequence Coprime integers Normal distribution Central limit theorem Random variable Exponential distribution
797	TAKE-HOME CLASS QUIZ: DUE WEDNESDAY OCTOBER 30: LINEAR TRANSFORMATIONS AND FINITE STATE AUTOMATA MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE FEEL FREE TO DISCUSS ALL QUESTIONS. Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Algebraic structures Functions and mappings Linear algebra Operator theory Matrix Ring Idempotent matrix Linear map Plancherel theorem for spherical functions Beltrami equation
798	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid
799	ON TWO QUESTIONS OF ENTIN, KEATING, AND RUDNICK ON PRIMITIVE DIRICHLET CHARACTERS NICHOLAS M. KATZ Abstract. This is Part II of the paper “A question of Keating and Rudnick about primitive Dirichlet characters with squ Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2014-07-12 15:19:21 Dirichlet L-function Conductor Dirichlet character Burnside theorem Clifford theory
800	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe

UPDATE