56 search results - page 4 / 12 » On Rainbow Arithmetic Progressions |
COMBINATORICS
2002
13 years 6 months ago
2002
CPC
2000
13 years 6 months ago
2000
A recently posed question of H
COLT
2010
Springer
13 years 4 months ago
2010
Springer
A significant Fourier transform (SFT) algorithm, given a threshold and oracle access to a function f, outputs (the frequencies and approximate values of) all the -significant Fou...
DM
2011
13 years 1 months ago
2011
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...