Return to Article Details Map for Solving the Problem of arithmetic or geometry (MSP): workshop experience between natural and formal language Download Download PDF