FINDING AND CERTIFYING NUMERICAL ROOTS OF SYSTEMS OF EQUATIONS