|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
Miyamoto, Kenji und Schwichtenberg, Helmut
(2015):
Program extraction in exact real arithmetic.
In: Mathematical Structures in Computer Science, Bd. 25, Nr. Special issue 8: S. 1692-1704
[PDF, 159kB]
Buchbeitrag
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110