KIT | KIT-Bibliothek | Impressum

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
Jahr 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