New Results on Verified Inclusions
Proceedings of the Symposium on Accurate Scientific Computations
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
Direct method for solving parametric interval linear systems with non-affine dependencies
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
A comparison of metaheurisitics for the problem of solving parametric interval linear systems
NMA'10 Proceedings of the 7th international conference on Numerical methods and applications
Enclosure for the solution set of parametric linear systems with non-affine dependencies
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Hi-index | 0.00 |
The paper proposes an approach for self-verified solving of linear systems involving rational dependencies between interval parameters. A general inclusion method is combined with an interval arithmetic technique providing inner and outer bounds for the range of monotone rational functions. The arithmetic on proper and improper intervals is used as an intermediate computational tool for eliminating the dependency problem in range computation and for obtaining inner estimations by outwardly rounded interval arithmetic. Supporting software tools with result verification, developed in the environment of CAS Mathematica, are reported.