Third International Colloquium on Advanced Computing Methods in Theoretical Physics: Proceedings, Marseille, France, June 25-29, 1973, Volume 1A. Visconti Centre de Physique Thèorique C. N. R. S., 1973 - Electronic data processing |
Contents
A Symbol Manipulation Program | 1 |
The Reduce Program for Computer Algebra | 1 |
New Exact Algebraic Algorithms | 1 |
14 other sections not shown
Common terms and phrases
ALAM Algebraic Manipulation algebraic numbers algebraic systems ALGOL Algol 60 ALTRAN applications array ASHMEDAI calculation CAMAL clause coefficients colloquium considered d'Inverno density described developed differential dimensions distribution efficient Einstein tensor elements error evaluation example factors field equations finite FORMAC formula FORTRAN G. E. Collins g.c.d. algorithm given Greatest Common Divisors HEARN implementation input integer arithmetic integral integrand interaction intermediate expressions irreducible Lagrangian language linear LISP Marseille Math matrix mesh method metric modular algorithm Monte Carlo Monte Carlo method obtained operations output space overlay particle performed permutation Petrov classification phase Phys plasma plasma physics possible present problem procedure PROLOG properties rational function REDUCE result Ricci tensor Riemann tensor routines Russell-Clark SCHOONSCHIP side relations simulation solitons solution solving spin storage structure subgroup substitution symmetric techniques Todd-Coxeter Todd-Coxeter algorithm Université variables velocity Weyl tensor written