{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:03:42Z","timestamp":1725505422100},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781387"},{"type":"electronic","value":"9783540781394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78139-4_34","type":"book-chapter","created":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T05:53:26Z","timestamp":1205387606000},"page":"380-391","source":"Crossref","is-referenced-by-count":4,"title":["A Web Application for Mathematics Education"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Paulo","family":"Leal","sequence":"additional","affiliation":[]},{"given":"Marcos Aur\u00e9lio","family":"Domingues","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","first-page":"89","volume-title":"Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation","author":"M. Beeson","year":"1998","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, vol.\u00a0XI, pp. 89\u2013115. Springer, Heidelberg (1998)"},{"key":"34_CR2","volume-title":"The Computer Modelling of Mathematical Reasoning","author":"A. Bundy","year":"1983","unstructured":"Bundy, A.: The Computer Modelling of Mathematical Reasoning. Academic Press, London (1983)"},{"key":"34_CR3","unstructured":"Domingues, M.A., Leal, J.P.: Configuring Web Wizards in XML. In: Proc.\u00a0of XATA2006, XML: Aplica\u00e7\u00f5es e Tecnologias Associadas, pp. 315\u2013324 (2006)"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1016\/j.jsc.2004.12.005","volume":"39","author":"H. Gottliebsen","year":"2005","unstructured":"Gottliebsen, H., Kelsey, T., Martin, U.: Hidden Verification for Computational Mathematics. J.\u00a0Symbolic Computation\u00a039, 539\u2013567 (2005)","journal-title":"J.\u00a0Symbolic Computation"},{"key":"34_CR5","first-page":"1","volume":"1:2","author":"R.O. Isidro","year":"2005","unstructured":"Isidro, R.O., Sousa Pinto, J., Batel Anjo, A.: SA3C - Platform of Evaluation System and Computer Assisted Learning. WEAS Transactions on Advances in Engineering Education\u00a01:2, 1\u20136 (2005), \n                    \n                      http:\/\/pmate.ua.pt:8081\/pmate\/","journal-title":"WEAS Transactions on Advances in Engineering Education"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1007\/978-3-540-69507-3_62","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"J.P. Leal","year":"2007","unstructured":"Leal, J.P., Domingues, M.A.: Rapid development of web interfaces to heterogeneous systems. In: van Leeuwen, J., et al. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 716\u2013725. Springer, Heidelberg (2007)"},{"key":"34_CR7","first-page":"385","volume":"12:4","author":"E. Melis","year":"2001","unstructured":"Melis, E., et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. International Journal of Artificial Intelligence in Education\u00a012:4, 385\u2013407 (2001), \n                    \n                      http:\/\/www.activemath.org\/","journal-title":"International Journal of Artificial Intelligence in Education"},{"key":"34_CR8","unstructured":"FP6-Project \u201dLeActiveMath\u201d: Language Enhanced User Adaptive, Interactive eLearning for Mathematics (2004\/2006) \n                    \n                      http:\/\/www.dfki.de\/leactivemath\/"},{"key":"34_CR9","unstructured":"IMS QTI Specifications. IMS Global Learning Consortium, Inc. \n                    \n                      www.imsglobal.org\/question\/index.html"},{"key":"34_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints \u2013 An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.: Programming with Constraints \u2013 An Introduction. MIT Press, Cambridge (1998)"},{"key":"34_CR11","first-page":"61","volume-title":"Computer-Human Interaction in Symbolic Computation","author":"R. Ravaglia","year":"1999","unstructured":"Ravaglia, R., Alper, T., Rozenfeld, M., Suppes, P.: Successful Pedagogical Applications of Symbolic Computation. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 61\u201388. Springer, Heidelberg (1999)"},{"volume-title":"Handbook of Automated Reasoning","year":"2001","key":"34_CR12","unstructured":"Robinson, A., Voronkoy, A. (eds.): Handbook of Automated Reasoning. Elsevier Science, Amsterdam (2001)"},{"volume-title":"Handbook of Constraint Programming","year":"2006","key":"34_CR13","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier Science, Amsterdam (2006)"},{"key":"34_CR14","unstructured":"SICStus Prolog User Manual (Release 3.12.0), SICS, Sweden (2004) \n                    \n                      http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1002\/spe.779","volume":"37:4","author":"J. Sierra","year":"2007","unstructured":"Sierra, J., Moreno-Ger, P., Mart\u00ednez-Ortiz, I., Fern\u00e1ndez-Manj\u00f3n, B.: A highly modular and extensible architecture for an integrated IMS-based authoring system: The <e-Aula> experience. Softw. Pract. Exper.\u00a037:4, 441\u2013461 (2007)","journal-title":"Softw. Pract. Exper."},{"key":"34_CR16","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 (2003)"},{"key":"34_CR17","series-title":"IFIP Series","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/0-387-34224-9_50","volume-title":"Proc.\u00a0Artificial Intelligence Applications and Innovations (AIAI 2006)","author":"A.P. Tom\u00e1s","year":"2006","unstructured":"Tom\u00e1s, A.P., Moreira, N., Pereira, N.: Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. In: Proc.\u00a0Artificial Intelligence Applications and Innovations (AIAI 2006). IFIP Series, vol.\u00a0204, pp. 433\u2013441. Springer-Verlag, Heidelberg (2006)"},{"key":"34_CR18","unstructured":"Xiao, G.: On Public-Questions Tests, Univ.\u00a0Nice Sophia-Antipolis, France (2004)"},{"key":"34_CR19","unstructured":"XSL Transformations (XSLT) W3C Recommendation (November 16, 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt"},{"key":"34_CR20","unstructured":"Moodle course management system. \n                    \n                      http:\/\/moodle.org\/"},{"key":"34_CR21","unstructured":"Moodle XML. \n                    \n                      http:\/\/docs.moodle.org\/en\/Moodle_XML"}],"container-title":["Lecture Notes in Computer Science","Advances in Web Based Learning \u2013 ICWL 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78139-4_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:30Z","timestamp":1619521170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78139-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781387","9783540781394"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78139-4_34","relation":{},"subject":[]}}