The ''Benson'' decision defined an "algorithm" as a "procedure for solving a given type of mathematical problem." 409 U.S. at 65. It then held: | The ''Benson'' decision defined an "algorithm" as a "procedure for solving a given type of mathematical problem." 409 U.S. at 65. It then held: |