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

Figure 2

Digraph of the algebraic contents arising in the mathematics curriculum of the first year of the Spanish Compulsory Secondary Education (Grade 7).