Garloff, JürgenJürgenGarloffJansson, ChristianChristianJanssonSmith, Andrew PaulAndrew PaulSmith2021-03-262021-03-262002http://hdl.handle.net/11420/9160enInformatikMathematikConstruction of lower bound functions for polynomialsTechnical ReportOther