{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:48Z","timestamp":1760061528136},"publisher-location":"Vienna","reference-count":23,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211828434"},{"type":"electronic","value":"9783709164617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-7091-6461-7_9","type":"book-chapter","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T09:21:44Z","timestamp":1313140904000},"page":"163-177","source":"Crossref","is-referenced-by-count":7,"title":["Design principles of Mathpert: software to support education in algebra and calculus"],"prefix":"10.1007","author":[{"given":"Michael","family":"Beeson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Structures and interpretation of computer programs","author":"H Abelson","year":"1985","unstructured":"Abelson, H., Sussman, G. J., Sussman, J. (1985): Structures and interpretation of computer programs. MIT Press, Cambridge, MA."},{"issue":"1","key":"9_CR2","first-page":"5","volume":"4\/","author":"JL Bentley","year":"1991","unstructured":"Bentley, J. L., Kernighan, B. W. (1991): A system for algorithm animation. Comput. Syst. 4\/1: 5\u201330.","journal-title":"Comput. Syst."},{"key":"9_CR3","volume-title":"Semiology of graphics","author":"J Bertin","year":"1983","unstructured":"Bertin, J. (1983): Semiology of graphics. University of Wisconsin Press, Madison, WI."},{"issue":"5","key":"9_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/2.56","volume":"21\/","author":"MH Brown","year":"1988","unstructured":"Brown, M. H. (1988): Exploring algorithms using BALSA-II. IEEE Computer 21\/5: 14\u201336.","journal-title":"IEEE Computer"},{"key":"9_CR5","unstructured":"Brown, M. H. (1992): Zeus: a system for algorithm animation and multi-view editing. Digital SRC Res. Rep. 75, DEC, Palo Alto, CA."},{"key":"9_CR6","unstructured":"Brown, M. H., Hershberger, J. (1991): Color and sound in algorithm animation. Digital SRC Res. Rep. 76a, DEC, Palo Alto, CA."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Brown, M. H., Najork, M. A. (1993): Algorithm animation using 3D interactive graphics. Digital SRC Res. Rep. 110a, DEC, Palo Alto, CA.","DOI":"10.1145\/168642.168651"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/964965.808596","volume":"18","author":"MH Brown","year":"1984","unstructured":"Brown, M. H., Sedgewick, R. (1984): A system for algorithm animation. Comput. Graph. 18: 177\u2013186.","journal-title":"Comput. Graph."},{"key":"9_CR9","first-page":"18","volume-title":"Abstraction in algorithm animation","author":"KC Cox","year":"1992","unstructured":"Cox, K. C. ( 1992): Abstraction in algorithm animation. In: Proceedings of the 1992 IEEE Workshop on Visual Languages. IEEE Computer Science Press, Los Alamitos, CA, pp. 18\u201324."},{"key":"9_CR10","series-title":"Rapp. Tech.","volume-title":"ASAP: a protocol for symbolic computation systems","author":"S Dalmas","year":"1994","unstructured":"Dalmas, S., Ga\u00ebtano, M., and Sausse, A. (1994): ASAP: a protocol for symbolic computation systems. Rapp. Tech. 162, Institut National de Recherche en Informatique et en Automatique, Le Chesnay."},{"key":"9_CR11","volume-title":"Ph.D. thesis","author":"J Sousa de","year":"1995","unstructured":"de Sousa, J. (1995): Etude algorithmique de la topologie des courbes alg\u00e9briques planes complexes. Ph.D. thesis, Universit\u00e9 de Nice-Sophia Antipolis, Sophia Antipolis, France."},{"key":"9_CR12","first-page":"131","volume-title":"Animated graphical interfaces using temporal constraints","author":"RA Duisberg","year":"1986","unstructured":"Duisberg, R. A. (1986): Animated graphical interfaces using temporal constraints. In: Proceedings of the ACM CHI\u2019 86 Conference on Human Factors in Computing Systems. Association for Computing Machinery, New York, pp. 131\u2013136."},{"key":"9_CR13","first-page":"25","volume-title":"AACE algorithm animation for computer science education","author":"PA Gloor","year":"1992","unstructured":"Gloor, P. A. (1992): AACE algorithm animation for computer science education. In: Proceedings of the 1992 IEEE Workshop on Visual Languages. IEEE Computer Science Press, Los Alamitos, CA, pp. 25\u201331."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Helttula, E., Hyrskykari, A., R\u00e4ih\u00e4, K.-J. (1989): Graphical specification of algorithm animations with Aladdin. In: Proceedings of the 22nd Hawaii International Conference on System Sciences, pp. 892\u2013901.","DOI":"10.1109\/HICSS.1989.48099"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/spe.4380190602","volume":"19","author":"MS Krishnamoorthy","year":"1989","unstructured":"Krishnamoorthy, M. S., Swaminathan, R. (1989): Programs tools for algorithm animation. Software Pract. Exper. 19: 505\u2013513.","journal-title":"Software Pract. Exper."},{"key":"9_CR16","unstructured":"Najork, M. A. (1994): Obliq-3D tutorial and reference manual. Digital SRC Res. Rep. 129, DEC, Palo Alto, CA."},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/191033.191057","volume":"26\/","author":"R Rasala","year":"1994","unstructured":"Rasala, R., Prouxl, V. K., Fell, H. J. (1994): From animation to analysis in introductory computer science. SIGCSE Bull. 26\/1: 61\u201365.","journal-title":"SIGCSE Bull."},{"issue":"9","key":"9_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/2.58216","volume":"23\/","author":"JT Stasko","year":"1990","unstructured":"Stasko, J. T. (1990): Tango: a framework and system for algorithm animation. IEEE Computer 23\/9: 27\u201339.","journal-title":"IEEE Computer"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/130956.130959","volume":"23\/","author":"JT Stasko","year":"1992","unstructured":"Stasko, J. T. (1992): Animating algorithms with XTango. SIGACT News 23\/2: 67\u201371.","journal-title":"SIGACT News"},{"key":"9_CR20","first-page":"100","volume-title":"Three-dimensional computation visualization","author":"JT Stasko","year":"1993","unstructured":"Stasko, J. T., Wehrli, J. F. (1993): Three-dimensional computation visualization. In: Proceedings of the 1993 IEEE Symposium on Visual Languages. IEEE Computer Science Press, Los Alamitos, CA, pp. 100\u2013107."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Tal, A., Dobkin, D. (1994): GASP: a system for visualizing geometric algorithms. In: IEEE Visualization\u2019 94, pp. 149\u2013155.","DOI":"10.1109\/VISUAL.1994.346325"},{"key":"9_CR22","volume-title":"Prism user\u2019s guide, version 2.0","author":"Thinking Machines","year":"1994","unstructured":"Thinking Machines (1994): Prism user\u2019s guide, version 2.0. Thinking Machines Corp., Cambridge, MA."},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/114005.102806","volume":"13","author":"RC Waters","year":"1991","unstructured":"Waters, R. C. (1991): Automatic transformation of series expressions into loops. ACM Trans. Programm. Lang. Syst. 13: 53\u201398.","journal-title":"ACM Trans. Programm. Lang. Syst."}],"container-title":["Texts and Monographs in Symbolic Computation","Computer-Human Interaction in Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6461-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:42:26Z","timestamp":1606124546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6461-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783211828434","9783709164617"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6461-7_9","relation":{},"ISSN":["0943-853X"],"issn-type":[{"type":"print","value":"0943-853X"}],"subject":[],"published":{"date-parts":[[1998]]}}}