Author: International Workshop on Mathematics Mechanization (6th 2004 Shanghai, China)