KIT | KIT-Bibliothek | Impressum | Datenschutz

Floating-point systems for theorem proving

Wolff von Gudenberg, Juergen; Bohlender, Gerd; Miranker, Willard L.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1989
Sprache Englisch
Identifikator KITopen-ID: 102289
Erscheinungsvermerk In: Proceedings of the Computer Assisted Proofs in Analysis Conference, Cincinnati 1989 und IBM research report RC 15 101, 1989.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page