Title: Mathematical knowledge management
First published: 2006
Subjects: Congresses, Mathematics, Information storage and retrieval systems, Data processing, Automatic theorem proving, Database management, Artificial intelligence, Computer networks, Mathematics, data processing, Mathemcatics