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”).