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

Figure 6

An incorrect representation of linear system solving detailing two possible methods.