author = {M. Semrad},
title = {{Special Functions, Computer Proofs and the DLMF}},
language = {english},
year = {2005},
translation = {0},
school = {RISC, J. Kepler University Linz},
length = {0}