Abstract
When, in the present paper, I will criticize the basic tenet of Mathematica this is not meant to detract anything from the invaluable merits of Stephen Wolfram’s wholistic oeuvre with its many facets: mathematics, language design, algorithms, software and system design, teaching and publication tools, applications, and — yes — business, marketing, popularization. Rather, it is my sincere hope and wish that my analysis might help to make soon further progress in achieving, gradually, the goal of “doing mathematics by computer”. Also, my proposal will show that this goal may well be achieved by suitable modifications and extensions of Mathematica and similar systems. Of course, I take Mathematica only as a paradigm for symbolic computation software systems and my analysis applies to all current systems in this category.
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
Buchberger, B., Lichtenberger, F. (1980): Mathematik für Informatiker I: Die Methode der Mathematik. Springer, Berlin Heidelberg New York.
Buchberger, B. (1996): Symbolic computation: computer algebra and logic. In: Baader, F., Schulz, K. (eds.): Frontiers of combining systems. Kluwer, Dordrecht.
Wolfram, S. (1988): Mathematica: a system for doing mathematics by computer. Addison-Wesley, Redwood.
Wolfram, S. (1993): An interview with Stephen Wolfram. Mathematica Educ. 2/2.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Wien
About this chapter
Cite this chapter
Buchberger, B. (1997). Mathematica: doing mathematics by computer?. In: Miola, A., Temperini, M. (eds) Advances in the Design of Symbolic Computation Systems. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6531-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6531-7_1
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82844-1
Online ISBN: 978-3-7091-6531-7
eBook Packages: Springer Book Archive