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