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

Figure 8

A possible development of the part of the curriculum shown on Figure 7.