computational-theory-and-mathematics