MATHsAiD: A Mathematical Theorem Discovery Tool.

Roy L. McCasland, Alan Bundy

Browse the full SYNASC paper archive.