Skip to content
Vinony

Mathematical knowledge management

by Jonathan M. Borwein, William M. Farmer

Cover of Mathematical knowledge management

No description available.

MathematicsInformation storage and retrieval systemsCongressesData processingAutomatic theorem provingMathematics, data processing