Sciweavers

63 search results - page 4 / 13
» A note on the Gallai-Roy-Vitaver Theorem
Sort
View
CORR
2008
Springer
96views Education» more  CORR 2008»
13 years 8 months ago
A Sparse Flat Extension Theorem for Moment Matrices
In this note we prove a generalization of the flat extension theorem of Curto and Fialkow [4] for truncated moment matrices. It applies to moment matrices indexed by an arbitrary s...
Monique Laurent, Bernard Mourrain
COMBINATORICS
2007
73views more  COMBINATORICS 2007»
13 years 7 months ago
A Short Proof of a Theorem of Kano and Yu on Factors in Regular Graphs
In this note we present a short proof of the following result, which is a slight extension of a nice 2005 theorem by Kano and Yu. Let e be an edge of an rregular graph G. If G has...
Lutz Volkmann
JCT
2008
68views more  JCT 2008»
13 years 7 months ago
An Ore-type theorem on equitable coloring
A proper vertex coloring of a graph is equitable if the sizes of its color classes differ by at most one. In this note, we prove that if G is a graph such that for each edge xy E...
Hal A. Kierstead, Alexandr V. Kostochka
TPHOL
1997
IEEE
14 years 2 days ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
CORR
2008
Springer
172views Education» more  CORR 2008»
13 years 8 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger