Verifizierende rechnerinvariante Numerikmodule

Tim Kersten. Verifizierende rechnerinvariante Numerikmodule. PhD thesis, Karlsruhe Institute of Technology, Germany, 1998. [doi]

Abstract

Abstract is missing.