Bruce R. Miller Abdou Youssef Technical Aspects of the Digital Library of Mathematical Functions. 121-136 2003 38 Ann. Math. Artif. Intell. 1-3 db/journals/amai/amai38.html#MillerY03