- An interactive interpreter for big integer and multi-precision floating point arithmetic with a Pascal/Modula like syntax. It has several builtin functions for algorithmic number theory.
- A calculator program for doing arbitrary precision integer arithmetic, written in ANSI C and Yacc, with a number of built-in functions for number theory, by Keith Matthews.
- EIS-Seeker is a libguile-based scheme interpreter devoted to the study of the Encyclopedia of Integer Sequences database. It is intended to help find new relations between sequences. C/Scheme, Posix.
- A Windows program to find all factors of any positive integer less than 2^31 - 1; decompose numbers into their prime constituents; find prime numbersand pairs of primes; and to plot Erdos-Kac and Palmen Color histograms. Down load free demo, order full version online.
- Supports arbitrary precision integer arithmetic calculations with interactive execution: it is a superior version of the basic bc program which comes with the UNIX operating system. Keith Matthews has written several number-theoretic programs.
- KANT is a software package for sophisticated computations in number fields and in global function fields. With KASH you are able to use the powerful KANT V4 functions within a shell.
- A high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields.
- System for Arithmetic Geometry Experimentation: a framework for number theory, algebra, and geometry, initially designed for computing with elliptic curves and modular forms, by William Stein. Open source under GPL.
