Publication | Closed Access

Translation between external representation systems in mathematics: All-or-none or skill conglomerate?

EngineeringRepresentation TheoryMathematical LinguisticsAutomated ReasoningGeometric RepresentationComputational Model TheoryMathematical ModelFoundation Of MathematicsLanguage StudiesSemanticsExternal Representation SystemsLinguisticsMachine Translation