A fully automatic problem solver with human-style outputhttp://arxiv.org/abs/1309.4501 by bentoner • 13 years ago 2 0 13 years agoARarxiv.org