Title: Mathematics of the calculating machine