Title: Computer reconstruction of the body of mathematics
Subjects: Mathematics, Data processing