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

Figure 10

Part of an incomplete “official curriculum development.” The content “Linear systems” is a prerequisite but not an immediate prerequisite of the content “Gaussian elimination” in the “preprocessed official curriculum” (the content “Equivalent systems” has been bypassed—in fact it does not even appear).