Teaching Physics with Computer Algebra Systems
Total Page:16
File Type:pdf, Size:1020Kb
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. -
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. -
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. -
Analysis and Verification of Arithmetic Circuits Using Computer Algebra Approach
University of Massachusetts Amherst ScholarWorks@UMass Amherst Doctoral Dissertations Dissertations and Theses March 2020 ANALYSIS AND VERIFICATION OF ARITHMETIC CIRCUITS USING COMPUTER ALGEBRA APPROACH TIANKAI SU University of Massachusetts Amherst Follow this and additional works at: https://scholarworks.umass.edu/dissertations_2 Part of the VLSI and Circuits, Embedded and Hardware Systems Commons Recommended Citation SU, TIANKAI, "ANALYSIS AND VERIFICATION OF ARITHMETIC CIRCUITS USING COMPUTER ALGEBRA APPROACH" (2020). Doctoral Dissertations. 1868. https://doi.org/10.7275/15875490 https://scholarworks.umass.edu/dissertations_2/1868 This Open Access Dissertation is brought to you for free and open access by the Dissertations and Theses at ScholarWorks@UMass Amherst. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of ScholarWorks@UMass Amherst. For more information, please contact [email protected]. ANALYSIS AND VERIFICATION OF ARITHMETIC CIRCUITS USING COMPUTER ALGEBRA APPROACH A Dissertation Presented by TIANKAI SU Submitted to the Graduate School of the University of Massachusetts Amherst in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY February 2020 Electrical and Computer Engineering c Copyright by Tiankai Su 2020 All Rights Reserved ANALYSIS AND VERIFICATION OF ARITHMETIC CIRCUITS USING COMPUTER ALGEBRA APPROACH A Dissertation Presented by TIANKAI SU Approved as to style and content by: Maciej Ciesielski, Chair George S. Avrunin, Member Daniel Holcomb, Member Weibo Gong, Member Christopher V. Hollot, Department Head Electrical and Computer Engineering ABSTRACT ANALYSIS AND VERIFICATION OF ARITHMETIC CIRCUITS USING COMPUTER ALGEBRA APPROACH FEBRUARY 2020 TIANKAI SU B.Sc., NORTHEAST DIANLI UNIVERSITY Ph.D., UNIVERSITY OF MASSACHUSETTS AMHERST Directed by: Professor Maciej Ciesielski Despite a considerable progress in verification of random and control logic, ad- vances in formal verification of arithmetic designs have been lagging. -
Solving Equations; Patterns, Functions, and Algebra; 8.15A
Mathematics Enhanced Scope and Sequence – Grade 8 Solving Equations Reporting Category Patterns, Functions, and Algebra Topic Solving equations in one variable Primary SOL 8.15a The student will solve multistep linear equations in one variable with the variable on one and two sides of the equation. Materials • Sets of algebra tiles • Equation-Solving Balance Mat (attached) • Equation-Solving Ordering Cards (attached) • Be the Teacher: Solving Equations activity sheet (attached) • Student whiteboards and markers Vocabulary equation, variable, coefficient, constant (earlier grades) Student/Teacher Actions (what students and teachers should be doing to facilitate learning) 1. Give each student a set of algebra tiles and a copy of the Equation-Solving Balance Mat. Lead students through the steps for using the tiles to model the solutions to the following equations. As you are working through the solution of each equation with the students, point out that you are undoing each operation and keeping the equation balanced by doing the same thing to both sides. Explain why you do this. When students are comfortable with modeling equation solutions with algebra tiles, transition to writing out the solution steps algebraically while still using the tiles. Eventually, progress to only writing out the steps algebraically without using the tiles. • x + 3 = 6 • x − 2 = 5 • 3x = 9 • 2x + 1 = 9 • −x + 4 = 7 • −2x − 1 = 7 • 3(x + 1) = 9 • 2x = x − 5 Continue to allow students to use the tiles whenever they wish as they work to solve equations. 2. Give each student a whiteboard and marker. Provide students with a problem to solve, and as they write each step, have them hold up their whiteboards so you can ensure that they are completing each step correctly and understanding the process. -
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. -
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. -
The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems
The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them? Antonio J. Durán, Mario Pérez, and Juan L. Varona Introduction by a typical research mathematician, but let us Nowadays, mathematicians often use a computer explain it briefly. It is not necessary to completely algebra system as an aid in their mathematical understand the mathematics, just to realize that it research; they do the thinking and leave the tedious is typical mathematical research using computer calculations to the computer. Everybody “knows” algebra as a tool. that computers perform this work better than Our starting point is a discrete positive measure people. But, of course, we must trust in the results on the real line, µ n 0 Mnδan (where δa denotes = ≥ derived via these powerful computer algebra the Dirac delta at a, and an < an 1) having P + systems. First of all, let us clarify that this paper is a sequence of orthogonal polynomials Pn n 0 f g ≥ not, in any way, a comparison between different (where Pn has degree n and positive leading computer algebra systems, but a sample of the coefficient). Karlin and Szeg˝oconsidered in 1961 (see [4]) the l l Casorati determinants current state of the art of what mathematicians × can expect when they use this kind of software. Pn(ak)Pn(ak 1):::Pn(ak l 1) Although our example deals with a concrete system, + + − Pn 1(ak)Pn 1(ak 1):::Pn 1(ak l 1) 0 + + + + + − 1 we are sure that similar situations may occur with (1) det . -
Addition and Subtraction
A Addition and Subtraction SUMMARY (475– 221 BCE), when arithmetic operations were per- formed by manipulating rods on a flat surface that was Addition and subtraction can be thought of as a pro- partitioned by vertical and horizontal lines. The num- cess of accumulation. For example, if a flock of 3 sheep bers were represented by a positional base- 10 system. is joined with a flock of 4 sheep, the combined flock Some scholars believe that this system— after moving will have 7 sheep. Thus, 7 is the sum that results from westward through India and the Islamic Empire— the addition of the numbers 3 and 4. This can be writ- became the modern system of representing numbers. ten as 3 + 4 = 7 where the sign “+” is read “plus” and The Greeks in the fifth century BCE, in addition the sign “=” is read “equals.” Both 3 and 4 are called to using a complex ciphered system for representing addends. Addition is commutative; that is, the order numbers, used a system that is very similar to Roman of the addends is irrelevant to how the sum is formed. numerals. It is possible that the Greeks performed Subtraction finds the remainder after a quantity is arithmetic operations by manipulating small stones diminished by a certain amount. If from a flock con- on a large, flat surface partitioned by lines. A simi- taining 5 sheep, 3 sheep are removed, then 2 sheep lar stone tablet was found on the island of Salamis remain. In this example, 5 is the minuend, 3 is the in the 1800s and is believed to date from the fourth subtrahend, and 2 is the remainder or difference. -
Diffman: an Object-Oriented MATLAB Toolbox for Solving Differential Equations on Manifolds
Applied Numerical Mathematics 39 (2001) 323–347 www.elsevier.com/locate/apnum DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds Kenth Engø a,∗,1, Arne Marthinsen b,2, Hans Z. Munthe-Kaas a,3 a Department of Informatics, University of Bergen, N-5020 Bergen, Norway b Department of Mathematical Sciences, NTNU, N-7491 Trondheim, Norway Abstract We describe an object-oriented MATLAB toolbox for solving differential equations on manifolds. The software reflects recent development within the area of geometric integration. Through the use of elements from differential geometry, in particular Lie groups and homogeneous spaces, coordinate free formulations of numerical integrators are developed. The strict mathematical definitions and results are well suited for implementation in an object- oriented language, and, due to its simplicity, the authors have chosen MATLAB as the working environment. The basic ideas of DiffMan are presented, along with particular examples that illustrate the working of and the theory behind the software package. 2001 IMACS. Published by Elsevier Science B.V. All rights reserved. Keywords: Geometric integration; Numerical integration of ordinary differential equations on manifolds; Numerical analysis; Lie groups; Lie algebras; Homogeneous spaces; Object-oriented programming; MATLAB; Free Lie algebras 1. Introduction DiffMan is an object-oriented MATLAB [24] toolbox designed to solve differential equations evolving on manifolds. The current version of the toolbox addresses primarily the solution of ordinary differential equations. The solution techniques implemented fall into the category of geometric integrators— a very active area of research during the last few years. The essence of geometric integration is to construct numerical methods that respect underlying constraints, for instance, the configuration space * Corresponding author. -
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]). -
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.