A problem solver for quadratic functions. - Tsuyoshi Murata; Ran Hosoya; Shingo Kawabe; Masamichi Shimura (Syst. Comput. Jpn., 2001)