MKM from book to computer: a case study

MKM from book to computer: a case study (2003)

by James H. Davenport

Citations:

6 - 2 self

@MISC{Davenport03mkmfrom,
    author = {James H. Davenport},
    title = {MKM from book to computer: a case study},
    year = {2003}
}

54	The mathematical vernacular, a language for mathematics with typed sets - Bruijn - 1987
12	Reasoning about the Elementary Functions of Complex Analysis - Bradford, Corless, et al. - 2002
10	Towards Better Simplification of Elementary Functions - Bradford, Davenport - 2002
2	OpenMath: A Protocol for the Exchange of - Abbott, Díaz, et al. - 1996
2	your computer do complex analysis?. In: Computer Algebra Systems: A Practical Guide - Aslaksen, Can - 1999