1. A Decision Making Tool for Mathematics Curricula Formal Verification
- Author
-
Roanes-Lozano, Eugenio, Martínez-Zarzuelo, Angélica, Martinovic, Dragana, Series Editor, Freiman, Viktor, Series Editor, Borba, Marcelo, Editorial Board Member, Bottino, Rosa Maria, Editorial Board Member, Drijvers, Paul, Editorial Board Member, Hoyles, Celia, Editorial Board Member, Karadag, Zekeriya, Editorial Board Member, Lerman, Stephen, Editorial Board Member, Lesh, Richard, Editorial Board Member, Leung, Allen, Editorial Board Member, Lowrie, Tom, Editorial Board Member, Mason, John, Editorial Board Member, Pozdnyakov, Sergey, Editorial Board Member, Robutti, Ornella, Editorial Board Member, Sfard, Anna, Editorial Board Member, Sriraman, Bharath, Editorial Board Member, Faggiano, Eleonora, Editorial Board Member, Richard, Philippe R., editor, Vélez, M. Pilar, editor, and Van Vaerenbergh, Steven, editor
- Published
- 2022
- Full Text
- View/download PDF