An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification | Publicación