Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
481	Discussion Paper Series A No.646 Convergence Rates of Sums of α-mixing Triangular Arrays: with an Application to Non-parametric Drift Function Add to Reading List Source URL: www.ier.hit-u.ac.jp Language: English - Date: 2016-08-08 22:08:34 Mathematics Mathematical analysis Probability theory Stochastic processes Central limit theorem Law of large numbers Markov chain Mixing Big O notation Series
482	DOCTORAL STUDENT SEMINAR ON T M F WINTER TERMSEBASTIAN THYSSEN One of the fundamental problems in algebraic topology is to calculate the stable Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2012-09-13 07:27:37 Abstract algebra Algebra Mathematics Cohomology theories Algebraic topology Homotopy theory Algebraic geometry Topological modular forms Analytic number theory Elliptic cohomology Landweber exact functor theorem Stack
483	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
484	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Computing Software engineering Automated theorem proving Concolic testing Formal methods Symbolic execution Parallel computing Satisfiability modulo theories KeY Symbolic X86
485	Putnam E.1 Po-Shen Loh 29 Aug Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2012-12-05 20:42:31 Mathematics Algebra Fractals Mandelbulb Binomial theorem
486	UNIVERSITY OF MUMBAI SEMESTER – I Sr. No. Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-09-20 15:32:20 Physics Mechanics Classical mechanics Rigid bodies Force Physical quantities Civil engineering Fluid mechanics Rigid body dynamics Statics Fluid dynamics Perpendicular axis theorem
487	PDF Document Add to Reading List Source URL: cdn.batstrading.com Language: English - Date: 2015-04-10 07:55:21 BATS Chi-X Europe Theorem Proving System Auction BATS Global Markets Marketing Business Finance Exchange-traded funds
488	A NNALES DE L’I. H. P., SECTION B JAY ROSEN Joint continuity and a Doob-Meyer type decomposition for renormalized intersection local times Annales de l’I. H. P., section B, tome 35, no), p. Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:58:08 Probability theory Mathematical analysis Martingale theory Stochastic processes Mathematics Local time DoobMeyer decomposition theorem It calculus Doob decomposition theorem
489	Specker’s Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity Yeong-Cherng Liang∗ Group of Applied Physics, University of Geneva, CH-1211 Geneva 4, Switzerland and School of Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2013-02-20 10:42:48 Quantum mechanics Physics Quantum measurement Hidden variable theory KochenSpecker theorem Simon B. Kochen Quantum contextuality Quantum information theory Mathematical formulation of quantum mechanics POVM Quantum state Quantum computing
490	A Note on the Switching Adiabatic Theorem Alexander Elgart ∗ and George A. Hagedorn ∗ Department of Mathematics, and Center for Statistical Mechanics, Mathematical Physics, Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2012-04-08 14:14:39 Quantum mechanics Theoretical physics Physics Adiabatic quantum computation Adiabatic theorem Perturbation theory Philosophy of physics

UPDATE