@misc{indiciaea78483f6f22d,
  title = {Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems},
  author = {André Greiner-Petter},
  year = {2020},
  url = {https://arxiv.org/abs/2011.14616},
  note = {Source identifier: 2011.14616}
}