Exhaustive Computer Search Validation and Review Protocol | Exhaustive Computer Search | Mathematics | NEROS