TY - CHAP AU - Roanes Lozano, Eugenio AU - Martínez Zarzuelo, Angélica A4 - Richard, Philippe R. A4 - Vélez Melón, Pilar A4 - Van Vaerenbergh, Steven PY - 2022 DO - 10.1007/978-3-030-86909-0_4 SN - 978-3-030-86908-3 SN - 978-3-030-86909-0 SN - 2211-8136 UR - https://hdl.handle.net/20.500.14352/113276 AB - The authors have been working on mathematics curricula organization for a long time. For instance, the first author is one of the advisors of the Ph.D. Thesis of the second author, that is closely related to this topic. We have recently developed a... LA - eng M2 - 77 PB - Springer KW - Curricula organization KW - Artificial intelligence KW - Graph theory KW - Rule based expert system TI - A decision making tool for mathematics curricula formal verification TY - book part VL - 17 ER -