Conjecture Generation by Computation Implementation Protocol | Conjecture Generation by Computation | Mathematics | NEROS