Johanna Minisini - Wissenschaftliche Veröffentlichungen

(1 - 7 von 8

)

dblp: Numerical Validation in Current Hardware Architectures

dblp.uni-trier.de

Bibliographic content of Numerical Validation in Current Hardware Architectures

Computergraphik u. Wiss. Rechnen (Prof. Luther):

www.scg.inf.uni-due.de

Andreas Rauh, Ekaterina Auer, Johanna Minisini & Eberhard P. Hofer Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential ...

dblp: Applied Mathematics and Computer Science, Volume 19

dblp.uni-trier.de

Bibliographic content of Applied Mathematics and Computer Science, Volume 19

dblp: Harald Aschemann

dblp.org

List of computer science publications by Harald Aschemann

Search results for "Numerical Validation in Current Hardware...

dblp.l3s.de

1, Andreas Rauh, Johanna Minisini, Eberhard P. Hofer · Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design ...