Computer-Assisted Proofs in Solving Linear Parametric Problems | IEEE Conference Publication | IEEE Xplore