Tsuyoshi Murata Ran Hosoya Shingo Kawabe Masamichi Shimura A problem solver for quadratic functions. 32-42 2001 32 Systems and Computers in Japan 2 http://dx.doi.org/10.1002/1520-684X(200102)32:2%3c32::AID-SCJ4%3e3.0.CO;2-W db/journals/scjapan/scjapan32.html#MurataHKS01