Working with machines in mathematics | Synapse