Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
421	Electronic Notes in Theoretical Computer Science 44 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b , and Thorsten A Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-08 03:49:24 Higher-order functions Category theory Isomorphism theorems Fold Recursion Morphisms Anamorphism Map Function composition Mathematics Abstract algebra Declarative programming
422	Why proofs by mathematical induction are generally not explanatory MARC LANGE Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sha Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2013-10-10 19:12:39 Mathematical logic Proof theory Mathematical proofs Logical consequence Philosophy of science Mathematical induction Philosophy of mathematics Models of scientific inquiry Mathematical fallacy Mathematics Logic Science
423	Mod p3 analogues of theorems of Gauss and Jacobi on binomial coefficients John B. Cosgrave1 , Karl Dilcher2 1 Dublin, Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-09-29 09:20:19 Abstract algebra John B. Cosgrave Integer sequences Fermat quotient Prime number Quadratic residue Mathematics Number theory Modular arithmetic
424	On a problem of Diophantus with polynomials Andrej Dujella Florian Luca Abstract. Let m ≥ 2 and k ≥ 2 be integers and let R be a commutative ring Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2005-09-29 01:28:25 Mathematics Commutative algebra Invariant theory Polynomial ring Ring theory Degree of a polynomial Euclidean algorithm Theorems and definitions in linear algebra Abstract algebra Algebra Polynomials
425	Multicommodity Max-Flow Min-Cut Theorems and Their Use in Designing Approximation Algorithms TOM LEIGHTON Massachusetts Institute of Technology, Cambridge, Massachusetts AND Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:52 Network flow Combinatorial optimization Flow network Maximum flow problem Minimum cut Cut Max-flow min-cut theorem Connectivity Graph partition Mathematics Graph theory Theoretical computer science
426	DECOMPOSITIONS OF LOOPED CO-H-SPACES ´ ∗ , S. THERIAULT, AND J. WU∗∗ J. GRBIC Abstract. We prove two homotopy decomposition theorems for the loops on simply-connected co-H-spaces, including a generalization of the Add to Reading List Source URL: www.math.nus.edu.sg Language: English - Date: 2011-08-05 01:09:37 Homotopy theory Algebras Multilinear algebra Algebraic topology Lie groups Homotopy Lie algebra CW complex Hopf algebra Algebra Mathematics Topology
427	! " Add to Reading List Source URL: www.prapatti.com Language: English - Date: 2004-06-05 07:16:01 Theorems and definitions in linear algebra Four-square cipher
428	Review for the Exam 1 Topics in Contemporary Mathematics Math 110 A Before you work out problems, you have to go through the terminology and named theorems. Some of the problems will be about stating terminology or theor Add to Reading List Source URL: skwon.org Language: English - Date: 2012-10-19 18:37:43 Means Robust statistics Skewness Quartile Median Normal distribution Standard deviation Mode Box plot Statistics Summary statistics Data analysis
429	From SIAM News, Volume 43, Number 9, November[removed]Communication and its Possibilities Communicating Science: Professional, Popular, Literary. By Nicholas Russell, Cambridge University Press, Cambridge, UK, 2010, 348 pa Add to Reading List Source URL: www.siam.org Language: English - Date: 2010-12-16 12:34:52 Logical consequence Philosophical logic Philosophy of language Theorems Lillian Rosanoff Lieber Mathematical proof Poincaré conjecture Clifford Geertz Formal proof Logic Mathematics Logical syntax
430	Open Research Online The Open University’s repository of research publications and other research outputs The Seidel, Stern, Stolz and Van Vleck Theorems on continued fractions Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2013-11-04 06:52:05 Calculus Uniform convergence Mathematical analysis Mathematical series Convergence

UPDATE