Research Article

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

Figure 9

Part of an unsound “official curriculum development” (the content “Equivalent systems” is not a prerequisite for the content “Row manipulation” in the “preprocessed official curriculum”).