Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
541	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
542	Renormalized self-intersection local times and Wick power chaos processes Michael B. Marcus Jay Rosen Depatment of Mathematics, The City College of CUNY, New York, NY 10031 Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:57:59 Mathematical analysis Polynomials Measure theory Support Hermite polynomials Central limit theorem
543	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
544	St Ninian’s High School N4 Lifeskills Logbook TJ Book Add to Reading List Source URL: www.mathsrevision.com Language: English - Date: 2016-03-28 04:31:34 Geometry Mathematics Triangles Triangle geometry Right triangle Pythagorean theorem Hypotenuse Triangle Altitude Pentagon Prism Volume
545	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO
546	445 Documenta Math. Some Consequences of the Karpenko-Merkurjev Theorem Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:34 Algebra Abstract algebra Mathematics Group theory Representation theory Representation theory of finite groups Group representation Induced representation Harmonic analysis Functional analysis Clifford theory Zonal spherical function
547	arXiv:math/0102061v1 [math.GT] 7 FebHomotopy complex projective spaces with P in(2)-action Anand Dessai Abstract Add to Reading List Source URL: homeweb1.unifr.ch Language: English - Date: 2008-11-24 08:40:07 Mathematics Algebra Topology Group actions Fiber bundles Differential geometry Homotopy theory Characteristic classes Equivariant cohomology AtiyahSinger index theorem Cohomology Chern class
548	ERRATA FOR “CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES” SHIN HATTORI The proof of [1, Propositionis incorrect. In page 950 line 1–2, the author claims that the assertion (2) of the proposition is deduce Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2015-05-02 05:24:57 Algebra Abstract algebra Mathematics Finite groups Group theory Frobenius group Index of a subgroup Homological algebra Algebraic number theory Representation theory of finite groups Isomorphism theorem
549	Sparse Data Blocks and Multi-User Channels Edward A. Ratzer Cavendish Laboratory, Madingley Road, Cambridge CB3 0HE, UK Phone: +Email: October 25, 2002 Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2003-03-05 13:32:57 Coding theory Error detection and correction Information theory Discrete mathematics Mathematics Low-density parity-check code Forward error correction Binary symmetric channel Noisy-channel coding theorem Linear code Prefix code Huffman coding
550	On the Capacity of Thermal Covert Channels in Multicores Davide B. Bartolini Philipp Miedl Lothar Thiele Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-04-15 07:21:50 Computing Physics Electromagnetism Noise Information theory Cloud clients Personal computing State functions Android Channel Laptop ShannonHartley theorem

UPDATE