Sciweavers

72 search results - page 5 / 15
» A note on a theorem of Ax
Sort
View
CORR
2008
Springer
96views Education» more  CORR 2008»
14 years 10 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»
14 years 10 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»
14 years 10 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
COMBINATORICS
2002
93views more  COMBINATORICS 2002»
14 years 9 months ago
On a Theorem of Erdos, Rubin, and Taylor on Choosability of Complete Bipartite Graphs
Erdos, Rubin, and Taylor found a nice correspondence between the minimum order of a complete bipartite graph that is not r-choosable and the minimum number of edges in an r-unifor...
Alexandr V. Kostochka
TPHOL
1997
IEEE
15 years 2 months 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