Abstract
The most visible aim of the ACELA (architecture of a computer environment for Lie algebras) project is the production of a state-of-the-art interactive book on Lie algebras; state-of-the-art mathematically as well as in its interactive potential. While we have chosen this as a worthwhile and challenging goal by itself, this target also serves as a concrete milestone for our longer-term aims, offering a realistic and far from trivial testing ground for our ideas.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Backhouse, R., Verhoeven, R. (1995): Math/pad: ergonomic document preparation. Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
Berners-Lee, T. J., Cailliau, R., Groff, J.-F. (1992): The World-Wide Web. Comput. Networks ISDN Syst. 25: 454–459.
de Graaf, W A. (1997): Algorithms for finite-dimensional Lie algebras. Ph.D. thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
Fultz, J., Grohens, J. (1993): Mathematica user’s guide for the X front end. Wolfram Research, Inc., Champaign.
Humphreys, J. E. (1974): Introduction to Lie algebras and representation theory. Springer, New York, Berlin Heidelberg.
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–386.
Luo, Z., Pollack, R. (1992): The LEGO proof development system: a user’s manual. Report ECS-LFCS-92-211, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, U.K.
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.
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–213.
van Leeuwen, A. (1994): Representation of mathematical objects in interactive books. ACELA project working document, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
van Leeuwen, M. A. A., Cohen, A. M., Lisser, B. (1992): LiE, a package for Lie group computations. Computer Algebra Nederland, Amsterdam, The Netherlands.
von Sydow, B. (1992): The design of the Euromath system. Euromath Bull. 1/1: 39–48.
Weber, O. (1994): Routes through the maze. ACELA working document, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Wien
About this chapter
Cite this chapter
Cohen, A.M., Meertens, L. (1998). The ACELA project: aims and plans. In: Kajler, N. (eds) Computer-Human Interaction in Symbolic Computation. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6461-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6461-7_2
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82843-4
Online ISBN: 978-3-7091-6461-7
eBook Packages: Springer Book Archive