Robot Mathematician Solves Nine Simultaneous Equations