TNC'18: Volume Information

TNC'18. Trusted Numerical Computations

Papers

Keyphrases

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