Prime numbers have fascinated people since ancient times. Since the last century, their study has acquired importance also on account of the crucial role played by them in cryptography and other related areas. One of the problems about primes which has intrigued mathematicians is whether it is possible to have long strings of primes with the successive primes differing by a fixed number, namely...

The common approach to real arithmetic on computers is floating point arithmetic, which can produce erroneous results due to roundoff errors. An alternative is exact real arithmetic and in this project such arithmetic is implemented in the well-known computer system Mathematica by the use of constructive real numbers. All basic operations are implemented as well as the common elementary functio...