Logo des Repositoriums
 
Konferenzbeitrag

A Verified ODE Solver and Smale's 14th Problem

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

invited_paper_24.pdf (2.63 MB)

Zusatzinformation

Datum

2019

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2018

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Immler, Fabian (2019): A Verified ODE Solver and Smale's 14th Problem. Ausgezeichnete Informatikdissertationen 2018. Bonn: Gesellschaft für Informatik e.V.. ISBN: 978-3-88579-977-1. pp. 121-130. Schoss Dagstuhl, Deutschland. 26.-29.Mai 2021

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D19 (2018) - Ausgezeichnete Informatikdissertationen