ME 353 M.M. Yovanovich COMPUTER ALGEBRA SYSTEMS

Total Page：16

File Type：pdf, Size：1020Kb

MATHPROGWEB.TEX ME 353 M.M. Yovanovich COMPUTER ALGEBRA SYSTEMS Computer Algebra Systems or Symb olic Mathematics Software Packages have b een develop ed over the past 25 years. The b est known packages are MACSYMA, MAPLE, MATHEMATICA, MATHCAD, MATHSCRIBE, MuMATH, and DERIVE, RE- DUCE, SMP. These packages will b e denoted by MATHPROG in this brief overview. MATHPROG tie together many disparate mathematical capabilities in one package. MATHPROG is at once a computer algebra system, a collection of numerical routines, and a mathematical graphics package. All the mathematics are accessed by a single command language and programming language, and the entire user interaction takes place in a uniform graphical environment. MATHPROG can b e used to do analytical work, to manipulate algebraic expressions, to di erentiate and integrate, solve linear and nonlinear ordinary di erential equations ana- lytically or numerically, display results graphically, and much more. For example MATH- PROG suchasMACSYMA, MAPLE, MATHEMATICA, MATHCAD, MATLAB as well as Spread Sheets suchas EXCEL supp ort sp ecial functions such as Airy, Bessel, error, complementary error, b eta and gamma, Legendre, complete and incomplete elliptic integrals, and others. These are very imp ortant when dealing with solutions to ordinary and partial di erential equations. MATHPROG can b e used to write pro cedural programs suchas BASIC, FORTRAN, PASCAL, etc to p erform sp eci c tasks. When used prop erly MATHPROG can b e a powerful to ol to increase ones pro ductivity and to enable one to address new problems. MAPLE V release 4 is a recently develop ed system written in C in order to achieve greater p ortablilty and sp eed. MAPLE runs on a large range of machines. It is available from Waterlo o Maple Software, 450 Philip Street, Waterlo o, Ontario, N2L 5JL, email: [email protected]. MAPLE V release 4 is available through WATSTAR..

Copy Link

