Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
301	2582 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 57, NO. 5, MAY 2011 Interference Networks With Point-to-Point Codes Francois Baccelli, Abbas El Gamal, Fellow, IEEE, and David N. C. Tse, Fellow, IEEE Add to Reading List Source URL: www-isl.stanford.edu Language: English - Date: 2011-07-08 16:03:58 Information theory Data transmission Information Television Channel Additive white Gaussian noise ShannonHartley theorem Stochastic geometry models of wireless networks
302	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
303	Balanced Lines, Halving Triangles, and the Generalized Lower Bound Theorem Micha Sharir∗ Emo Welzl† Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2012-06-29 10:33:30 Geometry Triangle geometry Triangle Mathematics Elementary mathematics Triangles Area Circles
304	Rubric for Grading Student Solutions Katherine E. Stange In a proof, we seek: 1. First, a complete and correct logical proof of the assertion. 2. Second, a readable exposition. Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:53:01 Education Knowledge Academia Mathematical proofs Education reform Academic transfer Statements Grading systems by country Fallacy Rubric Mathematical logic Theorem
305	The philosophy of physics meets the Tomita-Takesaki modular theory Add to Reading List Source URL: sot2012.pns.aegean.gr Language: English - Date: 2013-07-18 06:48:35 Physics Operator theory Theoretical physics Mathematical analysis Von Neumann algebras Quantum mechanics TomitaTakesaki theory Relativistic quantum mechanics Commutation theorem Heat transfer physics
306	Clifford Cohomology of hermitian manifolds L. M. Hervella, A. M. Naveira, J. Seoane-Bascoy September 6∼9, 2011 Email: One of the fundamental objects in the study of a smooth manifold M is its bundl Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Mathematical analysis Mathematics Geometry Complex manifolds Differential operators Algebraic geometry Differential geometry Vector bundles AtiyahSinger index theorem Hermitian manifold Dirac operator Ample line bundle
307	VOLUME 89, NUMBER 7 PHYSICAL REVIEW LETTERS 12 AUGUST 2002 Add to Reading List Source URL: homepages.ulb.ac.be Language: English - Date: 2011-09-06 17:32:41 Fluid dynamics Physics Mechanics Continuum mechanics Turbulence Aerodynamics Transport phenomena Equipartition theorem Size effect on structural strength Enstrophy Robert Kraichnan Energy cascade
308	Some lifting theorems for bounded linear operators DIRK WERNER I. Mathematisches Institut, Freie Universit¨at Berlin, Arnimallee 3, D-1000 Berlin 33, Federal Republic of Germany. e-mail: 1 INTR Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2011-09-16 06:24:44 Mathematical analysis Mathematics Functional analysis Operator theory Linear algebra Banach space Compact operator Dual norm Projection Continuous function HahnBanach theorem C*-algebra
309	arXiv:0909.1963v4 [math.DG] 29 MarFinite type annular ends for harmonic functions William H. Meeks III∗ Joaqu´ın P´erez† Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-03-29 20:41:12 Mathematical analysis Analytic functions Bernhard Riemann Holomorphic function Harmonic function Riemann mapping theorem Riemann surfaces Projective geometry Fourier analysis Differential forms on a Riemann surface
310	Groups in stable and simple theories Dugald Macpherson, School of Mathematics, University of Leeds, Leeds LS2 9JT,UK April 7, 2010 These are sketch notes for my lecture on the MALOA Introductory Day Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2010-08-16 05:13:00 Algebra Group theory Abstract algebra Model theory Stable group Morley rank Stable theory Linear algebraic group Algebraic group Abelian group FeitThompson theorem Structure

UPDATE