%A Florian Bundschuh %T Global data flow analysis in ALDES %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 6-11 %A Attilio Colagrossi %A Alfonso M. Miola %T Computing real zeros of polynomials with marametric coefficients %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 12-15 %A B.J.A. Hulshof %A J.A. van\ Hulzen %T Some REDUCE facilities for pretty printing subscripts and formal derivatives %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 16-20 %A Hans-Guenther Kruse %A Karin Olsen %T About the realization of an extended, but really interactive REDUCE by integration of a small editing and executing system %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 21-25 %A Jed Marti %A John Fitch %T REDUCE 2 for CP/M %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 26-27 %A Arthur C. Norman %A Paul S. Wang %T A comparison of the Vaxima and Reduce factorization packages %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 28-30 %A P.D. Pearce %A R.J. Hicks %T Data structures and execution times of algebraic mode programs for REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 31-37 %A Fritz Schwartz %T A REDUCE package for series analysis by Hadamard's theorem and QD schemes %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 1 %D February 1983 %P 38-44 %A G. Belovari %T Complex analysis in symbolic coumputing of some definite integrals %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 2 %D May 1983 %P 6-11 %A T.C. Berry %T On Coates algorithm %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 2 %D May 1983 %P 12-16 %A Jacques Calmet %A Ian Cohen %T Synthesizing recurrence relations I - analysis of the problems %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 2 %D May 1983 %P 18-25 %A Chen Dongyue %T Symbolc manipulation and formula manipulation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 2 %D May 1983 %P 26-27 %A G.L. Ebert %T Some comments on the modular approach to Grobner-bases %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 2 %D May 1983 %P 28-32 %A Andrzej Krasinski %T ORTOCARTAN - a program for algebraic calculations in general relativity %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 12-18 %A Mark E. Stickel %T A note on leftmost innermost term reduction %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 19-20 %A Paul Smith %A Leon Sterling %T On integration by man and machine %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 21-24 %A Michael Wester %A Stanly Steinberg %T An extension to MACSYMA's concept of functional differentiation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 25-30 %A Bruce Char %A Keith Geddes %A Gaston Gonnet %T The Maple symbolic computation system %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 31-42 %A Salim S. Abi-Ezzi %T Clarifications to the symbolic mode in REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 43-47 %A Gaston H. Gonnet %A Bruce W. Char %A Keith O. Geddes %T Problem: solution of a general system of equations %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 17 %N 3&4 %D August/November 1983 %P 48-75 %A Patrick C. McGeer %T A discussion and implementation of Brown's REX simplification algorithm %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 1 %D February 1984 %P 10-19 %K Maple %A C.J. Smith %T Implementation of a package of tools for manipulation of sums %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 1 %D February 1984 %P 20-24 %A Clifton Williamson,\ Jr. %T Taylor series solutions of explicit ODE's in a strongly typed algebra system %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 1 %D February 1984 %P 25-29 %A Ken Rimey %T Problem section (rotating fluids): a system of polynomial equations and a solution by an unusual method %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 1 %D February 1984 %P 30-32 %A Gerard Huet %T The future of symbolic computation: mathematics versus languages %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 2-5 %A Richard Zippel %T The future of computer algebra %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 6-7 %A H. Zassenhaus %T The efficiency of mathematical models %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 8-9 %A Richard J. Fateman %T My view of the future of symbolic and algebraic computation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 10-11 %A Regina Llopis de\ Trias %T A new generation of symbolic and algebraic computation systems %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 12-14 %A Ferdinando Mora %A Lorenzo Robbiano %T The interplay between commutative algebra and computer algebra %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 15 %A Arjen K. Lenstra %T Factorization of polynomials %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 16-18 %A J. Nievergelt %T Computing with geometric objects %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 19 %A James Davenport %T Integration in finite terms %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 20-21 %A W. Trinks %T Comments from number theory on computer algebra %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 22-23 %A E.V. Krishnamurthy %T Functional programming with combinators for symbolic computation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 24 %A Horst G. Zimmer %T Algorithms in algebraic number theory %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 25-26 %A Wolfgang Bibel %T Logic and algebraic computation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 26 %A J.A. van\ Hulzen %T The symbolic-numeric interface %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 27-28 %A Alexandru T. Balaban %T Numerical and non-numerical methods in chemistry: present and future %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 29-30 %A N.K. Bose %T Symbolic and algebraic computations in multidimensional systems theory %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 31-32 %A T. Legendi %T Cellular hardware and symbolic computation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 33 %A Heinz Luneburg %T Write a book ! %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 2 %D May 1984 %P 34 %A Carolyn J. Smith %T Procedures for polynomial and rational function recognition %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 2-4 %A R. Gebauer %A H. Kredel %T Note on "Solution of a general system of equations %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 5-6 %A W. Trinks %T On improving approximate results of Buchberger's algorithm by Newton's method %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 7-11 %A A.P. Kryukov %T An antitranslator of the RLISP language %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 12-15 %A A. Ya. Rodionov %T Work with non-commutative variables in the Reduce-2 system for analytical calculations %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 16-19 %A Daniel Zwillinger %T Completing the L-th power in Z[x] %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 20-22 %A W. Lassner %T Report on a National Computer Algebra Workshop in Leipzig %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 22-23 %A David S. Wise %T Representing matrices as quadtrees for parallel processors (extended abstract) %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 18 %N 3 %D August 1984 %P 24-25 %A Kevin McIsaac %T Pattern matching algebraic identities %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 4-13 %A Gregory Butler %T An improvement to the centralizer algorithm for permutation groups %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 14-18 %A Jeffrey P. Golden %T Differentiation of unknown functions in MACSYMA %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 19-24 %A Richard J. Fateman %T Eleven proofs of sin^2(x) + cos^2(x) = 1 %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 25-28 %A Giuseppe Mazzarella %T Improved simplification of odd and even functions in REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 29-30 %A J.A. Abbott %A R.J. Bradford %A J.H. Davenport %T A remark on factorisation %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 31-33 %A A.P. Kryukov %A A.Ya. Rodionov %T Dynamic-debugging system for the REDUCE programs %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 2 %D May 1985 %P 34-36 %A Richard J. Fateman %T Comments on SMP %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 5-7 %A Jed B. Marti %A Anthony C. Hearn %T REDUCE as a Lisp benchmark %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 8-16 %A Wm. Leler %A Neil Soiffer %T An interactive graphical interface for Reduce %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 17-23 %A Barbara L. Gates %T GENTRAN: an automatic code generation facility for REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 24-42 %A A.P. Kryukov %A A.Ya. Rodinov %T Interactive REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 43-45 %A H. Caprasse %A M. Hans %T A new use of operators in the algebraic mode of REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 19 %N 3 %D August 1985 %P 46-52 %A Dieter W. Ebner %T GOEDEL: a computer language for symbolic algebraic calculations; an introduction by examples %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 20 %N 3 %D September 1986 %P 16-19 %A H. Caprasse %T Description of an extension of the matrix package of REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 20 %N 4 %D December 1986 %P 7-10 %A Lars Langemyr %T Converting SAC-2 code to Lisp %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 20 %N 4 %D December 1986 %P 11-13 %A Jacques Calmet %A Denis Lugiez %T A knowledge-based system for computer algebra %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 1 %D February 1987 %P 7-13 %A P. van\ den\ Heuvel %A B.J.A. Hulshof %A J.A. van\ Hulsen %T Some simple pretty-print facilities for REDUCE %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 1 %D February 1987 %P 14-17 %A Gilles Labonte %T Report on a program for solving polynomial equations in non-commuting variables %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 2 %D May 1987 %P 4-7 %A Patrizia Gianni %A Alfonso Miola %A Teo Mora %T Symbolic and algebraic computation research in Italy %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 2 %D May 1987 %P 8-15 %A Volker Weispfenning %T Admissible orders and linear forms %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 2 %D May 1987 %P 16-18 %A Alan Katz %T Issues in defining an equations representation standard %J SIGSAM Bulletin %K symbolic and algebraic manipulation %V 21 %N 2 %D May 1987 %P 19-24 %K eqn latex