Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
591	mem-moser.qxp:44 AM Add to Reading List Source URL: www.ams.org Language: English - Date: 2000-11-14 11:13:34 Mathematical analysis Mathematics Calculus Hamiltonian mechanics Partial differential equations Operator theory KolmogorovArnoldMoser theorem Harmonic function Dynamical system Hamiltonian system Jrgen Moser Sobolev space
592	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
593	CHAPTER IV Banach spaces which are L-summands in their biduals IV.1 Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2000-06-19 16:11:08 Mathematical analysis Mathematics Algebra Functional analysis Operator theory Linear algebra Projection Open mapping theorem Von Neumann algebra Banach spaces Reflexive space Dual norm
594	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities
595	Lecture 25 Spectral Graph Theory Planar Graphs, part 1 December 2, 2009 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Graph theory Mathematics Planar graphs Planar separator theorem Graph minor Graph Topological graph theory Intersection graph Graph structure theorem
596	KINETIC PERFORMANCE: FACT SHEET kinetic.com.au Sample Rate, Comparing Apples with Oranges. There is a common misconception that GymAware only samples at 50Hz and so is less accurate than 200Hz systems. GymAware actually Add to Reading List Source URL: kinetic.com.au Language: English - Date: 2016-05-18 21:21:06 Digital signal processing Electrical engineering Mathematics Electromagnetism Sampling NyquistShannon sampling theorem Analog-to-digital converter Audio bit depth
597	Rigorous Runtime Analysis of a (µ+1) ES for the Sphere Function ∗ Carsten Witt Add to Reading List Source URL: ls2-www.cs.uni-dortmund.de Language: English - Date: 2005-07-04 05:50:15 Mathematical analysis Mathematics Analysis Measure theory Probability distributions Support Big O notation Central limit theorem
598	Max-Planck-Institut fu ¨ r Mathematik in den Naturwissenschaften Leipzig Add to Reading List Source URL: www.mis.mpg.de Language: English - Date: 2013-01-08 09:59:06 Mathematical analysis Calculus Partial differential equations Mathematics Nash embedding theorem Homotopy principle Differential geometry of surfaces Euler equations NeumannPoincar operator CauchyRiemann equations
599	147 K-Theory 15: 147–199, 1998. © 1998 Kluwer Academic Publishers. Printed in the Netherlands. Brown–Peterson Cohomology from Morava K-Theory Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-07 12:10:53 Algebra Abstract algebra Topology Algebraic topology Homotopy theory Cohomology theories Spectral sequences Group theory Cohomology Landweber exact functor theorem EilenbergMacLane space Serre spectral sequence
600	487 Documenta Math. Wedderburn’s Theorem for Regular Local Rings Manuel Ojanguren Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-07-28 13:32:03 Abstract algebra Mathematics Ring theory Algebras Commutative algebra Brauer group Central simple algebra Azumaya algebra Ring Quaternion algebra Division algebra Local ring

UPDATE