Also known as stepped reckoner.
It was based off of Leibniz's mathematical framework called Calculus Ratiocinator.