Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics.

Yuri V. Matiyasevich

Browse the full CADE paper archive.