{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:41:52Z","timestamp":1762004512399},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406263"},{"type":"electronic","value":"9783642406270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40627-0_62","type":"book-chapter","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T03:11:01Z","timestamp":1378523461000},"page":"848-863","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Generation and Delivery of Multiple-Choice Math Quizzes"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Paulo","family":"Leal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Beeson, M.: Design Principles of Mathpert: Software to Support Education in Algebra and Calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation, pp. 89\u2013115. Springer, Heidelberg (1998)","DOI":"10.1007\/978-3-7091-6461-7_9"},{"key":"62_CR2","series-title":"LNAI","first-page":"75","volume-title":"Calculemus\/MKM 2009","author":"R. Bradford","year":"2009","unstructured":"Bradford, R., Davenport, J.H., Sangwin, C.J.: A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus\/MKM 2009. LNCS (LNAI), vol.\u00a05625, pp. 75\u201389. Springer, Heidelberg (2009)"},{"key":"62_CR3","first-page":"312","volume":"59","author":"D. Cervone","year":"2012","unstructured":"Cervone, D.: MathJax \u2013 A Platform for Mathematics on the Web. Notices of the AMS\u00a059, 312\u2013316 (2012)","journal-title":"Notices of the AMS"},{"key":"62_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.artint.2004.10.005","volume":"161","author":"B. Faltings","year":"2005","unstructured":"Faltings, B., Macho-Gonzalez, S.: Open Constraint Programming. Artificial Intelligence\u00a0161, 181\u2013208 (2005)","journal-title":"Artificial Intelligence"},{"key":"62_CR5","unstructured":"Goguadze, G.: ActiveMath \u2013 Generation and Reuse of Interactive Exercises using Domain Reasoners and Automated Tutorial Strategies. PhD thesis, Saarland University (2011)"},{"key":"62_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1207\/s15324818ame0201_3","volume":"2","author":"T.M. Haladyna","year":"1989","unstructured":"Haladyna, T.M., Downing, S.M.: A Taxonomy of Multiple-Choice Item-Writing Rules. Applied Measurement in Education\u00a02, 37\u201350 (1989)","journal-title":"Applied Measurement in Education"},{"key":"62_CR7","unstructured":"Junker, U.: Configuration. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, pp. 835\u2013871. Elsevier (2006)"},{"key":"62_CR8","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1002\/spe.522","volume":"33","author":"J.P. Leal","year":"2003","unstructured":"Leal, J.P., Silva, F.: Mooshak: a Web-based Multi-site Programming Contest System. Software \u2013 Practice and Experience\u00a033, 567\u2013581 (2003)","journal-title":"Software \u2013 Practice and Experience"},{"key":"62_CR9","first-page":"578","volume-title":"21st International Joint Conf. on Artificial Intelligence, IJCAI 2009","author":"J.M. Maher","year":"2009","unstructured":"Maher, J.M.: Open Contractible Global Constraints. In: 21st International Joint Conf. on Artificial Intelligence, IJCAI 2009, pp. 578\u2013583. Morgan Kaufmann Publishers, USA (2009)"},{"key":"62_CR10","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/362637.362648","volume":"14","author":"J. Moses","year":"1971","unstructured":"Moses, J.: Algebraic Simplification: a Guide for the Perplexed. Communications of the ACM\u00a014, 527\u2013537 (1971)","journal-title":"Communications of the ACM"},{"key":"62_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/00207390601035476","volume":"38","author":"J.S. Pinto","year":"2007","unstructured":"Pinto, J.S., Oliveira, M.P., Anjo, A.B., Vieira Pais, S.I., Isidro, R.O., Silva, M.H.: TDmat-Mathematics Diagnosis Evaluation Test for Engineering Sciences Students. Int. J. Mathematical Education in Science and Technology\u00a038, 283\u2013299 (2007)","journal-title":"Int. J. Mathematical Education in Science and Technology"},{"key":"62_CR12","unstructured":"Sangwin, C.J., Grove, M.J.: STACK \u2013 Addressing the Needs of the \u201cNeglected Learners\u201d. In: 1st WebAlt Conference and Exhibition, pp. 81\u201395 (2006)"},{"key":"62_CR13","doi-asserted-by":"crossref","unstructured":"Sangwin, C.: Computer Aided Assessment of Mathematics. Oxford University Press (2013)","DOI":"10.1093\/acprof:oso\/9780199660353.001.0001"},{"key":"62_CR14","doi-asserted-by":"crossref","unstructured":"Schoenfeld, A.H. (ed.): Assessing Mathematical Proficiency. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511755378"},{"key":"62_CR15","unstructured":"Snajder, J., Cupic, M., Basic, B.D., Petrovic, S.: Enthusiast: An Authoring Tool for Automatic Generation of Paper-and-Pencil Multiple-Choice Tests. In: ICL 2008, Villach, Austria (2008)"},{"key":"62_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0747-7171(89)80007-0","volume":"7","author":"L. Sterling","year":"1989","unstructured":"Sterling, L., Bundy, A., Byrd, L., O\u2019Keefe, R., Silver, B.: Solving symbolic equations with Press. Journal of Symbolic Computation\u00a07, 71\u201384 (1989)","journal-title":"Journal of Symbolic Computation"},{"key":"62_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36388-2_16","volume-title":"Practical Aspects of Declarative Languages","author":"A.P. Tom\u00e1s","year":"2002","unstructured":"Tom\u00e1s, A.P., Leal, J.P.: A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 223\u2013240. Springer, Heidelberg (2002)"},{"key":"62_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-78139-4_34","volume-title":"Advances in Web Based Learning \u2013 ICWL 2007","author":"A.P. Tom\u00e1s","year":"2008","unstructured":"Tom\u00e1s, A.P., Leal, J.P., Domingues, M.: A Web Application for Mathematics Education. In: Leung, H., Li, F., Lau, R., Li, Q. (eds.) ICWL 2007. LNCS, vol.\u00a04823, pp. 380\u2013391. Springer, Heidelberg (2008)"},{"key":"62_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/11757375_20","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"W.-J. Hoeve van","year":"2006","unstructured":"van Hoeve, W.-J., R\u00e9gin, J.-C.: Open Constraints in a Closed World. In: Beck, J.C., Smith, B.M. (eds.) CPAIOR 2006. LNCS, vol.\u00a03990, pp. 244\u2013257. Springer, Heidelberg (2006)"},{"key":"62_CR20","unstructured":"Xiao, G.: WIMS \u2013 An Interactive Mathematics Server. Journal of Online Mathematics and its Applications\u00a01, MAA (2001)"},{"key":"62_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/11774303_35","volume-title":"Intelligent Tutoring Systems","author":"C. Zinn","year":"2006","unstructured":"Zinn, C.: Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol.\u00a04053, pp. 349\u2013359. Springer, Heidelberg (2006)"},{"key":"62_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-38197-3_15","volume-title":"Logic-Based Program Synthesis and Transformation","author":"C. Zinn","year":"2013","unstructured":"Zinn, C.: Program Analysis and Manipulation to Reproduce Learners\u2019 Erroneous Reasoning. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol.\u00a07844, pp. 228\u2013243. Springer, Heidelberg (2013)"},{"key":"62_CR23","unstructured":"LeActiveMath: Language-Enhanced, User Adaptive, Interactive eLearning for Mathematics, EU project (2004\u20132006), \n                    \n                      http:\/\/www.leactivemath.org\/"},{"key":"62_CR24","unstructured":"Math-Bridge: European Remedial Content for Mathematics, EU project (2009\u20132012), \n                    \n                      http:\/\/www.math-bridge.org\/"},{"key":"62_CR25","unstructured":"PmatE \u2013 Mathematics Education Project. University of Aveiro, Portugal (1990), \n                    \n                      http:\/\/pmate4.ua.pt\/pmate\/"},{"key":"62_CR26","unstructured":"SICStus Prolog. SICS, Sweden, \n                    \n                      http:\/\/www.sics.se"},{"key":"62_CR27","unstructured":"STACK: System for Teaching and Assessment using a Computer algebra Kernel. University of Birmingham, UK, \n                    \n                      http:\/\/www.stack.bham.ac.uk\/"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40627-0_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T22:10:13Z","timestamp":1558044613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40627-0_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406263","9783642406270"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40627-0_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}