Recommended publications

Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective
Noname manuscript No. (will be inserted by the editor) Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective Eugenio Roanes-Lozano · Jose Luis Galán-Garc´ıa · Carmen Solano-Mac´ıas Received: date / Accepted: date Abstract The computer algebra system DERIVE had a very important im- pact in teaching mathematics with technology, mainly in the 1990's. The au- thors analyze the possible reasons for its success and impact and give personal conclusions based on the facts collected. More than 10 years after it was discon- tinued it is still used for teaching and several scientific papers (most devoted to educational issues) still refer to it. A summary of the history, journals and conferences together with a brief bibliographic analysis are included. Keywords Computer algebra systems · DERIVE · educational software · symbolic computation · technology in mathematics education Eugenio Roanes-Lozano Instituto de MatemáticaInterdisciplinar & Departamento de Didáctica de las Ciencias Experimentales, Sociales y Matemáticas, Facultad de Educación,Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040-Madrid, Spain Tel.: +34-91-3946248 Fax: +34-91-3946133 E-mail: [email protected] Jose Luis Galán-Garc´ıa Departamento de Matemática Aplicada, Universidad de Málaga, Málaga, c/ Dr. Ortiz Ramos s/n. Campus de Teatinos, E{29071 Málaga,Spain Tel.: +34-952-132873 Fax: +34-952-132766 E-mail: [email protected] Carmen Solano-Mac´ıas Departamento de Informacióny Comunicación,Universidad de Extremadura, Plaza de Ibn Marwan s/n, 06001-Badajoz, Spain Tel.: +34-924-286400 Fax: +34-924-286401 E-mail: [email protected] 2 Eugenio Roanes-Lozano et al.
[Show full text]
CAS (Computer Algebra System) Mathematica
CAS (Computer Algebra System) Mathematica- UML students can download a copy for free as part of the UML site license; see the course website for details From: Wikipedia 2/9/2014 A computer algebra system (CAS) is a software program that allows [one] to compute with mathematical expressions in a way which is similar to the traditional handwritten computations of the mathematicians and other scientists. The main ones are Axiom, Magma, Maple, Mathematica and Sage (the latter includes several computer algebras systems, such as Macsyma and SymPy). Computer algebra systems began to appear in the 1960s, and evolved out of two quite different sources—the requirements of theoretical physicists and research into artificial intelligence. A prime example for the first development was the pioneering work conducted by the later Nobel Prize laureate in physics Martin Veltman, who designed a program for symbolic mathematics, especially High Energy Physics, called Schoonschip (Dutch for "clean ship") in 1963. Using LISP as the programming basis, Carl Engelman created MATHLAB in 1964 at MITRE within an artificial intelligence research environment. Later MATHLAB was made available to users on PDP-6 and PDP-10 Systems running TOPS-10 or TENEX in universities. Today it can still be used on SIMH-Emulations of the PDP-10. MATHLAB ("mathematical laboratory") should not be confused with MATLAB ("matrix laboratory") which is a system for numerical computation built 15 years later at the University of New Mexico, accidentally named rather similarly. The first popular computer algebra systems were muMATH, Reduce, Derive (based on muMATH), and Macsyma; a popular copyleft version of Macsyma called Maxima is actively being maintained.
[Show full text]
An Overview of the Evolution of the Devices Running Computer Algebra Systems and Their Educational Implications
Electrical & Electronic Technology Open Access Journal Short Communication Open Access An overview of the evolution of the devices running computer algebra systems and their educational implications Abstract Volume 1 Issue 1 - 2017 Only back in late 60’s and early 70’s powerful computers were required to run the Eugenio Roanes-Lozano then just released computer algebra systems (brand new software mainly designed as Instituto de Matemática Interdisciplinar & Depto de Álgebra, a specialized aid for astronomy and high energy physics). In the late 80’s they could Universidad Complutense de Madrid, Spain be run in standard computers. And in 1995 the first calculator including a computer algebra system was released. Now some of these pieces of software are freely available Correspondence: Eugenio Roanes-Lozano, Instituto de for Smartphones. That this software has been ported to these electronic devices is a Matemática Interdisciplinar & Depto de Álgebra, Universidad challenge to different aspects of mathematical and physics education, like: problem Complutense de Madrid, c/ Rector Royo Villanova s/n, solving, assessment and standardized assessment. 28040-Madrid, Spain, Tel 913-946-248, Fax 913-944-662, Email [email protected] Keywords: computer algebra systems, computers, calculators, smartphones, mathematical education Received: May 05, 2017 | Published: June 20, 2017 Introduction symbolic manipulations such as symbolic differentiation and integra- tion can be implemented. The incredible increase of microprocessors 1 Computer algebra systems have two main differences w.r.t. clas- power makes it possible to have CAS available for Smartphones. This sic computer languages: induces serious challenges in teaching mathematics as well and in the a) They perform numerical computations in exact arithmetic (by assessment of this subject.
[Show full text]
Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques
J. Symbolic Computation (1987) 3, 291-301 Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques R. D. MILLS Computing Science Department. University of Glasgow, Glasgow, UK (Received 2 December 1985) The microcomputer algebraic manipulation system MUMATH is used to implement the classical variational, Galerkin and least-squares techniques for solving boundary-value problems in differential equations and also for solving Fredhohn integral equations. Examples are given which extend the precision of known results. The technique is presented as a general algorithm which can readily be implemented on other algebraic manipulation systems. 1. Introduction Computer programs have been in existence since the fifties to manipulate polynomials, differentiate functions and solve equations. By the late sixties and early seventies programs were written which could integrate functions analytically. The late seventies saw the development of programs for the symbolic solution of differential and integral equations (see Golden, 1977; Stoutemyer, 1977; Bogen, 1979). Large and complex algebraic manipulation systems were devised to implement the algorithms which effect these processes, the best known being FORMAC, REDUCE2, MACSYMA and SCRATCHPAD. There then opened up the exciting possibility of tackling many problems in applied mathematics and engineering which could be solved approximately by analytical methods but which require very large amounts of algebraic manipulation. The Rayleigh-Ritz, Galerkin and least-squares methods for solving boundary-value problems in differential equations are typical examples. For early work using computer algebra in these methods, see Miola (1974) and Andersen & Noor (1977). This application area involves the interaction of numerical and algebraic computation (see Ng, 1979).
[Show full text]
Computational Mathematics with Sagemath, by Paul Zimmermann
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 57, Number 3, July 2020, Pages 515–521 https://doi.org/10.1090/bull/1690 Article electronically published on January 24, 2020 Computational Mathematics with SageMath, by Paul Zimmermann, Alexandre Cas- amayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, Fran¸cois Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nico- las M. Thiéry, Erik Bray, John Cremona, Marcelo Forets, Alexandru Ghitza, and Hugh Thomas, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, Pennsylvania, 2018, xiv+464 pp., ISBN 978-1-611975-45-1, US$69.00 It is no exaggeration to say that in the past 40 years computer algebra systems (CAS) have changed the everyday practice of mathematics immensely. In general terms, CAS all deal with mathematical objects represented in symbolic form. Some, but not all, also provide interfaces to routines for numerical computation; some, but again not all, provide interfaces to graphical routines for visualization of math- ematical objects. Almost all of them provide programming languages to allow users to extend the packages’ functionality. All of them aim, in one way or another, to be “systems for doing mathematics by computer” as Stephen Wolfram’s Mathematica package [15] boldly proclaims. 1. Historical development of CAS The following discussion is meant to illustrate the range of such systems that have been created. It does not aim to be exhaustive, and the author apologizes in advance to anyone whose contributions have been omitted or overlooked. The first computer algebra systems in effect grew out of artificial intelligence research starting in the 1960s, but connections with that side of computer sci- ence have lessened over time.
[Show full text]
Introduction to System Simulation Techniques and Applications
JWST357-c01 JWST357-Xue Printer: Yet to Come August 8, 2013 8:51 Trim: 7in × 10in 1 Introduction to System Simulation Techniques and Applications 1.1 Overview of System Simulation Techniques Systems are the integrated wholes composed of interrelated and interacting entities; these could be engineering systems or non-engineering systems. Engineering systems are the whole composed of interacting components such that certain system objectives can be achieved. For instance, motor drive systems are composed of an actuating component, a power transfer component and a signal measurement component, so as to control the motor speed or position, among other objectives. The field of non-engineering systems is much wider. From universe to micro world, any integrated whole can also be regarded as a system, since there are interrelated and interacting relationships. In order to quantitatively study the behavior of a system, the internal characteristics and interacting relationship should be extracted, to construct a model of the system. System models can be classified as physical models and mathematical models. Following the rapid development and utilization of computer technology, the application of mathematical models is more and more popular. A mathematical model of a system is a mathematical expression describing the dynamical behavior of the system. They can be used to describe the relationship of quantities in the system and they are the basis of system analysis and design. From the viewpoint of the type of mathematical model, systems can be classified as continuous-time systems, discrete-time systems, discrete event systems and hybrid systems. Systems can also be classified as subclasses of linear, nonlinear, time invariant, time varying, lumped parameters, distributed parameters, deterministic and stochastic systems.
[Show full text]
The Role of Computer Algebra Systems in Mathematics Teaching at Upper Secondary School
Edith Cowan University Research Online Theses : Honours Theses 1990 The role of computer algebra systems in mathematics teaching at upper secondary school Wendy Johnstone Edith Cowan University Follow this and additional works at: https://ro.ecu.edu.au/theses_hons Part of the Instructional Media Design Commons Recommended Citation Johnstone, W. (1990). The role of computer algebra systems in mathematics teaching at upper secondary school. https://ro.ecu.edu.au/theses_hons/178 This Thesis is posted at Research Online. https://ro.ecu.edu.au/theses_hons/178 Edith Cowan University Copyright Warning You may print or download ONE copy of this document for the purpose of your own research or study. The University does not authorize you to copy, communicate or otherwise make available electronically to any other person any copyright material contained on this site. You are reminded of the following: Copyright owners are entitled to take legal action against persons who infringe their copyright. A reproduction of material that is protected by copyright may be a copyright infringement. A court may impose penalties and award damages in relation to offences and infringements relating to copyright material. Higher penalties may apply, and higher damages may be awarded, for offences and infringements involving the conversion of material into digital or electronic form. USE OF THESIS The Use of Thesis statement is not included in this version of the thesis. WESTERN AUSTRALIAN COLLEGE OF ADVANCED EDUCATION THE ROLE OF COMPUTER ALGEBRA SYSTEMS IN MATHEMATICS TEACHING AT UPPER SECONDARY SCHOOL A T.HESIS SUBMITTED TO THE SCHOOL OF EDUCATION IN CANDIDACY FOR THE DEGREE OF BACHELOR OF EDUCATION WITH HONOURS DEPARTMENT OF MATHEMATICS AND COMPUTER EDUCATION BY WENDY JOHNSTONE PERTH, WESTERN AUSTRALIA FEBRUARY 1990 ABSTRACT Computer algebra systems are programs that manipulate both symbols and numbers and so can reduce the tedium of algebra in the same way calculators can reduce the time and work involved in arithmetic.
[Show full text]
The Effects of Computer Algebra Systems On
THE EFFECTS OF COMPUTER ALGEBRA SYSTEMS ON STUDENTS’ ACHIEVEMENT IN MATHEMATICS A dissertation submitted to the Kent State University College and Graduate School of Education, Health and Human Services in partial fulfillment of the requirements for the degree of Doctor of Philosophy By Christopher L. Tokpah August, 2008 © Copyright by Christopher L. Tokpah, 2008 All Rights Reserved ii A dissertation written by Christopher L. Tokpah B. Sc., University of Liberia, 1989 M.B.A., Kent State University, 2002 Ph.D., Kent State University, 2008 Approved by _________________________________________, Director, Doctoral Dr. Shawn M. Fitzgerald Dissertation Committee _________________________________________, Member, Doctoral Dr. Tricia M. Niesz Dissertation Committee _________________________________________, Member, Doctoral Dr. Karen Swan Dissertation Committee Accepted by ______________________________________, Interim Chairperson, Department of Dr. Melody Tankersley Educational Foundations and Special Services ______________________________________, Dean, College and Graduate School of Dr. Daniel F. Mahony Education, Health, and Human Services iii TOKPAH, CHRISTOPHER L. PHD., August 2008 EVALUATION AND MEASUREMENT THE EFFECTS OF COMPUTER ALGEBRA SYSTEMS ON STUDENTS’ ACHIEVEMENT IN MATHEMATICS (131pp.) Director of Dissertation: Shawn M. Fitzgerald, Ph.D. This meta-analysis sought to investigate the overall effectiveness of computer algebra systems (CAS) instruction, in comparison to non-CAS instruction, on students’ achievement in mathematics
[Show full text]
Implementing a Computer Algebra System in Haskell
Applied Mathematics and Computation 192 (2007) 120–134 www.elsevier.com/locate/amc Implementing a computer algebra system in Haskell Jose´ Romildo Malaquias a, Carlos Roberto Lopes b,* a Departamento de Computaçaõ, Universidade Federal de Ouro Preto, Ouro Preto, Brazil b Faculdade de Computaçaõ, Universidade Federal de Uberlaˆndia, Uberlaˆndia, Brazil Abstract There are basically two kinds of mathematical computation, numerical and symbolic. Numerical algorithms are usually implemented in strongly typed languages, and compiled with a view to efficiency. Symbolic algorithms are mostly written for interpreters in untyped languages. Therefore, symbolic mathematics is usually slow, and bug ridden. Since symbolic algorithms are usually more difficult to implement, there are also very few computer algebra systems. This paper presents a computer algebra system that is both fast, and implemented in a strongly typed language, and designed to accept com- piled extensions. The authors describe a scheme to achieve these goals without creating difficulties for the end-user. The reason for creating this new computer algebra system is to make feasible mixed computation, i.e., programming software that needs both numerical computation and computer algebra. For instance, Finite Element Methods require a lot of num- ber crunching as well as computer algebra to perform triangularization, manipulating shape functions, etc. Mixed compu- tation requires speed and safety that interpreted computer algebra cannot provide. Ó 2007 Elsevier Inc. All rights reserved. Keywords: Computer algebra; Mixed computation; Functional programming; Haskell 1. Introduction Computers have been used for numerical computations since their beginning. These general purpose machines can also be used for transforming and combining symbolic expressions as well.
[Show full text]
Information to Users
INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, som e thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. Oversize materials (e.g., maps, drawings, charts) are reproduced by sectioning the original, beginning at the upper left-hand corner and continuing from left to right in equal sections with small overlaps. Photographs included in the original manuscript have been reproduced xerographically in this copy. Higher quality 6" x 9” black and white photographic prints are available for any photographs or illustrations appearing in this copy for an additional charge. Contact UMI directly to order. ProQuest Information and teaming 300 North Zeeb Road, Ann Arbor, Ml 48106-1346 USA 800-521-0600 ® UMI THE ELECTRONIC “OTHER’: A STUDY OF CALCULATOR-BASED SYMBOLIC MANIPULATION UTILITIES WITH SECONDARY SCHOOL MATHEMATICS STUDENTS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Michael Todd Edwards, B.A., B.S., M.A., M.S., M.Ed.
[Show full text]
Sampling Techniques for Computational Statistical Physics
S and/or limiting cases of the Hamiltonian dynamics; Sampling Techniques for Computational and (3) deterministic dynamics on an extended phase Statistical Physics space. Benedict Leimkuhler1 and Gabriel Stoltz2 1Edinburgh University School of Mathematics, Edinburgh, Scotland, UK Description 2Universite´ Paris Est, CERMICS, Projet MICMAC Ecole des Ponts, ParisTech – INRIA, Marne-la-Vallee,´ Applications of sampling methods arise most com- France monly in molecular dynamics and polymer modeling, but they are increasingly encountered in fluid dynamics and other areas. In this article, we focus on the treat- ment of systems of particles described by position and Mathematics Subject Classification momentum vectors q and p, respectively, and modeled by a Hamiltonian energy H D H.q;p/. 82B05; 82-08; 65C05; 37M05 Macroscopic properties of materials are obtained, according to the laws of statistical physics, as the average of some function with respect to a proba- Short Definition bility measure describing the state of the system ( Calculation of Ensemble Averages): The computation of macroscopic properties, as pre- Z dicted by the laws of statistical physics, requires sam- E.A/ D A.q; p/ .dq dp/: (1) pling phase-space configurations distributed according E to the probability measure at hand. Typically, approx- imations are obtained as time averages over trajecto- In practice, averages such as (1) are obtained by gener- ries of discrete dynamics, which can be shown to be ating, by an appropriate numerical method, a sequence i i ergodic in some cases. Arguably, the greatest interest of microscopic configurations .q ;p /i0 such that is in sampling the canonical (constant temperature) ensemble, although other distributions (isobaric, mi- n1 Z 1 X crocanonical, etc.) are also of interest.
[Show full text]
TI-Nspire CAS = Successor of Derive!? P33
THE DERIVE - NEWSLETTER #67 ISSN 1990-7079 THE BULLETIN OF THE USER GROUP C o n t e n t s: 1 Letter of the Editor 2 Editorial - Preview Nils Hahnfeld & Josef Böhm 3 Conics Made Easy 8 User Forum Josef Lechner 10 All bodies are falling equally fast? Albert Rich 19 A Repository of Mathematical Knowledge MacDonald Phillips 21 Actuarial Math on the Handheld Bernhard Kutzler 33 TI-NSpire-CAS = Successor of DERIVE!? David Sjöstrand 39 Points of Interest in a Triangle Johann Wiesenbauer 46 Titbits 34 – Polynomial Arithmetic for the Advanced Josef Böhm 51 Surfaces from the Newspaper (2) 53 First Announcement of TIME 2008 & another Conference September 2007 D-N-L#67 Book Shelf D-N-L#67 Nachhaltige CAS-Konzepte für den Unterricht Eberhard Lehmann Vorwort – Inhaltsverzeichnis 1. Der Start in das CAS 2. CAS-Konzepte 3. Hand contra CAS 4. Visualisieren und Animieren 5. Families 6. Modules (Bausteine) - modulare Kompetenzen 7. CAS-Projekte - Modellieren mit CAS-Hilfe 8. Mathematik mit und auf Bildern 9. Das CAS macht es möglich 10. Erstellen von CAS-Aufgaben – Klassenarbeiten / Klausuren / Hausaufgaben 12. Zentralabitur mit CAS 13. CAS-Werkzeugkompetenzen 14. Empfehlungen für ein CAS-Schulcurriculum Sammlung von CAS-Beispielen in dem Buch Sachverzeichnis Bestellung des Buches bei: Dr. Eberhard Lehmann [email protected], 030-7112420, www.snafu.de/~mirza 20 Euro + Verpackung/Porto auf Rechnung Another new publication is: Günter Scheu u.a., ABITUR – Prüfungsaufgaben mit Lösungen, Mathematik CAS, Gymnasium Baden-Württemberg, STARK Verlag If you know about CAS- related publications then please inform me. Books dealing with the use of technology in math education in general are also interesting.
[Show full text]