Peter Schorn An Axiomatic Approach to Robust Geometric Programs. 155-165 1993 16 J. Symb. Comput. 2 db/journals/jsc/jsc16.html#Schorn93