Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
581	PII: 0022-314X Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2016-03-21 18:12:27 Mathematics Discrete mathematics Number theory Arithmetic functions Logarithms Prime number theorem Sieve theory Loglog plot Exponentiation Square-free integer Chebyshev function Brun sieve
582	Coding and Cryptography Spring 2014 Tutorial Project #1 Due at the end of class. On Friday, we learned how to decode a linear code using ‘syndromes’. Make sure someone in your working group attended class on Friday, Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:38 Coding theory Error detection and correction Discrete mathematics Mathematics Hamming Linear code Parity-check matrix Coset leader Noisy-channel coding theorem Hamming code Standard array
583	Matrix Tree Theorems Nikhil Srivastava December 4, 2009 1 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Algebra Mathematics Matrix theory Linear algebra Determinant Lie groups LindemannWeierstrass theorem Holomorphic functional calculus
584	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
585	15 Introduction to Quantum Information David P. DiVincenzo Peter Grunberg Institut ¨ Forschungszentrum Julich Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2012-08-20 13:43:07 Quantum mechanics Quantum information science Theoretical computer science Physics Qubit Quantum teleportation Entanglement distillation Bell state Quantum information Quantum computing Quantum entanglement No-communication theorem
586	AMOEBAS OF GENUS AT MOST ONE THORSTEN THEOBALD AND TIMO DE WOLFF Abstract. The amoeba of a Laurent polynomial f ∈ C[z1±1 , . . . , zn±1 ] is the image of its zero set V(f ) under the log-absolute-value map. Understan Add to Reading List Source URL: www.math.uni-frankfurt.de Language: English - Date: 2013-05-18 09:37:46 Mathematics Algebra Mathematical analysis Algebraic geometry Amoeba Polynomials Field theory Complex analysis Operator theory Julia set Fundamental theorem of algebra
587	Topological Interactions at the LHC and a Generalized Laudau-Yang Theorem Jing Shu UChicago/ANL Keung, Low, JS, arXiv:PRL) Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-04-03 15:19:46 Physics Particle physics Bosons Physics beyond the Standard Model Quantum field theory Standard Model Composite Higgs models Large Hadron Collider Gauge boson Gauge theory W and Z bosons Alternatives to the Standard Model Higgs
588	The Coase Theorem: The Greatest Economic Insight of the 20th Century Andrew L. Schlafly, Esq. 1 Add to Reading List Source URL: www.jpands.org Language: English - Date: 2007-06-01 18:20:00 Economics Law and economics Public choice theory Market failure New institutional economics Public economics Ronald Coase Coase theorem The Problem of Social Cost Transaction cost Externality Property rights
589	On the Role of Definitions in and Beyond Cryptography Phillip Rogaway Dept. of Computer Science, University of California, Davis, California 95616, USA, and Dept. of Computer Science, Fac. of Science, Chiang Mai Universi Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2005-06-19 20:47:33 Cryptography Pseudorandomness Advantage Semantic security Negligible function Provable security Concrete security Pseudorandom permutation Pseudorandom generator theorem Pseudorandom generator Ciphertext indistinguishability Block cipher
590	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Source URL: norvig.com Language: English - Date: 2003-10-26 19:35:31 Software engineering Automated theorem proving Mathematics Computer programming Logic programming Unification Type theory Logic in computer science SUBST Substitution Occurs check Resolution

UPDATE