edited by Shanghai Library. Student mathematical library, New century library Frozen section library,