Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
821	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
822	www.mathsrevision.com x x Process Add to Reading List Source URL: www.mathsrevision.com Language: English - Date: 2010-12-17 15:38:55 Equations Trigonometry Triangles Analytic functions Arithmetic Factorization Trigonometric functions Equation solving Pythagorean theorem Hypotenuse
823	145 Documenta Math. Integral Mixed Motives in Equal Characteristic Denis-Charles Cisinski, Fr´ Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-09-07 05:31:53 Algebraic geometry Homological algebra Sheaf theory Topos theory Cohomology theories Motivic cohomology Nisnevich topology Motive H topology Norm residue isomorphism theorem Grothendieck topology Six operations
824	551 Documenta Math. Motivic Landweber Exactness Niko Naumann, Markus Spitzweck, Paul Arne Østvær Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-11-24 06:29:12 Algebraic topology Algebraic geometry Homological algebra Homotopy theory Landweber exact functor theorem Motivic cohomology Cohomology Algebraic K-theory Motive Complex cobordism Triangulated category Cobordism
825	Invent. math. 174, 555–DOI: s00222x Mixed Hodge polynomials of character varieties With an appendix by Nicholas M. Katz Tam´as Hausel1 , Fernando Rodriguez-Villegas2 Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2008-11-27 11:43:31 Homological algebra Hodge theory Conjectures Algebraic geometry Polynomials Hodge structure Lefschetz hyperplane theorem Macdonald polynomials Weil conjectures Betti number Finite field Hodge conjecture
826	Colouring Graphs When the Number of Colours is Almost the Maximum Degree∗ Michael Molloy Dept of Computer Science, University of Toronto 10 Kings College Rd. Toronto, ON, Canada, M5S 3G4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-01-05 22:31:04 Graph coloring Graph theory Graph operations Clique Degree Neighbourhood Graph Perfect graph theorem Extremal graph theory
827	Liouville type properties for embedded minimal surfaces William H. Meeks III∗, Joaqu´ın P´erez†, Antonio Ros March 9, 2006 Abstract Add to Reading List Source URL: www.ugr.es Language: English - Date: 2006-04-18 12:00:46 Riemann surfaces Differential geometry Differential geometry of surfaces Bernhard Riemann Differential topology Minimal surface Harmonic function Uniformization theorem Gaussian curvature Ergodic theory Sigma-algebra
828	ReDrinted from FouNDATloNs oF PHYSICS Vol.9, Nog. li2, February 1979 Printed in Belpium SimultaneousMeasurementand Joint Probability Add to Reading List Source URL: www.phys.tue.nl Language: English - Date: 2010-01-09 07:15:25 Quantum mechanics Mathematical formulation of quantum mechanics Observable Density matrix Uncertainty principle Expectation value Measurement in quantum mechanics KochenSpecker theorem
829	A MATRIX–BASED PROOF OF THE QUATERNION REPRESENTATION THEOREM FOR FOUR-DIMENSIONAL ROTATIONS arXiv:math/0501249v1 [math.GM] 16 Jan 2005 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 16:08:31 Quaternions Rotations in 4-dimensional Euclidean space Quaternions and spatial rotation Rotation matrix Versor Rotation Matrix Orthogonal matrix Orientation Rotation formalisms in three dimensions Charts on SO
830	Signal Processing for Communications, by P.Prandoni and M. Vetterli, © 2008, EPFL Press SIGNAL PROCESSING FOR COMMUNICATIONS Signal Processing for Communications, by P.Prandoni and M. Vetterli, © 2008, EPFL Press Add to Reading List Source URL: www.sp4comm.org Language: English - Date: 2009-11-22 11:44:07 Martin Vetterli cole Polytechnique Fdrale de Lausanne Signal processing Wavelet Presses polytechniques et universitaires romandes NyquistShannon sampling theorem Vetterli

UPDATE