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

Figure 4

“Official curriculum” of Figure 3, preprocessed.