Title: Mathematical knowledge management
Subjects: Mathematics, Information storage and retrieval systems, Congresses, Data processing, Automatic theorem proving