Simple Symbolic and Numeric (1985)

by B S Hansen, M R Hansen
Venue:Computations Based on Equations and Inequalities", Computer Science Research Report, IBM Research Laboratory