An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification

Figure 1

Digraph of the mathematical contents arising in the mathematics curricula of the Spanish Compulsory Secondary Education (Grades 7–10). Nodes are not labeled for the sake of clarity.