Distributed algorithms for formation of geometric patterns with many mobile robots | Synapse