Approximate Gröbner Bases, Overdetermined Polynomial Systems, and Approximate GCDs. (21st March 2013)