Essays on SIGMA: Simulation and Implementation of General Mathematical Activity