Arithmetic algorithm in the SCI hierarchy (source code)

= Arithmetic algorithm in the SCI hierarchy

An arithmetic algorithm is a <general algorithm in the SCI hierarchy> whose finite computation uses only finitely many arithmetic operations and comparisons on the evaluated data.