Grad Assistant - a program for symbolic algebraic manipulation and Differentiation

Fletcher, John G.

doi:10.1145/800005.807959

Cited by 3 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This ordering allows us, besides giving us canonical forms of Formulae, easily to gather like terms together. The idea of variability is similar to one found in [5].…”

Section: Variabilitysupporting

confidence: 68%

“…The main commutative, associative and distributive laws are mirrored in the techniques and functions used for simplification. Haskell and, to 5 These are the 'standard' operators for the simplified class Num used by Gofer. For non-Haskell speakers, FromInteger is an overloaded function which changes literal integers into whatever subject type is being designated as belonging to Num, in this case Formula .…”

Section: More Generalised Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Algebraic Formula Manipulation in a Functional Language: A First Attempt

Davie

1995

Electronic Workshops in Computing

View full text Add to dashboard Cite

This paper represents the author's attempt to come to grips with some of the practical problems that arise out of conventional algebraic manipulation and leads to a discussion of the possibilities of generalising algebraic concepts such as commutativity and associativity to other algebraic systems. An account is given of a class instance providing manipulation and simplification of 'school' algebraic formulae. A concept of variability is introduced which controls the order in which terms and factors appear in sums and products. Rules based on the commutative, associative and distributive laws of algebra, for simplification of sums, products and a few basic operators are presented. Some discussion is given of how an advanced class system could possibly be of help in general algebraic simplification problems.

show abstract

“…This ordering allows us, besides giving us canonical forms of Formulae, easily to gather like terms together. The idea of variability is similar to one found in [5].…”

Section: Variabilitysupporting

confidence: 68%

Section: More Generalised Systemsmentioning

confidence: 99%

Algebraic Formula Manipulation in a Functional Language: A First Attempt

Davie

1995

Electronic Workshops in Computing

View full text Add to dashboard Cite

show abstract

“…Several other programs which can symbolically differentiate are Bender's MANIP [i]. Fletcher's GRAD ASSISTANT [3], FORMUIA ALGOL [7], and FORMAC [II]. In order to yield a closed form solution to a certain boundary value problem defined by the differential equation: d4w + ~ + 16w = sin 2x (I) dx 2 dx 2 and the boundary conditions:…”

mentioning

confidence: 99%

Symbolic and algebraic manipulation for solving differential equations

Ossenbruggen¹,

Wong²,

Au³

1971

Proceedings of the 1971 26th Annual Conference on -

View full text Add to dashboard Cite

Two symbolic and al~ebraic manipulation programs written in LISP 1.5 are presented for the solution of differential equations. The program LORDE is based on an exact method for solving higher order linear differential equations with constant coefficients and linear boundary conditions. The program TRIALSOLUTIONS is based on a variational technique for testing and evaluating assumed trial solutions of linear elliptical partial differential equations with variable coefficients. The formula pattern recognition and formula manipulation techniques are discussed, and examples are presented to illustrate the problem solving capabilities of these programs. KEY WORDS AND PHRASES: symbolic manipulation of mathematical equations, symbolic problem-solving, linear ordinary differential equations, elliptical partial differential equa-

show abstract

User's guide to REDUCE subroutines for algebraic computations in general relativity

et al. 1981

View full text Add to dashboard Cite

\Ve describe tlie use of i t package of subroutines for jieiieral-rrlativistic algebraic computations written in the LISP-bascd algebraic programming system REDUCE developed by A N T H O S Y HEARX. The first group of routincs calculates concomitants of tlic metric tensor such as the Riemann tensor. Hicci tensor, Kicci scalar. Einstein tensor and Weyl tensor from jiiven covariant or covariant and contravariant metric tensor components. One of tliese procedurcs includes the evaluation of the Maxwell equations and invariants as well as the &laxwell energy momentum tensor. A second group of routines takes thc components of a null tetrad as input and evaluates the null frame projections of tlie Kiemann tensor, the Einstein tensola s well as -if rcquiretl -. the 1 4 local invariants of the Hicmann tensor. I t also includes it determination of the I'etrov type. I'crturbation c;ilculatioiis niay be perforriicd and run effectively. T h e outpiit c;m bc presc-titctl in a flexible forniat chown xcortliiig to t hi. ~iectls o f the user. A nunibcr of further special-purposc programs :ire available on request. 'l'lic ;irticle slioultl c.n;iblc ; L reader fiimilar with General Relativity but unfamilar with formula manipulating systcrn, t o crll~~loy the p~1ck;lgc.

show abstract

Grad Assistant - a program for symbolic algebraic manipulation and Differentiation

Cited by 3 publications

References 0 publications

Algebraic Formula Manipulation in a Functional Language: A First Attempt

Algebraic Formula Manipulation in a Functional Language: A First Attempt

Symbolic and algebraic manipulation for solving differential equations

User's guide to REDUCE subroutines for algebraic computations in general relativity

Contact Info

Product

Resources

About