@conference{9821,
  author = {Howard Cohl and Marjorie McClain and Bonita Saunders and Moritz Schubotz and Janelle Williams},
  title = {Digital Repository of Mathematical Formulae},
  year = {2014},
  number = {8543},
  month = {2014-10-17},
  publisher = {Lecture Notes in Artificial Intelligence, Coimbra, -1},
  doi = {https://doi.org/10.1007/978-3-319-08434-3_30},
  language = {en},
}