Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Author="Koch, Hans"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Computer-assisted proofs in analysis and programming in logic: A case study Publikation auswählen
Hans Koch, Alain Schenkel, Peter Wittwer

SIAM Review 38 (4), 1996, December, pp. 565-604

Publisher:  Society for Industrial and Applied Mathematics
Address:  Philadelphia, PA
 
Keywords:   computer-assisted proofs, programming in Prolog, interval analysis, validated numerics, certified computing