TY  - RPRT
TI  - All functions g:N-->N which have a single-fold Diophantine representation are dominated by a limit-computable function f:N\{0}-->N which is implemented in MuPAD and whose computability is an open problem
AU  - Apoloniusz Tyszka
PY  - 2015
DO  - 10.1007/978-3-319-18275-9_24
UR  - https://arxiv.org/abs/1309.2682
ID  - 1309.2682
ER  -