Mathematical knowledge management

Encyclopedia of Knowledge Management

Volumn , Issue , 2005, Pages 599-604

  Farmer, William M ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70049101794     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59140-573-3.ch078     Document Type: Chapter

References (8)

1. Bancerek, G., & Redneck, P. (2003). Information retrieval in MML. In A. Asperti, B. Buchberger, & J.H. Davenport (Eds.), Mathematical knowledge management. Proceedings of MKM 2003, (pp. 119-132). Berlin: Springer-Verlag (LNCS 2594).
2. Brownie, J., & Stanway, T. (2003). Managing digital mathematical discourse. In A. Asperti, B. Buchberger, & J.H. Davenport (Eds.), Mathematical knowledge management. Proceedings of MKM 2003, (pp. 45-55). Berlin: Springer-Verlag (LNCS 2594).
3. Buchberger, B., Gonnet, G., & Hazewinkel, M. (Eds.). (2003). Mathematical knowledge management. Annals of Mathematics and Artificial Intelligence, 38 (Special Issue), 1-232.
4. Carette, J., Farmer, W.M., & Wajs, J. (2003). Trustable communication between mathematics systems. In T. Hardin & R. Rioboo (Eds.), Calculemus 2003 (pp. 58-68). Rome: Arcane.
5. Dalmas, S., Gaëtano, M., & Watt, S.M. (1997). An OpenMath 1.0 implementation. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC-97) (pp. 241-248). ACM Press.
6. Davenport, J.H. (2003). MKM from book to computer: A case study. In A. Asperti, B. Buchberger, & J.H. Davenport (Eds.), Mathematical knowledge management. Proceedings of MKM 2003 (pp. 45-55). Berlin: Springer-Verlag (LNCS 2594).
7. DiVito, B.L. (2004). Hypatheon: A mathematical database for PVS users. Retrieved from http://imps.mcmaster.ca/na-mkm-2004/proceedings/pdfs/divito.pdf
8. Farmer, W.M., & von Mohrenschildt, M. (2003). An overview of a formal framework for managing mathematics. Annals of Mathematics and Artificial Intelligence, 38, 165-191.