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

Table 1

Sets of contents and relations used throughout this paper.

	Sets of contents	Immediate prerequisite relation	Prerequisite relation
“Official curriculum”
“Preprocessed official curriculum”
“Official curriculum development”