FN ISI Export Format VR 1.0 PT J TI A Combined Method for Enclosing All Solutions of Nonlinear Systems of Polynomial Equations AF Jäger, Christine Ratz, Dietmar AU Jäger, C Ratz, D SO Reliable Computing, St. Petersburg BP 41 EP 64 PY 1995 ER