Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
471	1 Random Sampling • Input: – ListN ] – Length of database N (if known) – Length of sample n • Output: Add to Reading List Source URL: florian-schoppmann.net Language: English - Date: 2016-03-04 03:20:28 Statistics Mathematical analysis Probability Probability distributions Statistical theory Infinitely divisible probability distributions Reservoir sampling Sample Sampling Standard deviation Central limit theorem Consistent estimator
472	Falso: a simple, self-consistent logic Antoine Amarilli Club Inutile & Estatis, Inc. Scholarly Outreach Division 1 Accounting Dr., Mariana Trench, Intl. Waters Add to Reading List Source URL: www.ben-sherman.net Language: English - Date: 2016-08-02 11:41:55 Logic Mathematical logic Mathematics Automated theorem proving Model theory Proof theory Complexity classes Logical connectives NP IP Negation Coq
473	REFERENCE MEASURES AND THE FINE TOPOLOGY PRELIMINARY VERSION, December 5, 1999 LUTZ WEIS AND DIRK WERNER Abstract. It is proved that a positive kernel on a Polish space X has a reference measure if and only if the associ Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 1999-12-13 11:12:31 Mathematical analysis Mathematics Analysis Topology Functional analysis Distribution Metric space Banach space Borel set Continuous function BanachAlaoglu theorem Radon measure
474	317 Documenta Math. Cohomological Approaches to SK1 and SK2 of Central Simple Algebras Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:32 Algebra Abstract algebra Mathematics Conjectures Cohomology theories Homological algebra Algebraic geometry K-theory Norm residue isomorphism theorem Milnor conjecture Motivic cohomology tale cohomology
475	Average Orders of Certain Arithmetical Functions Kaneenika Sinha∗ July 26, 2006 Department of Mathematics and Statistics, Queen’s University, Kingston, Ontario, Canada K7L 3N6, email: Add to Reading List Source URL: www.iiserpune.ac.in Language: English - Date: 2013-03-06 01:53:59 Mathematics Number theory Mathematical analysis Analytic number theory Bernhard Riemann Conjectures Arithmetic functions Riemann hypothesis Riemann zeta function Square-free integer Chebyshev function Prime number theorem
476	1573 Documenta Math. Densities of the Raney Distributions Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-12-06 06:32:56 Mathematical analysis Mathematics Algebra Fourier analysis Integral transforms Meijer G-function Convolution Mellin transform Central limit theorem Holomorphic functional calculus
477	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
478	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
479	1 Punishment in Selfish Wireless Networks: A Game Theoretic Analysis Dave Levin Abstract— In currently deployed wireless networks, rational Add to Reading List Source URL: netecon.seas.harvard.edu Language: English - Date: 2009-12-16 17:13:12 Wireless networking Routing algorithms Computing Wireless Network architecture File sharing networks Wireless ad hoc network Wireless mesh network Peer-to-peer Mesh networking Wireless Routing Protocol Folk theorem
480	Asymptotic formulæ in combinatory analysis∗ Proceedings of the London Mathematical Society, 2, XVII, 1918, 75 — Introduction and summary of results 1.1 The present paper is the outcome of an attempt to apply Add to Reading List Source URL: ramanujan.sirinudi.org Language: English - Date: 2015-03-15 08:18:02 Mathematical analysis Mathematics Asymptotic analysis Arithmetic functions Analytic functions Meromorphic functions Combinatorics Partition Prime number theorem Asymptotic formula Divisor function Riemann zeta function

UPDATE