Search Results - nonnumerical algorithms AND problems—complexity of proof praze- dures general terms*