A generator for explicit univariate lower bounds

From MaRDI portal
Publication:2489852