Data-Driven Mathematical Exploration Protocol Design | Data-Driven Mathematical Exploration | Mathematics | NEROS