  In this extended abstract we deal with the relations between the
numerical/diophantine approximation and the symbolic/algebraic geometry
approachs to solving of multivariate diophentine polynomial systems, obtaining
several consecuences ranging from diophantine approximation to effective number
theory.
