Banche dati per la matematica, cooperazione per il 2000