- Addition of Two Bit Strings
- Boolean Product of Two Matrices
- Chinese Remainder Theorem
- Dijkstra Algorithm
- Euclidean Algorithm
- Extended Euclidean Algorithm
- Floor and Ceiling
- Join of two Boolean Matrices
- Meet of two Boolean Matrices
- Quotient & Remainder
- Recursive Factorial
- Recursive GCD
- Recursive Linear Search
- Recursive Power
- Recursive Power Modulo m
- Testing Properties of Relations