Search results for: Andreas Rauh
International Journal of Applied Mathematics and Computer Science > 2021 > Vol. 31, no. 3 > 399--415
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Minisymposium on Interval Analysis > 408-417
Lecture Notes in Computer Science > Numerical Validation in Current Hardware Architectures > Applications > 175-188
Lecture Notes in Computer Science > Reliable Implementation of Real Number Algorithms: Theory and Practice > 1-27
Lecture Notes in Control and Information Sciences > Advances in the Theory of Control, Signals and Systems with Physical Modeling > Mathematical Tools > 201-211
Mathematical Engineering > Modeling, Design, and Simulation of Systems with Uncertainties > Applications: Uncertainties in Engineering > 309-332
Mathematical Engineering > Modeling, Design, and Simulation of Systems with Uncertainties > Theoretic Background and Software Implementation > 43-68