Numerical Validation In Current Hardware ArchitecturesInternational Dagstuhl Seminar Dagstuhl Castle Germany January 611 2008 Revised Papersde Walter KrämerMateriasComputer scienceComputer arithmeticCongressesMathematicsSystementwurfKongress 2008CADComputerarchitekturComputerarithmetikValidierung
IInverse Standardfunktionen für reelle und komplexe IntervallInverse Standardfunktionen für reelle und komplexe Intervallargumente mit a priori Fehlerabschätzungen für beliebige Datenformate
NNumerical Validation in Current Hardware ArchitecturesNumerical Validation in Current Hardware Architectures