"SIMATH, a CAS for number theory" - читать интересную книгу автора (Zimmer.)