Computer algebra systems construct mathematical operations and geometry out of discrete state transitions across binary automata