Mathematica: doing mathematics by computer?

  • B. Buchberger
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


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.


Inference Rule Predicate Logic Great Common Divisor Natural Deduction Equational Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Buchberger, B., Lichtenberger, F. (1980): Mathematik für Informatiker I: Die Methode der Mathematik. Springer, Berlin Heidelberg New York.MATHCrossRefGoogle Scholar
  2. Buchberger, B. (1996): Symbolic computation: computer algebra and logic. In: Baader, F., Schulz, K. (eds.): Frontiers of combining systems. Kluwer, Dordrecht.Google Scholar
  3. Wolfram, S. (1988): Mathematica: a system for doing mathematics by computer. Addison-Wesley, Redwood.MATHGoogle Scholar
  4. Wolfram, S. (1993): An interview with Stephen Wolfram. Mathematica Educ. 2/2.Google Scholar

Copyright information

© Springer-Verlag Wien 1997

Authors and Affiliations

  • B. Buchberger

There are no affiliations available

Personalised recommendations