MathDeeper Knowledge on MathState MachinesAbstract representations of system state at a given point in timeStatisticsThe analysis of numerical dataMath Knowledge Graph