Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams. Digital Repository of Mathematical Formulae. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban, editors, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Volume 8543 of Lecture Notes in Computer Science, pages 419-422, Springer, 2014. [doi]
Abstract is missing.