Interpolants, Error Bounds, And Mathematical Software For Modeling And Predicting Variability In Computer Systems