Filters








2 Hits in 1.6 sec

A Verified ODE Solver and Smale's 14th Problem [chapter]

Fabian Immler
2018 GI Ausgezeichnete Informatikdissertationen  
Numerical Algorithms, 37(1-4):147-158, 2004. φ (x 0 , h) ∈ rk2 h (x 0 ) + convex-hull (rk2-remainder h (x 0 , p, [0; 1], X)) 7 [GLG08] Girard, Antoine; Le Guernic, Colas: Zonotope/Hyperplane Intersection  ... 
dblp:series/gidiss/Immler18 fatcat:2leoouhvmva5dkn5vbo4x5f5ee

AKWI Nr. 10 (2019)

Konrad Marfurt, Christian Müller, Frank Herrmann, Norbert Ketterer
2019 Zenodo  
RESEARCH METHOD According to (Hevner et al. 2004) , there are seven guidelines for Design Science Research.  ...  In: Dorothea Wagner (Hg.): Ausge- zeichnete Informatikdissertationen 2006. Bonn: Ges. für Informatik (Lecture notes in informatics, D-7).  ... 
doi:10.5281/zenodo.3587635 fatcat:d5vvet3lunbttjzmxkqzlr6xnu