{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:53:43Z","timestamp":1725468823621},"reference-count":10,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387342238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-34224-9_50","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T10:54:56Z","timestamp":1156503296000},"page":"433-441","source":"Crossref","is-referenced-by-count":1,"title":["Designing a Solver for Arithmetic Constraints to Support Education in Mathematics"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Nelma","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Nuno","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"H. Barendregt. Towards an Interactive Mathematical Proof Language. in F. Kamareddine (ed.), Thirty Five Years of Automath, Kluwer (2003) 25\u201336.","DOI":"10.1007\/978-94-017-0253-9_2"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"M. Beeson. Design Principles of Mathpert: Software to support education in algebra and calculus. In N. Kajler (ed.), Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation, Springer-Verlag (1998), 89\u2013115.","DOI":"10.1007\/978-3-7091-6461-7_9"},{"key":"50_CR3","unstructured":"A. Bundy. The Computer Modelling of Mathematical Reasoning. A. Press (1983)."},{"key":"50_CR4","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/S1571-0661(05)82613-1","volume":"86","author":"H. Cirstea","year":"2003","unstructured":"H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci., 86:4 (2003).","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"50_CR5","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1016\/j.jsc.2004.12.005","volume":"39","author":"H. Gottliebsen","year":"2005","unstructured":"H. Gottliebsen, T. Kelsey, U. Martin. Hidden Verification for Computational Mathematics. J. Symbolic Computation 39 (2005) 539\u2013567.","journal-title":"J. Symbolic Computation"},{"key":"50_CR6","unstructured":"C. Holzbaur. OFAI clp(q, r) Manual, Edition 1.3.3. Austrian Research Institute for Artificial Intelligence, TR-95-09, Vienna (1995)."},{"issue":"4","key":"50_CR7","first-page":"385","volume":"12","author":"E. Melis","year":"2001","unstructured":"E. Melis, E. Andr\u00e9s, J. B\u00fcdenbender, A. Prischauf, G. Goguadze, P. Libbrecht, M. Pollet, C. Ullrich. ActiveMath: A Generic and Adaptive Web-Based Learning Environment, Int. J. of AI in Education 12:4 (2001) 385\u2013407.","journal-title":"Int. J. of AI in Education"},{"key":"50_CR8","unstructured":"A. Robinson, A. Voronkoy (Eds). Handbook of Automated Reasoning, Elsevier Science (2001)."},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"A. P. Tom\u00e1s, J. P. Leal. A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. In V. Dahl, P. Wadler (Eds), Practical Aspects of Declarative Languages, 5th Int. Symposium PADL 2003, LNCS 2562, Springer-Verlag (2003) 223\u2013240.","DOI":"10.1007\/3-540-36388-2_16"},{"key":"50_CR10","unstructured":"G. Xiao. WIMS \u2014 An Interactive Mathematics Server, Journal of Online Mathematics and its Applications 1, MAA (2001)."}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence Applications and Innovations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-34224-9_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:18:27Z","timestamp":1605626307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-34224-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387342238"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/0-387-34224-9_50","relation":{},"subject":[]}}