Zusammenfassung
Traditionellerweise rechnet man auf dem Computer mit Zahlen, d.h. numerisch. Inzwischen sind aber Software-Pakete entwickelt worden (z.B. Axiom, Derive, Mac-syma, Maple, Mathematica, Reduce), die es erlauben, mathematische Formeln auf dem Computer zu manipulieren. Man kann etwa Polynome vereinfachen, nicht-lineare algebraische Gleichungen analytisch lösen, Funktionen differenzieren und integrieren, Matrizen invertieren usw. Anhand einfacher Beispiele wird gezeigt, wie leistungsfähig die heutigen Systeme sind und wie man sie in Mathematik, Naturwissenschaft und Technik typischerweise anwenden kann.
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.
Literatur
Grundlegendes über CA-Systeme und ihre Algorithmen:
B. Buchberger, G.E. Collins and R. Loos (eds.): “Computer Algebra. Symbolic and Algebraic Computation.” Computing Supplementum 4. Springer, Wien (1982).
J.H. Davenport, Y. Siret and E. Tournier: “Computer Algebra. Systems and algorithms for algebraic computation.” Transl. from the French. Academic Press, London (1988).
Vergleich verschiedener CA-Systeme:
B. Fuchssteiner et al. (Herausg.): “mathPAD”. Sonderausgabe zur Tagung der Deutschen Mathematiker- Vereinigung in Bielefeld. Vol.1, Heft 3, Universität Paderborn, September 1991.
D. Harper, C. Wooff and D. Hodgkinson: “A Guide to Computer Algebra Systems.” Wiley, Chichester (1991).
G.H. Gonnet und D.W. Gruntz: “Algebraic Manipulation: Systems.” In The Encyclopedia of Computer Science and Engineering. A. Ralston et al. (eds.). To be published (1991/92).
Anwendung von CA:
B. Buchberger und B. Kutzler: “Computer-Algebra für den Ingenieur.” In Rechnerorientierte Verfahre. von B. Buchberger et al. Teubner, Stuttgart (1986).
V. Winkelmann and F.W. Hehl: “Reduce for Beginners. Six Lectures on the Application of Computer-Algebra.” In Computer Simulation and Computer Algebr., D. Stauffer et al. (eds.), 2nd ed. Springer, Berlin (1989). Deutsche Version, Köln (1991); wird demnächst veröffentlicht.
M. MacCallum and F. Wright: “Algebraic Computing with Reduce.” In First Brazilian School on Computer Algebra, Vol.., M.J. Rebouças and W. L. Roque (eds.). Clarendon Press, Oxford (1991).
R.E. Crandall: “Mathematica for the Sciences.” Addison-Wesley, Redwood City (1991).
Jetziger Stand der CA und zukünftige Entwicklung:
S.M. Watt, ed.: “ISSAC’91 — Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation. Bonn, July 1991.” ACM Press, New York (1991).
A.C. Hearn: “Future Directions for Research in Symbolic Computation.” Report of a Workshop on Symbolic and Algebraic Computation. A. Boyle and B.F. Caviness (eds.). SIAM, Philadelphia (1990).
Verschiedene ernsthafte Anwendungen der CA:
P. Baekler, M. Gürses, F.W. Hehl and J.D. McCrea: “The exterior gravitational field of a charged spinning source in the Poincaré gauge theory...”. Phys. Lett. 128A (1988) 245.
E. Schrüfer, F.W. Hehl and J.D. McCrea: “Exterior calculus on the computer: The REDUCE-Package EXCALC Applied to General Relativity and to the Poincaré Gauge Theory”. GRG Journal 19 (1985) 437.
J. D. McCrea: “REDUCE in General Relativity and in Poincare Gauge Theory”. In First Brazilian School on Computer Algebra, Vol.., M.J. Rebouças and W.L. Roque (eds.). Clarendon Press, Oxford (1991/92), in press.
W.M. Seiler: “SUPERCALC - a REDUCE package for commutator calculations”. Comp. Phys. Comm. 66 (1991) 363.
Chen Zhijiang et al.: “A Reduce approach to one-dimensional polynomial anharmonic oscillators”. Preprint IC/90/202, International Centre for Theoretical Physics, Trieste (1990).
R. Berndt, A. Lock, G. Witte and Ch. Wöll: “Application of CA to surface lattice dynamics”. In ISSAC’91 [10], p.433.
V.G. Ganzha, B. Yu. Scobelev and E.V. Vorozhtsov: “Stability analysis of difference schemes by the catastrophe theory methods and by means of CA.” In ISSAC’91 [10], p.427.
V.G. Ganzha, E.V. Vorozhtsov und C. Zenger: “Stabilitätsuntersuchung von Differenzenverfahren mit Hilfe der Resultantenalgebra unter Verwendung des REDUCE-Systems”. Vorabdruck TUM-I9120, Institut für Informatik, TU München (1991).
T. Wolf: “The Integration of Under-determined Linear ODEs”. Preprint School of Math. Sciences, Queen Mary and Westfield College, London (1991).
T. Wolf: “The Symbolic Integration of Exact PDEs”. Preprint School of Math. Sciences, Queen Mary and Westfield College, London (1991).
T. Appelquist and S.J. Brodsky: “Order α2 electrodynamic corrections to the Lamb shift”. Phys. Rev. Lett. 24 (1979) 562.
Karikaturen:
Peter Scherer, Niehler Str. 351, W-5000 Köln 60.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hehl, F.W., Meyer, H. (1992). Mit Buchstaben auf dem Computer rechnen: Über die Anwendung der Computeralgebra in Mathematik, Naturwissenschaft und Technik. In: Krönig, D., Lang, M. (eds) Physik und Informatik — Informatik und Physik. Informatik-Fachberichte, vol 306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77382-2_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-77382-2_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55298-7
Online ISBN: 978-3-642-77382-2
eBook Packages: Springer Book Archive