Equation solving using modal transition systems | IEEE Conference Publication | IEEE Xplore