Symbolic Enumeration of Discrete Objects Implementation Protocol | Symbolic Enumeration of Discrete Objects | Mathematics | NEROS