Number Theory With Computations Definition