Theorems

Results: 880



#Item
761Logical syntax / Philosophical logic / Philosophy of language / Theorems / Mathematical proof / Hamiltonian path / Mathematics / Logic / Mathematical logic

xiii Preface About the fourth edition In this fourth edition there are few substantial additions of new material,

Add to Reading List

Source URL: diestel-graph-theory.com

Language: English - Date: 2013-08-10 17:09:25
762Field theory / Polynomials / Additive number theory / Restricted sumset / Algebraically closed field / Field extension / Factorization of polynomials over a finite field and irreducibility tests / Theorems and definitions in linear algebra / Abstract algebra / Mathematics / Algebra

Reported on the 2rd Cross-Strait Confer. on Graph Theory and Combin. (Taipei, [removed]NEW RESULTS ON SUBSET SUMS Zhi-Wei Sun Department of Mathematics Nanjing University

Add to Reading List

Source URL: math.nju.edu.cn

Language: English - Date: 2007-02-14 02:29:19
763Ring theory / Algebraic number theory / Combinatorics / Number theory / Integer sequences / Factorial / Abelian group / Root of unity / Algebraic number field / Abstract algebra / Mathematics / Algebra

A talk given at Univ. Rome “Tor Vergata” on June 30, 2004. TWO LOCAL-GLOBAL THEOREMS AND A POWERFUL FORMULA

Add to Reading List

Source URL: math.nju.edu.cn

Language: English - Date: 2007-02-14 02:19:01
764Logical syntax / Philosophical logic / Philosophy of language / Theorems / LaTeX / TeX / Logic / Mathematics / Logical consequence

An Extension of the LATEX theorem environment∗ Frank Mittelbach Electronic Data Systems (Deutschland) GmbH Eisenstraße 56 D[removed]R¨

Add to Reading List

Source URL: www.stud.math.ntnu.no

Language: English - Date: 2005-03-10 07:05:04
765Statistical tests / Logical consequence / Logical syntax / Philosophical logic / Theorems / Expected value / Kolmogorov–Smirnov test / Normal distribution / Central limit theorem / Statistics / Logic / Mathematics

Testing statistical software II: there’s a theorem somewhere Ben Klemens Last time (entry #177), I discussed the value of adding assertions to your code, to check guarantees that the code should follow. I talked about

Add to Reading List

Source URL: modelingwithdata.org

Language: English - Date: 2014-05-06 07:14:56
766Mathematics / Algebraic topology / Category theory / Higher category theory / Homology theory / Homotopy group / Ronald Brown / Hurewicz theorem / Seifert–van Kampen theorem / Topology / Abstract algebra / Homotopy theory

Applications of higher order Seifert–van Kampen Theorems for structured spaces Ronald Brown

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2012-07-10 13:14:18
767Frattini subgroup / P-group / Nilpotent group / Solvable group / Maximal subgroup / Sylow theorems / Metabelian group / Abelian group / Quotient group / Abstract algebra / Group theory / Algebra

MARGARITA MATHEMATICA EN MEMORIA DE ´ JAVIER (CHICHO) GUADALUPE HERNANDEZ ´

Add to Reading List

Source URL: www.emis.ams.org

Language: English - Date: 2002-05-31 13:47:48
768Matrix theory / Spectral theory / Spectrum / Matrix / Eigenvalues and eigenvectors / Theorems and definitions in linear algebra / Holomorphic functional calculus / Algebra / Mathematics / Linear algebra

A LOCAL LIMIT LAW FOR THE EMPIRICAL SPECTRAL DISTRIBUTION OF THE ANTICOMMUTATOR OF INDEPENDENT WIGNER MATRICES

Add to Reading List

Source URL: www.math.umn.edu

Language: English - Date: 2014-01-08 18:25:18
769Algebraic graph theory / End / Graph isomorphism / Graph / Model theory / Out / Finite model theory / Finite topological space / Graph theory / Mathematics / Geometric group theory

The accepted wisdom is that standard techniques from classical model theory fail to apply in the finite. We attempt to dispel this notion by presenting new proofs of the Gaifman and Hanf locality theorems. In particular,

Add to Reading List

Source URL: www.haverford.edu

Language: English - Date: 2012-04-01 12:19:11
770Representation theory / Basis / Projection / Linear map / Vector space / Dual space / Trace / Theorems and definitions in linear algebra / Invariant subspace / Algebra / Mathematics / Linear algebra

Representations of Finite Groups Andrew Baker[removed]

Add to Reading List

Source URL: www.maths.gla.ac.uk

Language: English - Date: 2011-11-07 09:36:49
UPDATE