- Alternative title
-
Ein Verifizierter GDGL-Löser und Smales 14. Problem
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2018
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2018
- Creator
-
Immler, Fabian
- Contributor
-
Nipkow, Tobias
Tucker, Warwick
- URN
-
urn:nbn:de:bvb:91-diss-20180509-1422071-1-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Immler, Fabian
- Nipkow, Tobias
- Tucker, Warwick
- Universitätsbibliothek der TU München
Time of origin
- 2018
Other Objects (12)
A Verified ODE Solver and the Lorenz Attractor
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
The miracle problem-solver
GParareal: a time-parallel ODE solver using Gaussian process emulation
Gale-Shapley Verified
Generative solver construction for machine learning problems
Inverse problem solver for epidemiological geographic profiling
Higher-order Discrete Adjoint ODE Solver in C++ for Dynamic Optimization
Numerical toolbox for verified computing, 1.. Basic numerical problems
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
A Verified ODE Solver and the Lorenz Attractor
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
The miracle problem-solver
GParareal: a time-parallel ODE solver using Gaussian process emulation
Gale-Shapley Verified
Generative solver construction for machine learning problems
Inverse problem solver for epidemiological geographic profiling
Higher-order Discrete Adjoint ODE Solver in C++ for Dynamic Optimization
Numerical toolbox for verified computing, 1.. Basic numerical problems
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
A Verified ODE Solver and the Lorenz Attractor
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
The miracle problem-solver
GParareal: a time-parallel ODE solver using Gaussian process emulation
Gale-Shapley Verified
Generative solver construction for machine learning problems
Inverse problem solver for epidemiological geographic profiling
Higher-order Discrete Adjoint ODE Solver in C++ for Dynamic Optimization
Numerical toolbox for verified computing, 1.. Basic numerical problems
ModelPlex: verified runtime validation of verified cyber-physical system models