Sciweavers

301 search results - page 1 / 61
» On extensions of a theorem of Baxter
Sort
View
JAT
2006
77views more  JAT 2006»
13 years 10 months ago
On extensions of a theorem of Baxter
We combine the Riemann-Hilbert approach with the techniques of Banach algebras to obtain an extension of Baxter's Theorem for polynomials orthogonal on the unit circle. This ...
Jeffrey S. Geronimo, Andrei Martínez-Finkel...
CADE
1994
Springer
14 years 2 months ago
PROTEIN: A PROver with a Theory Extension INterface
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...
Peter Baumgartner, Ulrich Furbach
JAMDS
2002
60views more  JAMDS 2002»
13 years 10 months ago
A simple proof of Suzumura's extension theorem for finite domains with applications
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
Somdeb Lahiri
BIRTHDAY
2009
Springer
14 years 5 months ago
On Path Partitions and Colourings in Digraphs
We provide a new proof of a theorem of Saks which is an extension of Greene’s Theorem to acyclic digraphs, by reducing it to a similar, known extension of Greene and Kleitman’s...
Irith Ben-Arroyo Hartman
COMBINATORICA
2010
13 years 8 months ago
A note on disjoint arborescences
Recently Kamiyama, Katoh, and Takizawa have shown a theorem on packing arc-disjoint arborescences that is a proper extension of Edmonds' theorem on disjoint spanning branchin...
Satoru Fujishige