Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
511	ERRATA AND MISPRINTS FOR BOOK “DIFFEOLOGY” PATRICK IGLESIAS-ZEMMOUR ref. http://math.huji.ac.il/~piz/documents/DBlog-Errata.pdf Misprints and Errata in Articles. Add to Reading List Source URL: math.huji.ac.il Language: English - Date: 2014-09-22 05:45:38 Measure theory Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol
512	MIDDLEMEN MARGINS AND GLOBALIZATION1 Pranab Bardhan2 , Dilip Mookherjee3 and Masatoshi Tsumagari4 This version: February 7, 2012 Abstract Add to Reading List Source URL: people.bu.edu Language: English - Date: 2013-02-04 19:07:46 Business Economy Economics Classical economics Economic theories StolperSamuelson theorem Entrepreneurship Economic growth Comparative advantage
513	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Software engineering Declarative programming Computer programming Automated theorem proving Logic programming Prolog Interpreter Eval Substitution Resolution
514	1481 Documenta Math. Z2 -Indices Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-12-16 13:47:06 Algebra Mathematics Mathematical analysis Linear algebra Operator theory Matrices Abstract algebra Fredholm theory Fredholm operator Skew-symmetric matrix AtiyahSinger index theorem Hilbert space
515	Affine Transformations of Algebraic Numbers D.J. Jeffrey ∗ Pratibha Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2005-05-05 16:03:06 Mathematics Algebra Abstract algebra Polynomials Irreducible polynomial Fundamental theorem of algebra Rational root theorem Minimal polynomial Root system
516	The Method of Simulated Quantiles Yves Dominicy∗ and David Veredas † First draft: DecemberThis version: May 2010 Add to Reading List Source URL: www.istfin.eco.usi.ch Language: English - Date: 2010-10-18 11:21:40 Statistics Mathematical analysis Statistical theory Probability distributions Estimation theory Summary statistics Quantile Bayesian statistics Normal distribution Stable distribution Central limit theorem Characteristic function
517	THE SATO–TATE DISTRIBUTION IN THIN PARAMETRIC FAMILIES OF ELLIPTIC CURVES ´ ` REGIS DE LA BRETECHE, Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2015-10-09 05:02:50 Mathematics Mathematical analysis Analytic number theory Elliptic curve Group theory Distribution SatoTate conjecture Symbol Prime number Generalised Whitehead product LindemannWeierstrass theorem
518	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
519	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
520	Uniform Glivenko-Cantelli Theorems and Concentration of Measure in the Mathematical Modelling of Learning Martin Anthony Department of Mathematics London School of Economics Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2003-09-22 14:02:41 Mathematical analysis Mathematics Analysis Probability theory Empirical process Measure theory GlivenkoCantelli theorem Law of large numbers Empirical measure Sigma-algebra Support Central limit theorem

UPDATE