Bücher von Christian Lawo

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter "C-XSC Reference", sample programs, and indices.