@misc{indiciae67370457418d,
  title = {All functions g:N-->N which have a single-fold Diophantine representation are dominated by a limit-computable function f:N\textbackslash{}\{0\}-->N which is implemented in MuPAD and whose computability is an open problem},
  author = {Apoloniusz Tyszka},
  year = {2015},
  doi = {10.1007/978-3-319-18275-9\_24},
  url = {https://arxiv.org/abs/1309.2682},
  note = {Source identifier: 1309.2682}
}