Computer algebra systems, mathematical representation, and the DLMF
Richard Fateman, Bruce Char, Jeremy Johnson
University of California, Berkeley
Drexel University, Philadelphia
National Institute of Standards and Technology
DLMF Seminar Series, November 6, 2000