gonsider liner system A@pAx a b@pA whose input dt depend on numer of unertin prmeters p a @p1; : : : ; pkA vrying within given intervls pF he oE jetive is to verify y numeril omputtions monotoni @nd onvexityGonvityA dependene of solution omE ponent xi@pA with respet to prmeter pj over the inE tervl ox pD or more generlD to prove if some oundry inf = sup xi@pA for ll p P p is ttined t the endEpoints of pF uh knowledge is useful in mny pplitions in order to filitte the solution of some underlying liner prmetE ri prolem involving unertintiesF sn this pper we present tehniqueD for proving the deE sired properties of the prmetri solutionD whih is lterE ntive to the pprohes sed on extreme point ompuE ttionsF he proposed omputerEided proof is sed on gurnteed intervl enlosures for the prtil derivtives of the prmetri solution for ll p P pF he vilility of selfEvlidted methods providing gurnteed enlosure of prmetri solution set y ?otingEpoint omputtions is key for the ef?ieny nd the expnded sope of ppliilE ity of the proposed pprohF viner systems involving nonE liner prmeter dependeniesD nd dependenies etween A@pA nd b@pAD s well s nonEsqure liner prmetri sysE tems n e hndled suessfullyF resented re detils of the lgorithm design nd wthemti tools implementing the proposed pprohF xumeril exmples from struE turl mehnis illustrte its pplitionF