TNC'18: Volume Information

TNC'18. Trusted Numerical Computations

6 articles83 pagesPublished: October 11, 2018

Papers

Assale Adje
1-10
Farah Benmouhoub, Nasrine Damouche and Matthieu Martel
11-23
Nacera Djehaf, Matthieu Martel and Mikaël Barboteu
24-37
Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte and Bruno Lathuilière
38-53
Jaroslav Horáček, Jan Horáček and Milan Hladík
54-69
Iwona Skalna and Milan Hladík
70-83

Keyphrases

$p$-solution, Accuracy, approximated and guaranteed optimal solutions, code synthesis, Convergence Acceleration, floating-point arithmetic2, full column rank, Gauss pivoting, High Performance Computing, IEEE 754-2008 standard, ill-conditioning, interval linear systems, linear systems, Mechanical problems, monotonicity approach, Numerical accuracy2, numerical validation, parallel programs, parametric interval linear systems, Policy iterations, Quadruple precision, rounding errors, Stochastic arithmetic, Transformation of program, unsolvability, unsolvability gap, verification.