Mathematics by machine.

Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

Browse the full ISSAC paper archive.