Research Article

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

Figure 3

Some of the contents included in a mathematics “official curriculum.”