DOCSLIB.ORG

Computer Algebra Tems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Computer Algebra Tems short and expensive. Consequently, computer centre managers were not easily persuaded to install such sys­ Computer Algebra tems. This is another reason why many specialized CAS have been developed in many different institutions. From the Jacques Calmet, Grenoble * very beginning it was felt that the (UFIA / INPG) breakthrough of Computer Algebra is linked to the availability of adequate computers: several megabytes of main As soon as computers became avai­ handling of very large pieces of algebra memory and very large capacity disks. lable the wish to manipulate symbols which would be hopeless without com­ Since the advent of the VAX's and the rather than numbers was considered. puter aid, the possibility to get insight personal workstations, this era is open­ This resulted in what is called symbolic into a calculation, to experiment ideas ed and indeed the use of CAS is computing. The sub-field of symbolic interactively and to save time for less spreading very quickly. computing which deals with the sym­ technical problems. When compared to What are the main CAS of possible bolic solution of mathematical problems numerical computing, it is also much interest to physicists? A fairly balanced is known today as Computer Algebra. closer to human reasoning. answer is to quote MACSYMA, RE­ The discipline was rapidly organized, in DUCE, SMP, MAPLE among the general 1962, by a special interest group on Computer Algebra Systems purpose ones and SCHOONSHIP, symbolic and algebraic manipulation, Computer Algebra systems may be SHEEP and CAYLEY among the specia­ SIGSAM, of the Association for Com­ classified into two different categories: lized ones. MACSYMA is the largest of puting Machinery. Soon after, the first general purpose systems and specializ­ all CAS. This means that its library of major Computer Algebra Systems (CAS) ed packages. The latter are generally procedures, methods and techniques is were designed and available. Simulta­ very efficient at solving some well defin­ the most complete. This originates in the neously, several specialized packages ed classes of problem. Most often, their fact that for many years it was only ac­ were successful and greatly contributed architecture reflects their goal and it is cessible at MIT through networking and to the fame of the field. For instance, seldom possible to transport them to dif­ all relevant programs written by users SCHOONSHIP was used at CERN to ferent makes of computer. General pur­ were added to its library. Today it is distri­ solve problems in high energy physics pose systems are expected to be less ef­ buted by Symbolics Inc., except for the from the early 1970s. ficient for very specialized applications, US Department of Energy version which A main characteristic of the computer but easily portable and they offer a large is subject to possible restrictions. It is algebra community was its diversity. In­ library of algorithms. Their architectures Lisp-based and available on many diffe­ deed, it gathered mathematicians most­ share many common features: rent computers starting from the SUN's ly interested in designing algebraic algo­ (i) a programming language which is and VAX's. REDUCE, also Lisp-based, is rithms, computer scientists motivated Pascal or Algol-like with a strong flavour less powerful but very clean, well by the will to manipulate symbols and, of Lisp, debugged and well documented. Over surprisingly enough, many users who (ii) a kernel constituted by the basic 1000 copies are distribued worldwide as designed their own CAS. Despite the functions performing the generic opera­ of today and it is probably the most used fact that the discipline is now well esta­ tions on mathematical expressions such of all CAS. SMP and MAPLE are written blished in computer science depart­ as input, output, representations, simpli­ in C. SMP is announced to be as power­ ments, these three classes of practi­ fication, substitutions, term generation, ful as MACSYMA but this remains to be tioners still remain active. The field is still flow control, storage and special com­ fully proved and the debugging comple­ lacking good textbooks. The only excep­ mands, ted. Eventually, it ought to be very well tion [1] was planned as a collection of (iii) one or several modules of algebraic suited to the physicist's needs. MAPLE the basic material needed to set up algorithms embedding the mathemati­ is listed here since it is the system to courses at all levels of the curriculum. cal knowledge of the system. select for a classroom environment. In­ Also illustrative are the proceedings of Specialized CAS have always origina­ deed, it enables many jobs to be run effi­ the annual conferences usually publish­ ted from research needs and stick to ciently simultaneously. Both REDUCE ed in Lecture Notes in Computer Science them. Although general purpose CAS and MAPLE are available on machines of Springer-Verlag and the SIGSAM Bul­ have sometimes a similar origin, they ranging from the MacPIus (MAPLE) and letin. Since 1985, the Journal of Sym­ have evolved to become "consumers" IBM PC's (REDUCE) to the Cray's. Ac­ bolic Computing covers the research ac­ oriented products and, in fact, some cording to the opinion of Computer tivities of the field and is eagerly looking have become commercial products Algebra specialists, SCHOONSHIP is a for contributions to its "Letters on Ap­ which is a common trend in computer rather crude system but it is perfectly plications" section. science. Nevertheless, it must be noted tailored to the needs of high energy phy­ Before outlining the tools of Computer that most of the very important applica­ sicists and still in use. It is written in Algebra, what it can bring to physicists tions have been worked out usinq gene- machine code for the CDC's and now for and what the new frontiers of the field ralCAS. the Atari micro-computer. CAYLEY is are, it is relevant to point out that a CAS Over the years, more than 70 CAS specialized to group theory and SHEEP is presently a very powerful technical have been designed [1]. A major reason to tensors and thus to general relativity. assistant to perform algebraic computa­ for such a diversity of systems lies with A frequent question from potential tions. Its benefits are the accuracy, the technology of computers. Twenty users is which CAS is best suited to their speed and reliability of calculations, the years ago, a general purpose CAS was problem and if it appears that the re­ already a large piece of software at a quired methods are not immediately * Now with the University of Karlsruhe time when computer resources were available they may be tempted to design 28 Simple Example of the Use of a Computer Algebra System (Reduce) in a Combined Algebraic- numerical Problem. RisØ National Laboratory Problem: Find the minimum value of Danish Research Academy 0 (x + y)5 cos(x) dx 1st TopsØe Summerschool The following REDUCE session solves the algebraic part: on (x + y) 5*cos(x); enter function into ws (work space) Superconductivity int(ws.x); integrate with respect to x sub(x = pi,ws) -sub(x = 0,ws); definite integral from 0 to June 20-24, 1988 on fort; turn on Fortran generation held at ws; generate Fortran for the definite integral df(ws,y); and for its derivative with respect to y RisØ, Roskilde, Denmark List of lecturers includes: REDUCE generates the following ouput: G. Aeppli, AT&T Bell Laboratories K. Bechgaard, Copenhagen University J. Clarke, Berkeley FC = 5.*(2.*Y**4 +4.*Y**3*PI + 6.*Y**2*PI**2 — 24.*Y**2 + A. Davidson, IBM Yorktown . 4.*Y*PI**3—24.*Y*PI + PI**4 — 12.*PI**2 + 48.) L.M. Falicov, Berkeley M. Garber, Brookhaven National Lab. H. R. Ott, ETH Zürich GC = 20.*(2.*Y**3 + 3.*Y**2*PI + 3.*Y*PI**2 — 12.*Y +PI**3 — N. Falsig Pedersen, Tech. Univ., Lyngby . 6.*PI) B. Raveau, University of Caen P.H. Wu, Nanjing University The above statements can then be used with a numerical minimization Experimental programme organized by: package which requires the function and its first derivative. J. Als-Nielsen, RisØ National Lab. N. Hessel Andersen, RisØ National Lab. M.T. Levinsen, Copenhagen Univ. their own system. It is necessary to rational fractions and of polynomials de­ M. Nielsen, RisØ National Lab. point out that this means implementing fined over diverse fields, including their Scope all the general features which are re­ arithmetics, factorization, gcd, zeros de­ The first TopsØe summerschool will give a broad coverage of superconducting phenomenology, quired in symbolic manipulation. Conse­ termination... Linear algebra including the quantum mechanical background and the quently it is much better to select a CAS matrix with symbolic elements opera­ relations to crystal structures and magnetism. The Josephson junction and its application in and to add their own techniques. Indeed, tions such as inverse, determinant, pro­ microdevices will illustrate technical aspects a CAS is also a programming language duct... Solutions of equations and of along with lectures on high-current application. so that this approach is always more systems of equations, both linear and Level efficient than starting from scratch. algebraic, are now well mastered. To The school is intended for graduate students and Examples of running 10 of the most im­ handle power series is easy. Non com­ researchers with a general background in solid state physics, chemistry and/or materials science portant CAS are reproduced in [2] which mutative algebra is sometimes possible. but who have not necessarily taken any special thus gives a flavour of what program­ To differentiate is trivial. To evaluate in­ courses or have other experience in supercon­ ming with CAS is. definite integrals is a much more difficult ductivity.
Load more

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´an-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´aticaInterdisciplinar & Departamento de Did´actica de las Ciencias Experimentales, Sociales y Matem´aticas, Facultad de Educaci´on,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´an-Garc´ıa Departamento de Matem´atica Aplicada, Universidad de M´alaga, M´alaga, c/ Dr. Ortiz Ramos s/n. Campus de Teatinos, E{29071 M´alaga,Spain Tel.: +34-952-132873 Fax: +34-952-132766 E-mail: [email protected] Carmen Solano-Mac´ıas Departamento de Informaci´ony Comunicaci´on,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]
  • Redberry: a Computer Algebra System Designed for Tensor Manipulation
    Redberry: a computer algebra system designed for tensor manipulation Stanislav Poslavsky Institute for High Energy Physics, Protvino, Russia SRRC RF ITEP of NRC Kurchatov Institute, Moscow, Russia E-mail: [email protected] Dmitry Bolotin Institute of Bioorganic Chemistry of RAS, Moscow, Russia E-mail: [email protected] Abstract. In this paper we focus on the main aspects of computer-aided calculations with tensors and present a new computer algebra system Redberry which was specifically designed for algebraic tensor manipulation. We touch upon distinctive features of tensor software in comparison with pure scalar systems, discuss the main approaches used to handle tensorial expressions and present the comparison of Redberry performance with other relevant tools. 1. Introduction General-purpose computer algebra systems (CASs) have become an essential part of many scientific calculations. Focusing on the area of theoretical physics and particularly high energy physics, one can note that there is a wide area of problems that deal with tensors (or more generally | objects with indices). This work is devoted to the algebraic manipulations with abstract indexed expressions which forms a substantial part of computer aided calculations with tensors in this field of science. Today, there are many packages both on top of general-purpose systems (Maple Physics [1], xAct [2], Tensorial etc.) and standalone tools (Cadabra [3,4], SymPy [5], Reduce [6] etc.) that cover different topics in symbolic tensor calculus. However, it cannot be said that current demand on such a software is fully satisfied [7]. The main difference of tensorial expressions (in comparison with ordinary indexless) lies in the presence of contractions between indices.
    [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]
  • Mathematical Modeling with Technology PURNIMA RAI
    International Journal of Innovative Research in Computer Science & Technology (IJIRCST) ISSN: 2347-5552, Volume-3, Issue-2, March 2015 Mathematical Modeling with Technology PURNIMA RAI Abstract— Mathematics is very important for an Computer Algebraic System (CAS) increasing number of technical jobs in a quantitative A Computer Algebra system is a type of software package world. Over recent years technology has progressed to that is used in manipulation of mathematical formulae. The the point where many computer algebraic systems primary goal of a Computer Algebra system is to automate (CAS) are widely available. These technologies can tedious and sometimes difficult algebraic manipulation perform a wide variety of algebraic tasks. Computer Algebra systems often include facilities for manipulations.Computer algebra systems (CAS) have graphing equations and provide a programming language become powerful and flexible tools to support a variety for the user to define their own procedures. Computer of mathematical activities. This includes learning and Algebra systems have not only changed how mathematics is teaching, research and assessment. MATLAB, an taught at many universities, but have provided a flexible acronym for “Matrix Laboratory”, is the most tool for mathematicians worldwide. Examples of popular extensively used mathematical software in the general systems include Maple, Mathematica, and MathCAD. sciences. MATLAB is an interactive system for Computer Algebra systems can be used to simplify rational numerical computation and a programmable system. functions, factor polynomials, find the solutions to a system This paper attempts to investigate the impact of of equation, and various other manipulations. In Calculus, integrating mathematical modeling and applications on they can be used to find the limit of, symbolically integrate, higher level mathematics in India.
    [Show full text]
  • Using Xcas in Calculus Curricula: a Plan of Lectures and Laboratory Projects
    Computational and Applied Mathematics Journal 2015; 1(3): 131-138 Published online April 30, 2015 (http://www.aascit.org/journal/camj) Using Xcas in Calculus Curricula: a Plan of Lectures and Laboratory Projects George E. Halkos, Kyriaki D. Tsilika Laboratory of Operations Research, Department of Economics, University of Thessaly, Volos, Greece Email address [email protected] (K. D. Tsilika) Citation George E. Halkos, Kyriaki D. Tsilika. Using Xcas in Calculus Curricula: a Plan of Lectures and Keywords Laboratory Projects. Computational and Applied Mathematics Journal. Symbolic Computations, Vol. 1, No. 3, 2015, pp. 131-138. Computer-Based Education, Abstract Xcas Computer Software We introduce a topic in the intersection of symbolic mathematics and computation, concerning topics in multivariable Optimization and Dynamic Analysis. Our computational approach gives emphasis to mathematical methodology and aims at both symbolic and numerical results as implemented by a powerful digital mathematical tool, CAS software Received: March 31, 2015 Xcas. This work could be used as guidance to develop course contents in advanced Revised: April 20, 2015 calculus curricula, to conduct individual or collaborative projects for programming related Accepted: April 21, 2015 objectives, as Xcas is freely available to users and institutions. Furthermore, it could assist educators to reproduce calculus methodologies by generating automatically, in one entry, abstract calculus formulations. 1. Introduction Educational institutions are equipped with computer labs while modern teaching methods give emphasis in computer based learning, with curricula that include courses supported by the appropriate computer software. It has also been established that, software tools integrate successfully into Mathematics education and are considered essential in teaching Geometry, Statistics or Calculus (see indicatively [1], [2]).
    [Show full text]
  • 2.10. Sympy : Symbolic Mathematics in Python
    2.10. Sympy : Symbolic Mathematics in Python author: Fabian Pedregosa Objectives 1. Evaluate expressions with arbitrary precision. 2. Perform algebraic manipulations on symbolic expressions. 3. Perform basic calculus tasks (limits, differentiation and integration) with symbolic expressions. 4. Solve polynomial and transcendental equations. 5. Solve some differential equations. What is SymPy? SymPy is a Python library for symbolic mathematics. It aims become a full featured computer algebra system that can compete directly with commercial alternatives (Mathematica, Maple) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries. Sympy documentation and packages for installation can be found on http://sympy.org/ Chapters contents First Steps with SymPy Using SymPy as a calculator Exercises Symbols Algebraic manipulations Expand Simplify Exercises Calculus Limits Differentiation Series expansion Exercises Integration Exercises Equation solving Exercises Linear Algebra Matrices Differential Equations Exercises 2.10.1. First Steps with SymPy 2.10.1.1. Using SymPy as a calculator SymPy defines three numerical types: Real, Rational and Integer. The Rational class represents a rational number as a pair of two Integers: the numerator and the denomi‐ nator, so Rational(1,2) represents 1/2, Rational(5,2) 5/2 and so on: >>> from sympy import * >>> >>> a = Rational(1,2) >>> a 1/2 >>> a*2 1 SymPy uses mpmath in the background, which makes it possible to perform computations using arbitrary- precision arithmetic. That way, some special constants, like e, pi, oo (Infinity), are treated as symbols and can be evaluated with arbitrary precision: >>> pi**2 >>> pi**2 >>> pi.evalf() 3.14159265358979 >>> (pi+exp(1)).evalf() 5.85987448204884 as you see, evalf evaluates the expression to a floating-point number.
    [Show full text]
  • Highlighting Wxmaxima in Calculus
    mathematics Article Not Another Computer Algebra System: Highlighting wxMaxima in Calculus Natanael Karjanto 1,* and Husty Serviana Husain 2 1 Department of Mathematics, University College, Natural Science Campus, Sungkyunkwan University Suwon 16419, Korea 2 Department of Mathematics Education, Faculty of Mathematics and Natural Science Education, Indonesia University of Education, Bandung 40154, Indonesia; [email protected] * Correspondence: [email protected] Abstract: This article introduces and explains a computer algebra system (CAS) wxMaxima for Calculus teaching and learning at the tertiary level. The didactic reasoning behind this approach is the need to implement an element of technology into classrooms to enhance students’ understanding of Calculus concepts. For many mathematics educators who have been using CAS, this material is of great interest, particularly for secondary teachers and university instructors who plan to introduce an alternative CAS into their classrooms. By highlighting both the strengths and limitations of the software, we hope that it will stimulate further debate not only among mathematics educators and software users but also also among symbolic computation and software developers. Keywords: computer algebra system; wxMaxima; Calculus; symbolic computation Citation: Karjanto, N.; Husain, H.S. 1. Introduction Not Another Computer Algebra A computer algebra system (CAS) is a program that can solve mathematical problems System: Highlighting wxMaxima in by rearranging formulas and finding a formula that solves the problem, as opposed to Calculus. Mathematics 2021, 9, 1317. just outputting the numerical value of the result. Maxima is a full-featured open-source https://doi.org/10.3390/ CAS: the software can serve as a calculator, provide analytical expressions, and perform math9121317 symbolic manipulations.
    [Show full text]
  • An Introduction to the Xcas Interface
    An introduction to the Xcas interface Bernard Parisse, University of Grenoble I c 2007, Bernard Parisse. Released under the Free Documentation License, as published by the Free Software Fundation. Abstract This paper describes the Xcas software, an interface to do computer algebra coupled with dynamic geometry and spreadsheet. It will explain how to organize your work. It does not explain in details the functions and syntax of the Xcas computer algebra system (see the relevant documentation). 1 A first session To run xcas , • under Windows you must select the xcasen program in the Xcas program group • under Linux type xcas in the commandline • Mac OS X.3 click on the xcas icon in Applications You should see a new window with a menubar on the top (the main menubar), a session menubar just below, a large space for this session, and at the bottom the status line, and a few buttons. The cursor should be in what we call the first level of the session, that is in the white space at the right of the number 1 just below the session menubar (otherwise click in this white space). Type for example 30! then hit the return key. You should see the answer and a new white space (with a number 2 at the left) ready for another entry. Try a few more operations, e.g. type 1/3+1/6 and hit return, plot(sin(x)), etc. You should now have a session with a few numbered pairs of input/answers, each pair is named a level. The levels created so far are all commandlines (a commandline is where you type a command following the computer algebra system syntax).
    [Show full text]
  • An Efficient Computer Algebra System for Python
    An Efficient Computer Algebra System for Python Pearu Peterson [email protected] Laboratory of Systems Biology, Institute of Cybernetics, Estonia Simula Research Laboratory, Norway • Introduction • Design criteria • Sympycore architecture – Implementation notes – Handling infinities • Performance comparisons • Conclusions SIAM Conference on Computational Science and Engineering March 2-6, 2009 Miami, Florida 1. Introduction What is CAS? Computer Algebra System (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. [Wikipedia] Our aim — provide a package to manipulate mathematical expressions within a Python program. Target applications — code generation for numerical applications, arbitrary precision computations, etc in Python. Existing tools — Wikipedia lists more than 40 CAS-es: • commercial/free, • full-featured programs/problem specific libraries, • in-house, C, C++, Haskell, Java, Lisp, etc programming languages. from core functionality to a fully-featured system Possible approaches • wrap existing CAS libraries to Python: swiginac[GPL] (SWIG, GiNaC, 2008), PyGiNaC[GPL] (Boost.Python, GiNaC, 2006), SAGE[GPL] (NTL, Pari/GP, libSingular, etc.) • create interfaces to CAS programs: Pythonica (Mathematica, 2004), SAGE[GPL] (Maxima, Axiom, Maple, Mathematica, MuPAD, etc.) • write a CAS package from scratch: Sympy[BSD], Sympycore[BSD], Pymbolic[?] (2008), PySymbolic[LGPL] (2000), etc 2. Design criteria Symbolic expressions in silica
    [Show full text]
  • ADOPTING MAXIMA AS an OPEN-SOURCE COMPUTER ALGEBRA SYSTEM INTO MATHEMATICS TEACHING and LEARNING N. Karjanto1 and H. S. Husain2
    13th International Congress on Mathematical Education Hamburg, 24-31 July 2016 ADOPTING MAXIMA AS AN OPEN-SOURCE COMPUTER ALGEBRA SYSTEM INTO MATHEMATICS TEACHING AND LEARNING N. Karjanto1 and H. S. Husain2 1Department of Mathematics, University College, Sungkyunkwan University Natural Science Campus, Republic of Korea 2Department of Mathematics, Faculty of Mathematics and Natural Science Indonesian Education University, Indonesia Short description of the workshop: aims and underlying ideas In this workshop, a computer algebra system (CAS) Maxima will be introduced. The primary audience of this workshop is mathematics educators, particularly school teachers and university professors who have experience in teaching Calculus and Linear Algebra with a CAS and those who would like to introduce a possible alternative CAS into their classrooms. Maxima is a computer software can be used for the manipulation of symbolic and numerical expressions, including limit calculation, differentiation, integration, Taylor series, systems of linear equations, polynomials, matrices and tensors. It can also sketch some graphical objects with excellent quality. Some examples from Calculus will be presented and how Maxima plays a role in enhancing students' understanding will also be discussed. Planned structure: The planned structure of the workshop is presented as follows. Planned time line Topic Material/Working format/Presenter Material: Slide 5 minutes Introduction Working format: Presentation Presenters: N. Karjanto Maxima installation Material: Printed handout 5 minutes Participants can install Maxima Working format: Audience participation to their computers or smartphones Presenters: N. Karjanto and H.S. Husain Brief demonstration Material: Slide 5 minutes Working format: Demonstration Presenter: N. Karjanto Sharing session Material: { 5 minutes Participants share experience in Working format: Audience participation embedding CAS into their teaching Presenters: N.
    [Show full text]
  • Constructing a Computer Algebra System Capable of Generating Pedagogical Step-By-Step Solutions
    DEGREE PROJECT IN COMPUTER SCIENCE AND ENGINEERING, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2016 Constructing a Computer Algebra System Capable of Generating Pedagogical Step-by-Step Solutions DMITRIJ LIOUBARTSEV KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF COMPUTER SCIENCE AND COMMUNICATION Constructing a Computer Algebra System Capable of Generating Pedagogical Step-by-Step Solutions DMITRIJ LIOUBARTSEV Examenrapport vid NADA Handledare: Mårten Björkman Examinator: Olof Bälter Abstract For the problem of producing pedagogical step-by-step so- lutions to mathematical problems in education, standard methods and algorithms used in construction of computer algebra systems are often not suitable. A method of us- ing rules to manipulate mathematical expressions in small steps is suggested and implemented. The problem of creat- ing a step-by-step solution by choosing which rule to apply and when to do it is redefined as a graph search problem and variations of the A* algorithm are used to solve it. It is all put together into one prototype solver that was evalu- ated in a study. The study was a questionnaire distributed among high school students. The results showed that while the solutions were not as good as human-made ones, they were competent. Further improvements of the method are suggested that would probably lead to better solutions. Referat Konstruktion av ett datoralgebrasystem kapabelt att generera pedagogiska steg-för-steg-lösningar För problemet att producera pedagogiska steg-för-steg lös- ningar till matematiska problem inom utbildning, är vanli- ga metoder och algoritmer som används i konstruktion av datoralgebrasystem ofta inte lämpliga. En metod som an- vänder regler för att manipulera matematiska uttryck i små steg föreslås och implementeras.
    [Show full text]
  • Computer Algebra and Operators
    Computer Algebra and Operators Richard Fat eman* The University of California, Berkeley Robert Grossmant University of Illinois at Chicago January, 1989 (NASB-CR-185396) COMPUWB ALGEBRA BID N89-26625 OPERATORS [California Univ.) 14 p CSCL 12A Unclas G3/64 0217702 'supported in part by NSF grant number CCR-8812843, DARPA order #4871, contract N00039-84-C-0089, the IBM Corporation; the State of California MICRO program. 'supported in part by grant NAG2-513 from the NASA-Ames Research Center. 1 . .- 1 The Symbolic Computation of Operators After defining the twc ...pansions i=l a computer algebr:. -+cm such as MACSYMA or Maple will quickly com- pu te xp(A)exp(B)) = A + B + O(N + 1). 2 ORIGINAL PAGE IS OF POOR QUACITY Here O(N + 1) denotes terms containing a product of N + 1 or more A’s and/or B’s. This computation depends crucially upon the fact that AB = BA; for o’bjects for which this not true, certain correction terms enter. For example, if A and B are matrices, then in general AB # BA and 1 1 log(exp(A)exp(B)) = A + B - -AB + 5BA + . 2 The symbolic computation of operator expansions in a number of ways from the symbolic computation of expressions in com- muting variables. The papers in this volume consider various aspects of such computations. In this introduction, we first discuss some of the capabilities that prove useful when performing computer algebra computations involving operators. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by opera- tors; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions.
    [Show full text]