Abstract
Computer Algebra may be pursued within a wide range of sophistication. At the lowest level there is the casual user who applies some of the system facilities e.g. to evaluate an integral, to sum a series or to find the solution of a differential equation. For this kind of applications it is usually sufficient to read through the manual which is provided by the system developer. After a while it is realized that the machine might perform additional tasks for which there are no system functions available. So the user starts writing his own special purpose package. As the time goes on additional facilities are added which means that the size of the software keeps growing. That works fine for a while until a critical size of about one thousand lines of code is reached. It suddenly turns out that the time which has to be spent for debugging or adding a new feature has increased to an unacceptable amount. Even worse, that process resembles more and more a vicious circle where a simple change in one part of the program causes unexpected effects in completely different regions and a superficial repair often makes things even worse. While spending most of the time for implementing new algorithms for new tasks, somehow the survey over the organization of the package got lost. At that point the astute user will realize that he has reached a threshold where qualitatively new tools for further proceeding are needed. To provide these tools is the realm of software engineering.
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
E. Kreuzer, G. Leister, Programmsystem NEWEUL’90, Manual, University of Stuttgart, Institut B for Mechanics, AN-24, 1990.
A. C. Hearn, Reduce User’s Manual, part of Reduce.
M. MacCallum, F. Wright, Algebraic Computing with Reduce, Clarendon Press, Oxford, 1991
F. Schwarz, A Guided Tour Through REDUCE.
B. Buchberger, G. E. Collins, R. Loos, Eds., Computer Algebra, Symbolic and Algebraic Computation, Computing Supplementum 4, Springer, 1982.
J. D. Davenport, Y. Siret, E. Tournier, Computer Algebra, Academic Press, 1988.
K. O. Geddes, S. R. Czapor, G. Labahn, Algorithms for Computer Algebra, Kluwer Academic Publishers, 1993.
R. Zippel, Computer Algebra Algorithms, Kluwer Academic Publishers, 1993.
R. D. Jenks, B. Sutor, Axiom, Springer, 1992.
R. S. Pressman, Software Engineering, McGraw-Hill, 1992.
G. Booch, Object Oriented Design, Benjamin/Cummings Publishing, 1991.
P. Coad, E. Yourdon, Object-Oriented Analysis and Object-Oriented Design, both published by Yourdon Press, Englewood Cliffs, 1991.
B. Meyer, Object-oriented Software Construction, Prentice Hall, 1988.
B. Liskov and J. Guttag, Abstraction and Specification in Program Development, The MIT Press, Cambridge, 1986.
L. Cardelli, P. Wegner, On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys 17, 471–522 (1985).
O. J. Dahl, K. Nygaard, SIMULA 67 Common Base Proposal, Norwegian Computing Center Document, Oslo, 1967.
A. Goldberg, D. Robson, Smalltalk-80, Addison Wesley, 1983.
N. Wirth, On the Composition of Well-Structured Programs, Computing Surveys 6, 247–259 (1974).
T. Budd, Object-Oriented Programming, Addison-Wesley, 1991.
J. F. Fedoraro, The Design of a Language for Algberaic Computation Systems, Thesis, Berkeley, 1983.
N. J. Lehmann, Probleme und Bedeutung der Entwicklung von Programmiersprachen, Elektronische Informationsverarbeitung und Kybernetik 11, 200–206 (1975).
A. Weber, Structuring the Type System of a Computer Algebra System, Dissertation, Universität Tübingen, 1992.
J. Schwartz, R. B. K. Dewar, R. Dubinksy, E. Schonberg, Programming with Sets: A Introduction to SETL, Springer, New York, 1986.
Scratchpad II User’s Guide, Computer Algebra Group at IBM Yorktown Heights.
F. Schwarz, Symmetries of Differential Equations: From Sophus Lie to Computer Algebra, SIAM Review 30, 450–481 (1988).
F. Schwarz, An Algorithm for Determining the Size of Symmetry Groups, Computing 49, 95–115 (1992).
A. K. Noor, Computerized Symbolic Manipulation in Structural Mechanics, these Proceedings.
G. Hotz, Optical Formula Recognizer, System Manual, University of Saarbrücken, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Wien
About this chapter
Cite this chapter
Schwarz, F. (1994). Computer Algebra Software for Scientific Applications. In: Kreuzer, E. (eds) Computerized Symbolic Manipulation in Mechanics. CISM International Centre for Mechanical Sciences, vol 343. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3010-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3010-0_2
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82616-4
Online ISBN: 978-3-7091-3010-0
eBook Packages: Springer Book Archive