Artificial intelligence in mathematics - Johnson, Jeffrey; Mckee, Sean; Vella, Alfred (Institute of Mathematics and Its Applications conference series, 1994)