| $ |
| $p$-solution | Enhancing monotonicity checking in parametric interval linear systems |
| a |
| Accuracy | Numerical validation in quadruple precision using stochastic arithmetic |
| approximated and guaranteed optimal solutions | Policy Iterations Without Selection Property |
| c |
| code synthesis | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| Convergence Acceleration | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |
| f |
| floating-point arithmetic | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Numerical validation in quadruple precision using stochastic arithmetic |
| full column rank | Detecting Unsolvability of Interval Linear Systems |
| g |
| Gauss pivoting | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| h |
| High Performance Computing | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |
| i |
| IEEE 754-2008 standard | Numerical validation in quadruple precision using stochastic arithmetic |
| ill-conditioning | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| interval linear systems | Detecting Unsolvability of Interval Linear Systems |
| l |
| linear systems | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| m |
| Mechanical problems | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| monotonicity approach | Enhancing monotonicity checking in parametric interval linear systems |
| n |
| Numerical accuracy | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |
| numerical validation | Numerical validation in quadruple precision using stochastic arithmetic |
| p |
| parallel programs | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |
| parametric interval linear systems | Enhancing monotonicity checking in parametric interval linear systems |
| Policy iterations | Policy Iterations Without Selection Property |
| q |
| Quadruple precision | Numerical validation in quadruple precision using stochastic arithmetic |
| r |
| rounding errors | Numerical validation in quadruple precision using stochastic arithmetic |
| s |
| Stochastic arithmetic | Numerical validation in quadruple precision using stochastic arithmetic |
| t |
| Transformation of program | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |
| u |
| unsolvability | Detecting Unsolvability of Interval Linear Systems |
| unsolvability gap | Detecting Unsolvability of Interval Linear Systems |
| v |
| verification | Policy Iterations Without Selection Property |
