Sciweavers

36781 search results - page 257 / 7357
» Parameterizing by the Number of Numbers
Sort
View
AAECC
2002
Springer
116views Algorithms» more  AAECC 2002»
15 years 5 months ago
A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
Russell Lyons, Peter Paule, Axel Riese
ALGORITHMICA
2002
70views more  ALGORITHMICA 2002»
15 years 5 months ago
The Structure and Complexity of Sports Elimination Numbers
Dan Gusfield, Charles U. Martel
ARSCOM
2004
64views more  ARSCOM 2004»
15 years 5 months ago
An Upper Bound of 62 on the Classical Ramsey Number R(3, 3, 3, 3)
Susan E. Fettes, Richard L. Kramer, Stanislaw P. R...