{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:26:31Z","timestamp":1725600391726},"publisher-location":"Vienna","reference-count":13,"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_2","type":"book-chapter","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T09:21:44Z","timestamp":1313140904000},"page":"7-23","source":"Crossref","is-referenced-by-count":1,"title":["The ACELA project: aims and plans"],"prefix":"10.1007","author":[{"given":"Arjeh M.","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lambert","family":"Meertens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Math\/pad: ergonomic document preparation","author":"R Backhouse","year":"1995","unstructured":"Backhouse, R., Verhoeven, R. (1995): Math\/pad: ergonomic document preparation. Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1016\/0169-7552(92)90039-S","volume":"25","author":"TJ Berners-Lee","year":"1992","unstructured":"Berners-Lee, T. J., Cailliau, R., Groff, J.-F. (1992): The World-Wide Web. Comput. Networks ISDN Syst. 25: 454\u2013459.","journal-title":"The World-Wide Web. Comput. Networks ISDN Syst."},{"key":"2_CR3","volume-title":"Ph.D. thesis","author":"WA Graaf de","year":"1997","unstructured":"de Graaf, W A. (1997): Algorithms for finite-dimensional Lie algebras. Ph.D. thesis, Eindhoven University of Technology, Eindhoven, The Netherlands."},{"key":"2_CR4","volume-title":"Mathematica user\u2019s guide for the X front end","author":"J Fultz","year":"1993","unstructured":"Fultz, J., Grohens, J. (1993): Mathematica user\u2019s guide for the X front end. Wolfram Research, Inc., Champaign."},{"key":"2_CR5","volume-title":"Introduction to Lie algebras and representation theory","author":"JE Humphreys","year":"1974","unstructured":"Humphreys, J. E. (1974): Introduction to Lie algebras and representation theory. Springer, New York, Berlin Heidelberg."},{"key":"2_CR6","first-page":"376","volume-title":"CAS\/PI: a portable and extensible interface for computer algebra systems","author":"N Kajler","year":"1992","unstructured":"Kajler, N. (1992): CAS\/PI: a portable and extensible interface for computer algebra systems. In: Wang, P. S. (ed.): Proceedings of the International Symposium on Symbolic and Algebraic Computation, Berkeley, California. Association for Computing Machinery, New York, pp. 376\u2013386."},{"key":"2_CR7","volume-title":"The LEGO proof development system: a user\u2019s manual","author":"Z Luo","year":"1992","unstructured":"Luo, Z., Pollack, R. (1992): The LEGO proof development system: a user\u2019s manual. Report ECS-LFCS-92-211, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, U.K."},{"key":"2_CR8","volume-title":"The ergonomics of computer interfaces: designing a system for human use","author":"L Meertens","year":"1992","unstructured":"Meertens, L., Pemberton, S. (1992): The ergonomics of computer interfaces: designing a system for human use. Report CS-R9258, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands."},{"key":"2_CR9","first-page":"200","volume-title":"GRIF: an interactive system for structured document manipulation","author":"V Quint","year":"1986","unstructured":"Quint, V., Vatton, I. (1986): GRIF: an interactive system for structured document manipulation. In: van Vliet, J. C. (ed.): Text processing and document manipulation: proceedings of the International Conference on Text Processing and Document Manipulation. Cambridge University Press, Cambridge, pp. 200\u2013213."},{"key":"2_CR10","volume-title":"Representation of mathematical objects in interactive books","author":"A Leeuwen van","year":"1994","unstructured":"van Leeuwen, A. (1994): Representation of mathematical objects in interactive books. ACELA project working document, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands."},{"key":"2_CR11","volume-title":"LiE, a package for Lie group computations","author":"MAA Leeuwen van","year":"1992","unstructured":"van Leeuwen, M. A. A., Cohen, A. M., Lisser, B. (1992): LiE, a package for Lie group computations. Computer Algebra Nederland, Amsterdam, The Netherlands."},{"issue":"1","key":"2_CR12","first-page":"39","volume":"1\/","author":"B Sydow von","year":"1992","unstructured":"von Sydow, B. (1992): The design of the Euromath system. Euromath Bull. 1\/1: 39\u201348.","journal-title":"Euromath Bull."},{"key":"2_CR13","volume-title":"Routes through the maze","author":"O Weber","year":"1994","unstructured":"Weber, O. (1994): Routes through the maze. ACELA working document, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands."}],"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_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:42:23Z","timestamp":1606124543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6461-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783211828434","9783709164617"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6461-7_2","relation":{},"ISSN":["0943-853X"],"issn-type":[{"type":"print","value":"0943-853X"}],"subject":[],"published":{"date-parts":[[1998]]}}}