Sciweavers

301 search results - page 1 / 61
» On extensions of a theorem of Baxter
Sort
View
123
Voted
JAT
2006
77views more  JAT 2006»
15 years 3 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...
144
Voted
CADE
1994
Springer
15 years 7 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
133
Voted
JAMDS
2002
60views more  JAMDS 2002»
15 years 3 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
128
Voted
BIRTHDAY
2009
Springer
15 years 10 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
106
Voted
COMBINATORICA
2010
15 years 1 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