Table of contents for issues of SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)

Last update: Thu Jul 10 18:15:25 MDT 2014                Valid HTML 3.2!

Volume ??, Number 8, December, 1967
Volume ??, Number 9, April, 1968
Volume ??, Number 11, April, 1969
Volume ??, Number 12, July, 1969
Volume ??, Number 13, December, 1969
Volume ??, Number 14, January, 1970
Volume ??, Number 15, July, 1970
Volume ??, Number 16, October, 1970
Volume ??, Number 17, January, 1971
Volume ??, Number 18, April, 1971
Volume ??, Number 19, July, 1971
Volume ??, Number 20, October, 1971
Volume ??, Number 21, January, 1972
Volume ??, Number 22, March, 1972
Volume ??, Number 23, July, 1972
Volume ??, Number 24, October, 1972
Volume 14, Number ??, 1972
Volume 15, Number ??, 1972
Volume ??, Number 25, March, 1973
Volume ??, Number 27, September, 1973
Volume ??, Number 28, December, 1973
Volume 8, Number 1, February, 1974
Volume 8, Number 2, May, 1974
Volume 8, Number 3, August, 1974
Volume 8, Number 4, November, 1974
Volume 9, Number 1, February, 1975
Volume 9, Number 2, May, 1975
Volume 9, Number 3, August, 1975
Volume 9, Number 4, November, 1975
Volume 10, Number 2, 1976
Volume 10, Number 3, August, 1976
Volume 10, Number 4, November, 1976
Volume 11, Number 1, February, 1977
Volume 11, Number 2, May, 1977
Volume 11, Number 3, August, 1977
Volume 11--12, Number 4--1, nov # and # feb, 1977
Volume 12, Number 2, May, 1978
Volume 12, Number 3, August, 1978
Volume 12, Number 4, August, 1978
Volume 13, Number 1, February, 1979
Volume 13, Number 2, May, 1979
Volume 13, Number 3, August, 1979
Volume 13, Number 4, November, 1979
Volume 14, Number 1, February, 1980
Volume 14, Number 2, May, 1980
Volume 14, Number 3, August, 1980
Volume 14, Number 4, November, 1980
Volume 15, Number 1, February, 1981
Volume 15, Number 2, May, 1981
Volume 15, Number 3, August, 1981
Volume 15, Number 4, November, 1981
Volume 16, Number 1, February, 1982
Volume 16, Number 2, May, 1982
Volume 16, Number 3, August, 1982
Volume 16, Number 4, November, 1982
Volume 17, Number 1, February, 1983
Volume 17, Number 2, May, 1983
Volume 17, Number 3--4, August / November, 1983
Volume 18, Number 1, February, 1984
Volume 18, Number 2, May, 1984
Volume 18, Number 3, August, 1984
Volume 18, Number 4, November / February, 1984
Volume 18--19, Number 4--1, November / February, 1984
Volume 19, Number 2, May, 1985
Volume 19, Number 3, August, 1985
Volume 20, Number 1--2, February / May, 1986
Volume 20, Number 3, September, 1986
Volume 20, Number 4, December, 1986
Volume 21, Number 1, February, 1987
Volume 21, Number 2, February, 1987
Volume 21, Number 3, August, 1987
Volume 21, Number 4, November, 1987
Volume 22, Number 1, January, 1988
Volume 22, Number 2, April, 1988
Volume 22, Number 3, July, 1988
Volume 22, Number 4, October, 1988
Volume 23, Number 1, January, 1989
Volume 23, Number 2, April, 1989
Volume 23, Number 3, July, 1989
Volume 23, Number 4, October, 1989
Volume 24, Number 1, January, 1990
Volume 24, Number 2, April, 1990
Volume 24, Number 3, July, 1990
Volume 24, Number 4, October, 1990
Volume 25, Number 1, January, 1991
Volume 25, Number 2, April, 1991
Volume 25, Number 3, July, 1991
Volume 25, Number 4, October, 1991
Volume 26, Number 1, January, 1992
Volume 26, Number 2, April, 1992
Volume 26, Number 3, August, 1992
Volume 26, Number 4, November, 1992
Volume 27, Number 1, January, 1993
Volume 27, Number 2, April, 1993
Volume 27, Number 3, September, 1993
Volume 27, Number 4, December, 1993
Volume 28, Number 1, March, 1994
Volume 28, Number 2, August, 1994
Volume 28, Number 3--4, December, 1994
Volume 29, Number 1, January, 1995
Volume 29, Number 2, April, 1995
Volume 29, Number 2S (special issue), June, 1995
Volume 29, Number 3--4, December, 1995
Volume 30, Number 1, March, 1996
Volume 30, Number 2, June, 1996
Volume 30, Number 3, September, 1996
Volume 30, Number 4, December, 1996
Volume 31, Number 1, March, 1997
Volume 31, Number 2, June, 1997
Volume 31, Number 3, September, 1997
Volume 31, Number 4, December, 1997
Volume 32, Number 1, March, 1998
Volume 32, Number 2, June, 1998
Volume 32, Number 3, September, 1998
Volume 32, Number 4, December, 1998
Volume 33, Number 1, March, 1999
Volume 33, Number 2, June, 1999
Volume 33, Number 3, September, 1999
Volume 33, Number 4, December, 1999
Volume 34, Number 1, March, 2000
Volume 34, Number 2, June, 2000
Volume 34, Number 3, September, 2000
Volume 34, Number 4, December, 2000
Volume 35, Number 1, March, 2001
Volume 35, Number 2, June, 2001
Volume 35, Number 3, September, 2001
Volume 35, Number 4, December, 2001
Volume 36, Number 1, March, 2002
Volume 36, Number 2, June, 2002
Volume 36, Number 3, September, 2002
Volume 36, Number 4, December, 2002
Volume 37, Number 1, March, 2003
Volume 37, Number 2, June, 2003
Volume 37, Number 3, September, 2003
Volume 37, Number 4, December, 2003
Volume 38, Number 1, March, 2004
Volume 38, Number 2, June, 2004
Volume 38, Number 3, September, 2004
Volume 38, Number 4, December, 2004
Volume 39, Number 1, March, 2005
Volume 39, Number 2, June, 2005
Volume 39, Number 3, September, 2005
Volume 39, Number 4, December, 2005
Volume 40, Number 1, March, 2006
Volume 40, Number 2, June, 2006
Volume 40, Number 3--4, September / December, 2006
Volume 41, Number 1--2, March / June, 2007
Volume 41, Number 3, September, 2007
Volume 41, Number 4, December, 2007
Volume 42, Number 1--2, mar # / # jun, 2008
Volume 42, Number 3, September, 2008
Volume 42, Number 4, December, 2008
Volume 43, Number 1, March, 2009
Volume 43, Number 2, June, 2009
Volume 43, Number 3, September, 2009
Volume 43, Number 4, December, 2009
Volume 44, Number 1, March, 2010
Volume 44, Number 2, June, 2010
Volume 44, Number 3, September, 2010
Volume 44, Number 4, December, 2010
Volume 45, Number 1, March, 2011
Volume 45, Number 2, June, 2011
Volume 45, Number 3--4, September, 2011
Volume 46, Number 1--2, March / June, 2012
Volume 46, Number 3--4, September, 2012
Volume 47, Number 1--2, March, 2013
Volume 47, Number 3--4, September, 2013
Volume 48, Number 1/2, March, 2014
Volume 28, Number 8, August, 1985


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 8, December, 1967

             Lee E. Heindel and   
            Paul W. Purdom, Jr.   The automatic optimization of SLIP
                                  routines . . . . . . . . . . . . . . . . 21--30

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 9, April, 1968

                 F. H. Sage and   
                    D. V. Smith   The introduction of a paging technique
                                  into the symmetric list processor, SLIP  34--46

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 11, April, 1969

                 S. James Clark   Symbolic solution of a system of first
                                  order linear differential equations  . . 13--18

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 12, July, 1969

                  G. E. Collins   Algorithmic approaches to symbolic
                                  integration and simplification: summary
                                  of the panel session sponsored by SIGSAM
                                  at the FJCC in San Francisco, December
                                  10, 1968 . . . . . . . . . . . . . . . . 5--16
          Joachim Neubüser   From the SIGSAM Subcommittee on
                                  Computation of Algebraic Structures  . . 17--17
                 John J. Cannon   A critique of algebraic programming
                                  languages  . . . . . . . . . . . . . . . 18--27
             Robert J. Plemmons   A survey of computer applications to
                                  semigroups and related structures  . . . 28--39
              J. Nievergelt and   
                 F. Fischer and   
               M. I. Irland and   
                    J. R. Sidlo   NUCLEOL --- a minimal list processor . . 40--52
                  M. M. Ludeman   PL/I utility programs for Formac
                                  applications . . . . . . . . . . . . . . 53--58
                        K. Bahr   A smaller FORTRAN--FORMAC system . . . . 59--60

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 13, December, 1969

                     Joel Moses   The integration of a class of special
                                  functions with the Risch algorithm . . . 14--27
               Anthony C. Hearn   Standard LISP (reprint)  . . . . . . . . 28--49

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 14, January, 1970

                     Joel Moses   Summary of the 1969 FJCC SIGSAM--SIGART
                                  technical session  . . . . . . . . . . . 4--10
                  J. Nievergelt   Software for graph processing  . . . . . 11--12
                 A. R. LeSchack   Response from A. R. LeSchack . . . . . . 13--16
                F. W. Blair and   
             J. H. Griesmer and   
                    R. D. Jenks   An interactive facility for symbolic
                                  mathematics  . . . . . . . . . . . . . . 17--18
           Herbert J. Bernstein   Ludeman's PL/I FORMAC gradient problem
                                  as handled by FORTRAN SYMBOLANG  . . . . 19--34
                    R. G. Tobey   Historical note on gradient evaluation   35--35
           Harry Eisenpress and   
                Abel Bomberault   Practical symbolic differentiation of
                                  large expressions using PL/I Formac  . . 36--61

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 15, July, 1970

                     Joel Moses   The function of FUNCTION in LISP or why
                                  the FUNARG problem should be called the
                                  environment problem  . . . . . . . . . . 13--27
              Stig Flodmark and   
                   Esko Blokker   Use of computers in treating
                                  nonnumerical mathematics and group
                                  theoretical problems in physics  . . . . 28--63
                James C. Howard   Relativistic applications of symbolic
                                  mathematical computation . . . . . . . . 64--83

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 16, October, 1970

                 Lee E. Heindel   Algorithms for exact polynomial root
                                  calculation  . . . . . . . . . . . . . . 9--9
                    R. D. Jenks   META/LISP: an interactive translator
                                  writing system . . . . . . . . . . . . . 10--18
                 Joyce Friedman   Fortran implementation of the Kay
                                  context-free parser  . . . . . . . . . . 19--45

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 17, January, 1971

                  Peter Schnupp   Practical formula manipulation for
                                  theoretical chemistry  . . . . . . . . . 27--29
                 Erik Sandewall   A proposed solution to the FUNARG
                                  problem  . . . . . . . . . . . . . . . . 29--42
                      Knut Bahr   An algebraic simplification program in
                                  PL/I . . . . . . . . . . . . . . . . . . 43--50

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 18, April, 1971

            W. Morven Gentleman   Optimal multiplication chains for
                                  computing a power of a symbolic
                                  polynomial . . . . . . . . . . . . . . . 23--30

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 19, July, 1971

               Lucien A. Dimino   A graphical approach to coset
                                  enumeration  . . . . . . . . . . . . . . 8--43

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 20, October, 1971

                L. D. Neidleman   A user's examination of the formula
                                  manipulation language --- SYMBAL . . . . 8--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 21, January, 1972

        T. E. Cheatham, Jr. and   
                   Ben Wegbreit   A laboratory for the study of automating
                                  programming  . . . . . . . . . . . . . . 8--26
               E. M. Greenawalt   An overlay facility for LISP programs    27--31
              Rüdiger Loos   Analytic treatment of three similar
                                  Fredholm integral equations of the
                                  second kind with Reduce 2  . . . . . . . 32--40

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 22, March, 1972

                 J. A. Campbell   Problem #2 --- the Y$_{2n}$ functions    8--9
     André M. L. LaPlace   PL/I list processing used as interactive
                                  system support . . . . . . . . . . . . . 10--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 23, July, 1972

             Richard J. Fateman   Rationally simplifying non-rational
                                  expressions  . . . . . . . . . . . . . . 8--9
               Anthony C. Hearn   An Improved Non-Modular Polynomial GCD
                                  Algorithm  . . . . . . . . . . . . . . . 10--15
              Rüdiger Loos   Algebraic algorithm descriptions as
                                  programs . . . . . . . . . . . . . . . . 16--24
             B. F. Caviness and   
                  G. E. Collins   Symbolic mathematical computation in a
                                  Ph.D. Computer Science program . . . . . 25--28

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 24, October, 1972

                W. S. Brown and   
                     A. D. Hall   ALTRAN . . . . . . . . . . . . . . . . . 4--7
                   S. R. Bourne   CAMAL  . . . . . . . . . . . . . . . . . 8--11
                  R. J. Fateman   MACSYMA  . . . . . . . . . . . . . . . . 12--13
                    A. C. Hearn   REDUCE . . . . . . . . . . . . . . . . . 14--15
                    R. D. Jenks   SCRATCHPAD . . . . . . . . . . . . . . . 16--17
                    Y. Sundblad   SYMBAL . . . . . . . . . . . . . . . . . 18--19
                 W. H. Jeffreys   TRIGMAN  . . . . . . . . . . . . . . . . 20--21
                    E. Horowitz   SAC-1  . . . . . . . . . . . . . . . . . 22--24


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 14, Number ??, 1972

               Anthony C. Hearn   A REDUCE Solution of Problem #2 --- The
                                  $Y_{2n}$ Functions . . . . . . . . . . . 14


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 15, Number ??, 1972

               David Barton and   
               Anthony C. Hearn   Comment on Problem #2 --- The $Y_{2n}$
                                  Functions  . . . . . . . . . . . . . . . ??


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 25, March, 1973

                  R. J. Fateman   Reply to an editorial  . . . . . . . . . 9--11
                   David Barton   Problem #4: the Lie transform  . . . . . 12--13
                 J. A. Campbell   Problem #5: a problem in differentiation
                                  arising from the Runge--Kutta--Nyström
                                  method . . . . . . . . . . . . . . . . . 13--14
                      Knut Bahr   An interesting bug in FORMAC . . . . . . 23--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 27, September, 1973

                 John Fitch and   
                  Arthur Norman   An idea for comparing data structures    17--18
                David Y. Y. Yun   On algorithms for solving systems of
                                  polynomial equations . . . . . . . . . . 19--25
                   Knut A. Bahr   A speed-up of FORMAC . . . . . . . . . . 26--29

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume ??, Number 28, December, 1973

                     John Fitch   Problems #3 and #4 in REDUCE and MACSYMA 10--11
                 D. P. McCarthy   Problem #6 --- the Kiang problem . . . . 12--12
                     W. Tuttens   Solution to problem #2: with ``a
                                  subroutine package for polynomial
                                  manipulation'' (Polman)  . . . . . . . . 13--13
                 Yngve Sundblad   One user's one-algorithm comparison of
                                  six algebraic systems on the
                                  Y$_{2n}$-problem . . . . . . . . . . . . 14--20
               Paul S. Wang and   
           L. Preiss Rothschild   Factoring multivariate polynomials over
                                  the integers . . . . . . . . . . . . . . 21--29
             Richard J. Fateman   A case history in interactive
                                  problem-solving  . . . . . . . . . . . . 30--32
              R. P. van de Riet   The automatic solution of partial
                                  differential equations by means of
                                  Taylor series using formula-manipulation
                                  methods  . . . . . . . . . . . . . . . . 33--36


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 8, Number 1, February, 1974

             J. Denbigh Starkey   A solution to Kiang's problem #6 . . . . 2--3
              S. C. Johnson and   
                   R. L. Graham   Problem #7 . . . . . . . . . . . . . . . 4--4
               J. A. van Hulzen   FORMAC today, or what can happen to an
                                  orphan . . . . . . . . . . . . . . . . . 5--7
                  D. Barton and   
                    J. P. Fitch   Algebraic manipulation in Cambridge  . . 8--9
                   Knut A. Bahr   Toward a revision of FORMAC  . . . . . . 10--16

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 8, Number 2, May, 1974

                 A. D. Hall and   
                  S. C. Johnson   ALTRAN programs for SIGSAM problem #6    12--36
                 R. Fateman and   
                   J. Moses and   
                        P. Wang   Solution to problem #7 using MACSYMA . . 14--16
              G. E. Collins and   
               D. R. Musser and   
                   M. Rothstein   SAC-1 solution of problem #7 . . . . . . 17--19
                    R. D. Jenks   The SCRATCHPAD language  . . . . . . . . 20--30
                      Jaap Smit   Introduction to NETFORM  . . . . . . . . 31--36

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 8, Number 3, August, 1974

                 Yngve Sundblad   Symbolic mathematical systems now and in
                                  the future . . . . . . . . . . . . . . . 1--8
            Ruediger G. K. Loos   Toward a formal implementation of
                                  computer algebra . . . . . . . . . . . . 9--16
                  Knut Bahr and   
                      Jaap Smit   Tuning an algebraic manipulation system
                                  through measurements . . . . . . . . . . 17--23
              Nisse Husberg and   
            Jouko Seppänen   ANALITIK: principal features of the
                                  language and its implementation  . . . . 24--25
                    W. S. Brown   On computing with factored rational
                                  expressions  . . . . . . . . . . . . . . 26--34
            Andrew D. Hall, Jr.   Factored rational expressions in ALTRAN  35--45
              Alfonso Miola and   
                David Y. Y. Yun   Computational aspects of Hensel-type
                                  univariate polynomial greatest common
                                  divisor algorithms . . . . . . . . . . . 46--54
                     H. Strubbe   Presentation of the SCHOONSCHIP system   55--60
            W. Morven Gentleman   Experience with truncated power series   61--62
             Stephen C. Johnson   Sparse polynomial arithmetic . . . . . . 63--71
               Dorothea A. Klip   Different polynomial representations and
                                  their interaction in the portable
                                  algebra system PORT-ALG  . . . . . . . . 72--73
                 Jacques Calmet   Computer Recognition of Divergences in
                                  Feynman Diagrams . . . . . . . . . . . . 74--75
                       I. Frick   A non-numerical computation involving
                                  sums of many products of finite rotation
                                  matrices for spin $3/2$  . . . . . . . . 76--77
                   H. Ian Cohen   A perturbation calculation in general
                                  relativity . . . . . . . . . . . . . . . 78--79
              George E. Collins   Quantifier elimination for real closed
                                  fields by cylindrical algebraic
                                  decomposition--preliminary report  . . . 80--90
                   Dennis Weeks   Formal representations for algebraic
                                  numbers  . . . . . . . . . . . . . . . . 91--95
                   P. Verbaeten   The automatic construction of pure
                                  recurrence relations . . . . . . . . . . 96--98
                   Edward W. Ng   Symbolic integration of a class of
                                  algebraic functions  . . . . . . . . . . 99--102
                  Alfonso Miola   The use of symbolic computation in
                                  solving free boundary problems by the
                                  Ritz--Galerkin method  . . . . . . . . . 103--104
                     Joel Moses   MACSYMA --- the fifth year . . . . . . . 105--110

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 8, Number 4, November, 1974

                     John Fitch   Problem #8: random walk  . . . . . . . . 11--11
          James H. Griesmer and   
               Richard D. Jenks   A solution to problem #4: the lie
                                  transform  . . . . . . . . . . . . . . . 12--13
                     John Fitch   A solution of problem #3 using CAMAL . . 14--25
                     John Fitch   A simple method of taking $n$th roots of
                                  integers . . . . . . . . . . . . . . . . 26--26
                David Y. Y. Yun   A $p$-adic division with remainder
                                  algorithm  . . . . . . . . . . . . . . . 27--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 9, Number 1, February, 1975

                   A. C. Norman   Solutions to problem 8 . . . . . . . . . 7--9
                 Richard Zippel   A MACSYMA solution to problem 8  . . . . 10--12
               Arthur C. Norman   The SCRATCHPAD power series package  . . 13--20
                      Knut Bahr   Utilizing the FORMAC novelties . . . . . 21--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 9, Number 2, May, 1975

                      Knut Bahr   Solution to problem 8  . . . . . . . . . 6--6
                 John Fitch and   
                  Arthur Norman   Double by single length division . . . . 7--7
                   P. Verbaeten   Computing real zeros of polynomials with
                                  SAC-1  . . . . . . . . . . . . . . . . . 8--10
                 J. A. Campbell   Automatic programming in LISP  . . . . . 11--13
               J. A. van Hulzen   Special purpose differentiation
                                  algorithms . . . . . . . . . . . . . . . 14--18
              Stuart I. Feldman   An application of symbolic computation
                                  to crystal physics . . . . . . . . . . . 19--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 9, Number 3, August, 1975

                     John Fitch   Course notes . . . . . . . . . . . . . . 4--8
               Richard D. Jenks   Course outline: Yale University, New
                                  Haven  . . . . . . . . . . . . . . . . . 9--10
                       W. Kahan   Problem #9: an ellipse problem . . . . . 11--12
                   Rudiger Loos   Problem #10: the cattle problem of
                                  Archimedes . . . . . . . . . . . . . . . 11--12
             J. H. Griesmer and   
                R. D. Jenks and   
                   D. Y. Y. Yun   A SCRATCHPAD solution to problem #7  . . 13--17
                 B. F. Caviness   More on computing roots of integers  . . 18--20
                   Paul S. Wang   Factoring multivariate polynomials over
                                  algebraic number fields in MACSYMA . . . 21--23
             J. H. Griesmer and   
                R. D. Jenks and   
                David Y. Y. Yun   A FORMAT statement in SCRATCHPAD . . . . 24--25
                 J. T. Schwartz   What programmers should know . . . . . . 26--27
                  S. C. Johnson   A note on abnormal polynomial remainder
                                  sequences  . . . . . . . . . . . . . . . 28--29
                 Bauke Hiemstra   A pre-editor for CAMAL . . . . . . . . . 30--34

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 9, Number 4, November, 1975

                Donald E. Knuth   Son of Seminumerical Algorithms  . . . . 10--11
                  J. Heintz and   
               R. Wüthrich   An efficient quantifier elimination
                                  algorithm for algebraically closed
                                  fields of any characteristic . . . . . . 11--11
              Stuart I. Feldman   A brief description of Altran  . . . . . 12--20
                     Max Engeli   An enhanced SYMBAL system  . . . . . . . 21--29
                  M. Rochon and   
                     H. Strubbe   Solution to SIGSAM problem no. 5 using
                                  SCHOONSCHIP  . . . . . . . . . . . . . . 30--38
                     A. D. Hall   ALTRAN solution to problem #8  . . . . . 39--40


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 10, Number 2, 1976

              James H. Griesmer   Symbolic mathematical computation --- a
                                  survey . . . . . . . . . . . . . . . . . 30--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 10, Number 3, August, 1976

             Richard J. Fateman   Final problem set excerpts . . . . . . . 14--14
                   Paul S. Wang   Implications of symbolic computation for
                                  the teaching of mathematics  . . . . . . 15--18
                  B. Buchberger   A theoretical basis for the reduction of
                                  polynomials to canonical forms . . . . . 19--29
                  Jukka Korpela   General characteristics of the ANALITIK
                                  language . . . . . . . . . . . . . . . . 30--48

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 10, Number 4, November, 1976

          Rüdiger Loos and   
               J. Neubüser   Group theoretical computations in
                                  mathematical crystallography . . . . . . 11--18
                  B. Buchberger   Some properties of Gröbner-bases for
                                  polynomial ideals  . . . . . . . . . . . 19--24
          Michael Rothstein and   
                 B. F. Caviness   A structure theorem for exponential and
                                  primitive functions a preliminary report 25--28
                   Henry Kanoui   Some aspects of symbolic integration via
                                  predicate logic programming  . . . . . . 29--42
                   Paul S. Wang   Factoring larger multivariate
                                  polynomials  . . . . . . . . . . . . . . 42--42
                Horst G. Zimmer   Factorization of polynomials according
                                  to a method of Zassenhaus' . . . . . . . 43--45
                 J. A. Campbell   Compact storage for computations
                                  involving partitions . . . . . . . . . . 46--47
            David R. Stoutemyer   Automatic simplification for the
                                  absolute-value function and its
                                  relatives  . . . . . . . . . . . . . . . 48--49
               Gianna Cioni and   
                  Alfonso Miola   Using minicomputers for algebraic
                                  computations . . . . . . . . . . . . . . 50--52


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 11, Number 1, February, 1977

              Rüdiger Loos   Abstracts  . . . . . . . . . . . . . . . 3--7
              Rüdiger Loos   Author's solution of Archimedes' cattle
                                  problem  . . . . . . . . . . . . . . . . 4--7
             Kenneth L. Manders   The impact of complexity theory on
                                  algorithms for sparse polynomials  . . . 8--15
               Richard D. Jenks   On the design of a mode-based symbolic
                                  system . . . . . . . . . . . . . . . . . 16--19
                  R. Shtokhamer   Attempts in local simplification of non
                                  nested radicals  . . . . . . . . . . . . 20--40

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 11, Number 2, May, 1977

              Siegfried M. Rump   Real root isolation for algebraic
                                  polynomials  . . . . . . . . . . . . . . 2--3
                   Paul S. Wang   An efficient squarefree decomposition
                                  algorithm  . . . . . . . . . . . . . . . 4--6
              Rüdiger Loos   1977 MACSYMA users' conference . . . . . 7--13
                   Markus Lauer   A solution to Kahan's problem (SIGSAM
                                  problem No. 9) . . . . . . . . . . . . . 16--20
                   G. Tim Hagen   A simple problem . . . . . . . . . . . . 20--21
                   H. J. Gawlik   The further development of MIRA  . . . . 22--28

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 11, Number 3, August, 1977

             B. F. Caviness and   
                  H. I. Epstein   A note on the complexity of algebraic
                                  differentiation  . . . . . . . . . . . . 4--6
                  Jukka Korpela   Some problems connected with ambiguous
                                  expressions  . . . . . . . . . . . . . . 7--9


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 11--12, Number 4--1, nov # and # feb, 1977

              Rüdiger Loos   ABSTRACTS (Amsterdam 78) . . . . . . . . 3--6
                     K. A. Bahr   New Release of FORMAC 73 Available . . . 6--6
               S. J. Harrington   REDUCE Solution to Problem #8  . . . . . 7--8
               Maurice Mignotte   How to find algebraic integers whose
                                  conjugates lie near the unit circle? . . 9--10
         F. Teixeira de Queiroz   The use of formula manipulation systems
                                  to compute asymptotic expansions . . . . 11--15
                F. T. de Queroz   The Use of Formula Manipulation Systems
                                  to Compute Asymptotic Expansions . . . . 11--16
              David L. Hall and   
                B. Craig Meyers   A Method for Determining the
                                  Coefficients of a Reversed Power Series  16--19
                  R. Shtokhamer   The use of ``LET'' statements in
                                  producing short comprehensible outputs   20--22
                      V. Felsch   A KWIC Indexed Bibliography on the Use
                                  of Computers in Group Theory and Related
                                  Topics . . . . . . . . . . . . . . . . . 23--86
              Rüdiger Loos   Abstracts (REDUCE newsletter 1.1978) . . 86--88


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 12, Number 2, May, 1978

                   Paul S. Wang   Abstracts  . . . . . . . . . . . . . . . 8--9
                   Paul S. Wang   Seminar on Introduction to Symbolic and
                                  Algebraic Manipulation . . . . . . . . . 10--12
                   Paul S. Wang   Abstracts  . . . . . . . . . . . . . . . 13--17
             B. F. Caviness and   
                   M. J. Prelle   A note on algebraic independence of
                                  logarithmic and exponential constants    18--20
           Morton A. Hirschberg   The evaluation, manipulation and
                                  identification of nondimensional numbers 21--26
              C. Kollreider and   
                  B. Buchberger   An improved algorithmic construction of
                                  Gröbner-bases for polynomial ideals . . . 27--36

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 12, Number 3, August, 1978

                   Paul S. Wang   SIAM 1978 national meeting: invited
                                  lectures . . . . . . . . . . . . . . . . 6--7
             Richard J. Fateman   Is a LISP Machine Different from a
                                  FORTRAN Machine? . . . . . . . . . . . . 8--11
               Dorothea A. Klip   A comparative study of algorithms for
                                  sparse polynomial multiplication . . . . 12--24
                  Robert Moenck   Is a linked list the best storage
                                  structure for an algebra system? . . . . 20--24
             J. H. Griesmer and   
                R. D. Jenks and   
                   D. Y. Y. Yun   A taxonomy for algebraic computation . . 25--28

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 12, Number 4, August, 1978

          Alkiviadis G. Akritas   A short note on a new method for
                                  polynomial real root isolation . . . . . 12--13
                  Arthur Norman   Towards a REDUCE solution to SIGSAM
                                  Problem 7  . . . . . . . . . . . . . . . 14--18
         F. Teixeira de Queiroz   Advanced tests for algorithms of
                                  differentiation  . . . . . . . . . . . . 19--22
                   Jon L. White   LISP/370: a short technical description
                                  of the implementation  . . . . . . . . . 23--27


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 13, Number 1, February, 1979

                   Paul S. Wang   Abstracts  . . . . . . . . . . . . . . . 12--13
                H. James Gawlik   Comments on the open letter from Fateman
                                  to Veltman . . . . . . . . . . . . . . . 14--15
                    R. D. Jenks   SCRATCHPAD/360: reflections on a
                                  language design  . . . . . . . . . . . . 16--26
           Steven J. Harrington   A Symbolic Limit Evaluation Program in
                                  REDUCE . . . . . . . . . . . . . . . . . 27--31

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 13, Number 2, May, 1979

                    Jarl Jensen   On the formulation and solution of shell
                                  problems by means of computerized
                                  algebraic manipulation . . . . . . . . . 13--13
                 P. Raulefs and   
                J. Siekmann and   
            P. Szabó and   
                   E. Unvericht   A short survey on the state of the art
                                  in matching and unification problems . . 14--20

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 13, Number 3, August, 1979

                   F. D. Gakhov   Review of ``Calculus of Integrals of
                                  Higher Transcendental Functions (The
                                  Theory and Tables of Formulas), by O. I.
                                  Marichev'', Minsk, Nauka i Tekhnika,
                                  1978 . . . . . . . . . . . . . . . . . . 7--7
            David R. Stoutemyer   Computer symbolic math & education: a
                                  radical proposal . . . . . . . . . . . . 8--24
              James H. Griesmer   The state of symbolic computation  . . . 25--28
                      Anonymous   Book review  . . . . . . . . . . . . . . ??

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 13, Number 4, November, 1979

                   Paul S. Wang   EUROSAM'79 conference proceedings  . . . 8--15
                J. H. Davenport   Anatomy of an integral . . . . . . . . . 16--18
                   A. C. Norman   Testing word-sized numbers for primality 19--20
          Lawrence A. Weber and   
                  Gerhard Rayna   Problem #11 Solved in REDUCE: A Case
                                  Study in Program Translation . . . . . . 21--24


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 14, Number 1, February, 1980

                   Paul S. Wang   Titles and abstracts: mathematical
                                  symbolic manipulation on the computer
                                  and applications . . . . . . . . . . . . 6--7
               Ned Anderson and   
                   Paul S. Wang   MACSYMA experiments with a modified
                                  Khachian-type algorithm in linear
                                  programming  . . . . . . . . . . . . . . 8--13
                    Jim Purtilo   On implementing arbitrary precision
                                  arithmetic in NIL: an exercise in data
                                  abstraction  . . . . . . . . . . . . . . 14--18
               J. Neubüser   Some remarks on a proposed taxonomy for
                                  algebraic computation  . . . . . . . . . 19--20
               Maurice Mignotte   Tests for polynomials  . . . . . . . . . 21--22
                   J. Marti and   
                A. C. Hearn and   
                M. L. Griss and   
                       C. Griss   Standard Lisp Report . . . . . . . . . . 23--43

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 14, Number 2, May, 1980

                   Paul S. Wang   Titles and abstracts: mathematical
                                  symbolic manipulation on the computer    20--22
            James C. Frauenthal   Change in applied mathematics is
                                  revolutionary  . . . . . . . . . . . . . 23--23
          Alkiviadis G. Akritas   A remark on the proposed syllabus for an
                                  AMS short course on computer algebra . . 24--25
                      D. Lazard   Problem 7 and systems of algebraic
                                  equations  . . . . . . . . . . . . . . . 26--29
                Lewis M. Norton   A Note About Laplace Transform Tables
                                  for Computer Use . . . . . . . . . . . . 30--31
           Navaratna S. Rajaram   Random oscillations arising in the
                                  MACSYMA implementation of Khachian-type
                                  algorithms in linear programming . . . . 32--35
               J. A. van Hulzen   Computational Problems in Producing
                                  Taylor Coefficients for the Rotating
                                  Disk Problem . . . . . . . . . . . . . . 36--49
                   Paul S. Wang   The EEZ-GCD algorithm  . . . . . . . . . 50--60

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 14, Number 3, August, 1980

            David R. Stoutemyer   PICOMATH-80: an even smaller computer
                                  algebra package  . . . . . . . . . . . . 5--7
                       A. Voros   Symbol calculus by symbolic computation
                                  and semi-classical expansions  . . . . . 7--7
          Alkiviadis G. Akritas   A complete list of references for the
                                  paper: ``A remark on the proposed
                                  syllabus for an AMS short course on
                                  computer algebra'' . . . . . . . . . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 14, Number 4, November, 1980

                    Toni Kasper   Integration in finite terms: the
                                  Liouville theory . . . . . . . . . . . . 2--8
              B. David Saunders   A survey of available systems  . . . . . 12--28
                L. Bachmair and   
                  B. Buchberger   A simplified proof of the
                                  characterization theorem for
                                  Gröbner-bases . . . . . . . . . . . . . . 29--34
                   A. Bossi and   
                 L. Colussi and   
                 C. Cobelli and   
               G. Romanin Jacur   Identifiability of compartmental models:
                                  algorithms to solve an actual problem by
                                  means of symbolic calculus . . . . . . . 35--40
               Maurice Mignotte   Factorization of univariate polynomials:
                                  a statistical study  . . . . . . . . . . 41--44


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 15, Number 1, February, 1981

                    A. M. Miola   A bibliography of Soviet works in
                                  algebraic manipulations  . . . . . . . . 5--7
          Alkiviadis G. Akritas   On the Budan--Fourier controversy  . . . 8--10
         James H. Davenport and   
               Richard D. Jenks   MODLISP  . . . . . . . . . . . . . . . . 11--20
             Richard J. Fateman   Symbolic and algebraic computer
                                  programming systems  . . . . . . . . . . 21--32
       Victor Köfalusi and   
                    Edit Halmay   State-space sets, state-space graphs and
                                  $n$-prefix expressions . . . . . . . . . 33--36
                  Michael Pohst   On the computation of lattice vectors of
                                  minimal length, successive minima and
                                  reduced bases with applications  . . . . 37--44

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 15, Number 2, May, 1981

              B. David Saunders   Abstracts  . . . . . . . . . . . . . . . 6--7
            Luciana Bordoni and   
             Attilio Colagrossi   An Application of REDUCE to Industrial
                                  Mechanics  . . . . . . . . . . . . . . . 8--12
            Yasumasa Kanada and   
                 Tateaki Sasaki   LISP-based ``big-float'' system is not
                                  slow . . . . . . . . . . . . . . . . . . 13--19
    D. Mordukhai-Boltovskoi and   
            Boris Korenblum and   
                    Myra Prelle   A general investigation of integration
                                  in finite form of differential equations
                                  of the first order article 1 . . . . . . 20--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 15, Number 3, August, 1981

               Woon Cheung Chan   A novel symbolic ordinary differential
                                  equation solver  . . . . . . . . . . . . 9--14
                  A. K. Lenstra   Lattices and factorization of
                                  polynomials  . . . . . . . . . . . . . . 15--16
               William H. Rowan   Efficient polynomial substitutions of a
                                  sparse argument  . . . . . . . . . . . . 17--23
              B. David Saunders   Algebra made mechanical  . . . . . . . . 23--25
              Lynn Arthur Steen   Computer calculus: long perceived as
                                  merely `number crunchers,' computers are
                                  now moving into the realm of elegant
                                  mathematics  . . . . . . . . . . . . . . 26--27

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 15, Number 4, November, 1981

                Dennis S. Arnon   Automatic analysis of real algebraic
                                  curves . . . . . . . . . . . . . . . . . 3--9
              Helmut Kempelmann   Recursive algorithm for the fast
                                  calculation of the limit of derivatives
                                  at points of indeterminateness . . . . . 10--11
                 M. D. Atkinson   Saving space in coset enumeration  . . . 12--14
               P. D. Pearce and   
                    R. J. Hicks   The Application of Algebraic
                                  Optimisation Techniques to Algebraic
                                  Mode Programs for REDUCE . . . . . . . . 15--22
                    J. Smit and   
           J. A. van Hulzen and   
               B. J. A. Hulshof   NETFORM and Code Optimizer Manual  . . . 23--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 16, Number 1, February, 1982

             James H. Davenport   Fast REDUCE: The trade-off between
                                  efficiency and generality  . . . . . . . 8--11
          George E. Collins and   
        Rüdiger G. K. Loos   The Jacobi symbol algorithm  . . . . . . 12--16
             Timothy S. Norfolk   Symbolic computation of residues at
                                  poles and essential singularities  . . . 17--23

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 16, Number 2, May, 1982

               Paul S. Wang and   
               M. J. T. Guy and   
                J. H. Davenport   $P$-adic reconstruction of rational
                                  numbers  . . . . . . . . . . . . . . . . 2--3
            Zdenêk Kalina   Running REDUCE and Lisp/360
                                  interactively under a Time Sharing
                                  Option . . . . . . . . . . . . . . . . . 3--3
      G. Üçoluk and   
A. Hacìnlìyan and   
                   E. Karabudak   A Proposal for Extensions to REDUCE  . . 4--14
                      Anonymous   KWIC Index of SIGSAM Bulletin Abstracts
                                  (1978--1981) . . . . . . . . . . . . . . 15--36
                      Anonymous   EUROCAL '83 Call for Papers  . . . . . . 37--37
                      Anonymous   SAME Created . . . . . . . . . . . . . . 38--38

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 16, Number 3, August, 1982

             James H. Davenport   On the parallel Risch algorithm (III):
                                  use of tangents  . . . . . . . . . . . . 3--6
                 R.-M. di Scala   SYPAC: a Pascal based computer algebra
                                  system for micro-computers . . . . . . . 7--10
               Stanly Steinberg   Mathematics and Symbol Manipulation  . . 11--15
               David D. Shochat   Experience with the muSIMP/muMATH-80
                                  symbolic mathematics system  . . . . . . 16--23
                Hale F. Trotter   Statistics on factoring polynomials
                                  $\bmod p$ and $p$-adically . . . . . . . 24--29
                   Zhong Renbao   An algorithm for avoiding complex
                                  numbers in rational function integration 30--32
                       R. Zhong   An algorithm for avoiding complex
                                  numbers in rational function integration 30--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 16, Number 4, November, 1982

                 Erich Kaltofen   Polynomial reduction from multivariate
                                  to bivariate integral polynomial
                                  factorization  . . . . . . . . . . . . . 4--4
              B. Buchberger and   
              G. E. Collins and   
                    R. Loos and   
                    R. Albrecht   Computer algebra symbolic and algebraic
                                  computation  . . . . . . . . . . . . . . 5--5
             James H. Davenport   What do we want from a high-level
                                  language?  . . . . . . . . . . . . . . . 6--9, 23
            Rabbe Fogelholm and   
                  Inge B. Frick   Standard LISP for the VAX: A Provisional
                                  Implementation . . . . . . . . . . . . . 10--12
          Wolfgang Küchlin   Some reduction strategies for algebraic
                                  term rewriting . . . . . . . . . . . . . 13--23
               Alfonso M. Miola   The conversion of Hensel codes to their
                                  rational equivalents (or how to solve
                                  the Gregory's open problem)  . . . . . . 24--26
               E. Schrüfer   An Implementation of the Exterior
                                  Calculus in REDUCE: A Status Report  . . 27--31
           J. A. van Hulzen and   
               B. J. A. Hulshof   An Expression Analysis Package for
                                  REDUCE . . . . . . . . . . . . . . . . . 32--44


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 17, Number 1, February, 1983

              Florian Bundschuh   Global data flow analysis in Aldes . . . 6--11
         Attilio Colagrossi and   
               Alfonso M. Miola   Computing real zeros of polynomials with
                                  parametric coefficients  . . . . . . . . 12--15
           B. J. A. Hulshof and   
               J. A. van Hulzen   Some REDUCE Facilities for Pretty
                                  Printing Subscripts and Formal
                                  Derivatives  . . . . . . . . . . . . . . 16--20
        Hans-Guenther Kruse and   
                   Karin Ohlsen   About the Realization of an Extended,
                                  but Really Interactive REDUCE by
                                  Integration of a Small Editing and
                                  Executing System . . . . . . . . . . . . 21--25
                  Jed Marti and   
                     John Fitch   REDUCE 2 for CP/M  . . . . . . . . . . . 26--27, 37
           Arthur C. Norman and   
                   Paul S. Wang   A comparison of the Vaxima and Reduce
                                  factorization packages . . . . . . . . . 28--30
               P. D. Pearce and   
                    R. J. Hicks   Data structures and execution times of
                                  Algebraic mode programs for REDUCE . . . 31--37
                  Fritz Schwarz   A REDUCE Package for Series Analysis by
                                  Hadamard's Theorem and QD Schemes  . . . 38--44

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 17, Number 2, May, 1983

             James H. Davenport   Chairman's column  . . . . . . . . . . . 1--5
                    G. Belovari   Complex analysis in symbolic computing
                                  of some definite integrals . . . . . . . 6--11
                    T. G. Berry   On Coates algorithm  . . . . . . . . . . 12--17
             Jacques Calmet and   
                      Ian Cohen   Synthesizing recurrence relations. I.
                                  Analysis of the problems . . . . . . . . 18--25
                   Dongyue Chen   Symbol manipulation and formula
                                  manipulation . . . . . . . . . . . . . . 26--27
                   Chen Dongyue   Symbol manipulation and formula
                                  manipulation . . . . . . . . . . . . . . 26--27
                    G. L. Ebert   Some comments on the modular approach to
                                  Gröbner-bases . . . . . . . . . . . . . . 28--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 17, Number 3--4, August / November, 1983

            Andrzej Krasi\'nski   ORTOCARTAN: a program for algebraic
                                  calculations in general relativity . . . 12--18
                Mark E. Stickel   A note on leftmost innermost term
                                  reduction  . . . . . . . . . . . . . . . 19--20
                 F. Winkler and   
                  B. Buchberger   A criterion for eliminating unnecessary
                                  reductions in the Knuth-Bendix algorithm
                                  (Abstract) . . . . . . . . . . . . . . . 20--20
                 Paul Smith and   
                  Leon Sterling   Of integration by man and machine  . . . 21--24
             Michael Wester and   
               Stanly Steinberg   An extension to MACSYMA's concept of
                                  functional differentiation . . . . . . . 25--30
                 Bruce Char and   
               Keith Geddes and   
                  Gaston Gonnet   The Maple symbolic computation system    31--42
              Salim S. Abi-Ezzi   Clarifications to the symbolic mode in
                                  REDUCE . . . . . . . . . . . . . . . . . 43--47
           Gaston H. Gonnet and   
              Bruce W. Char and   
                Keith O. Geddes   Solution of a general system of
                                  equations (problem)  . . . . . . . . . . 48--49


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 18, Number 1, February, 1984

            S. Kamal Abdali and   
               Bruno Buchberger   Abstracts  . . . . . . . . . . . . . . . 2--7
              Patrick C. McGeer   A discussion and implementation of
                                  Brown's REX simplification algorithm . . 10--19
                    C. J. Smith   Implementation of a package of tools for
                                  manipulation of sums . . . . . . . . . . 20--24
        Clifton Williamson, Jr.   Taylor series solutions of explicit
                                  ODE's in a strongly typed algebra system 25--29
                      Ken Rimey   Problem section (rotating fluids): a
                                  system of polynomial equations and a
                                  solution by an unusual method  . . . . . 30--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 18, Number 2, May, 1984

             Gérard Huet   The future of symbolic computation:
                                  mathematics versus languages . . . . . . 2--5
                 Richard Zippel   The future of computer algebra . . . . . 6--7
                  H. Zassenhaus   Position statement for EUROCAL 85: the
                                  efficiency of mathematical models  . . . 8--9
             Richard J. Fateman   My view of the future of symbolic and
                                  algebraic computation  . . . . . . . . . 10--11
         Regina Llopis de Trias   A new generation of symbolic and
                                  algebraic computation systems  . . . . . 12--14
             R. Llopis de Trias   A new generation of symbolic and
                                  algebraic computation systems  . . . . . 12--14
            Ferdinando Mora and   
               Lorenzo Robbiano   The interplay between commutative
                                  algebra and computer algebra . . . . . . 15--15
               Arjen K. Lenstra   Factorization of polynomials . . . . . . 16--18
                  J. Nievergelt   Computing with geometric objects . . . . 19, 18
                James Davenport   Integration in finite terms  . . . . . . 20--21
                      W. Trinks   Comments from number theory on computer
                                  algebra  . . . . . . . . . . . . . . . . 22--23
            E. V. Krishnamurthy   Functional programming with combinators
                                  for symbolic computation . . . . . . . . 24--24
                Horst G. Zimmer   Algorithms in algebraic number theory    25--26
                 Wolfgang Bibel   Logic and algebraic computation  . . . . 26--26
               J. A. van Hulzen   The symbolic-numeric interface . . . . . 27--28
           Alexandru T. Balaban   Numerical and non-numerical methods in
                                  chemistry: present and future  . . . . . 29--30
                     N. K. Bose   Symbolic and algebraic computations in
                                  multidimensional systems theory  . . . . 31--32
                     T. Legendi   Cellular hardware and symbolic
                                  computation  . . . . . . . . . . . . . . 33--33
            Heinz Lüneburg   Write a book!  . . . . . . . . . . . . . 34--34

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 18, Number 3, August, 1984

               Carolyn J. Smith   Procedures for polynomial and rational
                                  function recognition . . . . . . . . . . 2--4
                 R. Gebauer and   
                      H. Kredel   Note on ``solution of a general system
                                  of equations'' . . . . . . . . . . . . . 5--6
                      W. Trinks   On improving approximate results of
                                  Buchberger's algorithm by Newton's
                                  method . . . . . . . . . . . . . . . . . 7--11
                  A. P. Kryukov   An Antitranslator of the RLISP Language  12--15
                A. Ya. Rodionov   Work with non-commutative variables in
                                  the Reduce-2 system for analytical
                                  calculations . . . . . . . . . . . . . . 16--19
              Daniel Zwillinger   Completing the $L$-th power in $Z[x]$    20--22
                  Franz Winkler   The Church--Rosser property in computer
                                  algebra and special theorem proving: an
                                  investigation of
                                  critical-pair/completion algorithms
                                  (Ph.D. thesis) . . . . . . . . . . . . . 22--22
                     W. Lassner   Report on a national computer algebra
                                  workshop in Leipzig  . . . . . . . . . . 22--23
                  David S. Wise   Representing matrices as quadtrees for
                                  parallel processors: extended abstract   24--25
                S. Kamal Abdali   Abstracts of computer algebra papers
                                  from 1984 national meeting of American
                                  Chemical Society . . . . . . . . . . . . 26--30
            Tuncer I. Ören   A forum for the synergy of ACM special
                                  interest groups  . . . . . . . . . . . . 31--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 18, Number 4, November / February, 1984

                      Anonymous   Papers from Symbolic Mathematical
                                  Systems and Their Effects on the
                                  Curriculum --- International Congress on
                                  Mathematical Education . . . . . . . . . 1--62


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 18--19, Number 4--1, November / February, 1984

            K. Aspetsberger and   
                        G. Funk   Experiments with MuMath in Austrian high
                                  schools  . . . . . . . . . . . . . . . . 4--7
                  B. Buchberger   CAMP: a teaching project in symbolic
                                  computation at the University of Linz    8--9
                 Jacques Calmet   Introducing computer algebra to users
                                  and to students  . . . . . . . . . . . . 10--14
             John J. Cannon and   
                 Jim Richardson   Cayley: teaching group theory by
                                  computer . . . . . . . . . . . . . . . . 15--18
                John Hosack and   
               Kenneth Lane and   
                   Donald Small   Report on the use of a symbolic
                                  mathematics system in undergraduate
                                  instruction  . . . . . . . . . . . . . . 19--22
               F. Lichtenberger   Self-explanatory symbolic computation
                                  for math education . . . . . . . . . . . 23--24
                Pertti Lounesto   A computer-aided vector algebra system
                                  for use in high schools  . . . . . . . . 25--25
                  Alfonso Miola   Complexity issues in algebraic
                                  algorithms: relevant topics for
                                  mathematical education . . . . . . . . . 26--30
            Alexander Ollongren   Classroom experience with interactive
                                  formula manipulation . . . . . . . . . . 31--37
                   P. D. Pearce   The introduction of a computer-based
                                  tool for solving mathematical problems
                                  analytically to an undergraduate course  38--39
            David R. Stoutemyer   A radical proposal for computer algebra
                                  in education . . . . . . . . . . . . . . 40--53
                   H. G. Zimmer   Congruent numbers --- from elementary to
                                  algebraic number theory  . . . . . . . . 54--62


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 19, Number 2, May, 1985

                 R. Gebauer and   
                      H. Kredel   Real Solution System for Algebraic
                                  Equations. An algorithm system for
                                  constructing finite inclusions of zero
                                  sets of algebraic equations  . . . . . . 2--2
                  Kevin McIsaac   Pattern matching algebraic identities    4--13
                 Gregory Butler   An improvement to the centralizer
                                  algorithm for permutation groups . . . . 14--18
              Jeffrey P. Golden   Differentiation of unknown functions in
                                  Macsyma  . . . . . . . . . . . . . . . . 19--24
             Richard J. Fateman   Eleven proofs of $\sin^2 x + \cos^2 x =
                                  1$ . . . . . . . . . . . . . . . . . . . 25--28
            Giuseppe Mazzarella   Improved simplification of odd and even
                                  functions in REDUCE  . . . . . . . . . . 29--30
               J. A. Abbott and   
             R. J. Bradford and   
                J. H. Davenport   A remark on factorisation  . . . . . . . 31--33, 37
              A. P. Kryukov and   
                A. Ya. Rodionov   Dynamic-debugging system for the REDUCE
                                  programs . . . . . . . . . . . . . . . . 34--37

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 19, Number 3, August, 1985

             Richard J. Fateman   Comments on SMP  . . . . . . . . . . . . 5--7
               Jed B. Marti and   
               Anthony C. Hearn   REDUCE as a Lisp benchmark . . . . . . . 8--16
                   Wm Leler and   
                   Neil Soiffer   An interactive graphical interface for
                                  Reduce . . . . . . . . . . . . . . . . . 17--23
               Barbara L. Gates   GENTRAN: An automatic code generation
                                  facility for REDUCE  . . . . . . . . . . 24--42
              A. P. Kryukov and   
                 A. Ya. Rodinov   Interactive REDUCE . . . . . . . . . . . 43--45
                H. Caprasse and   
                        M. Hans   A new use of operators in the algebraic
                                  mode of REDUCE . . . . . . . . . . . . . 46--52


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 20, Number 1--2, February / May, 1986

             Pim van den Heuvel   Adding statements to REDUCE  . . . . . . 8--14
                J. H. Davenport   A ``Piano Movers'' Problem . . . . . . . 15--17
                    H. Caprasse   A complete simplification package for
                                  the absolute value function in the real
                                  domain . . . . . . . . . . . . . . . . . 18--21
                      B. Gleyse   Symbolic computation and number of zeros
                                  of a real parameter polynomial in the
                                  unit disk  . . . . . . . . . . . . . . . 22--28
                       K. Namba   Some improvements on Utah standard LISP  29--36

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 20, Number 3, September, 1986

                Dieter W. Ebner   GOEDEL: A computer language for symbolic
                                  algebraic calculations --- an
                                  introduction by examples . . . . . . . . 16--19

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 20, Number 4, December, 1986

                    H. Caprasse   Description of an extension of the
                                  Matrix package of ``Reduce'' . . . . . . 7--10
                  Lars Langemyr   Converting SAC-2 code to Lisp  . . . . . 11--13


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 21, Number 1, February, 1987

             Jacques Calmet and   
                   Denis Lugiez   A knowledge-based system for computer
                                  algebra  . . . . . . . . . . . . . . . . 7--13
          P. van den Heuvel and   
           B. J. A. Hulshof and   
               J. A. van Hulzen   Some simple pretty-print facilities for
                                  REDUCE . . . . . . . . . . . . . . . . . 14--17

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 21, Number 2, February, 1987

          Gilles Labonté   Report on a program for solving
                                  polynomial equations in non-commuting
                                  variables  . . . . . . . . . . . . . . . 4--7
                  P. Gianni and   
                   A. Miola and   
                        T. Mora   Symbolic and algebraic computation
                                  research in Italy  . . . . . . . . . . . 8--15
            Volker Weispfenning   Admissible orders and linear forms . . . 16--18
                      Alan Katz   Issues in defining an equations
                                  representation standard  . . . . . . . . 19--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 21, Number 3, August, 1987

                  Erwin Engeler   Goals and design considerations for a
                                  mathematical laboratory  . . . . . . . . 7--8
                   John W. Gray   The symbolic computation laboratory at
                                  UIUC . . . . . . . . . . . . . . . . . . 9--11
                Roman E. Maeder   A collection of projects for the
                                  mathematical laboratory  . . . . . . . . 12--94
                   R. E. Maeder   Solving boundary-value problems with
                                  perturbations  . . . . . . . . . . . . . 16--18
                      D. Binger   Burnside's theorem . . . . . . . . . . . 19--23
                     R. Peikert   Formal power series  . . . . . . . . . . 24--32
                   O. Knill and   
               R. E. Mäder   The rotation group of Rubik's cube . . . 33--43
                  F. S. Wheeler   Bell polynomials . . . . . . . . . . . . 44--53
                      D. Binger   Optimization on networks . . . . . . . . 54--60
                     R. Peikert   Automated theorem proving: the
                                  resolution method  . . . . . . . . . . . 61--68
                W. Küchlin   Public key encryption  . . . . . . . . . 69--73

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 21, Number 4, November, 1987

             Richard J. Fateman   \TeX output from MACSYMA-like systems    1--5
               Deepak Kapur and   
              Paliath Narendran   Matching, unification and complexity . . 6--9
                 Carl D. Ponder   Applications of hashing in algebraic
                                  manipulation (an annotated bibliography) 10--13
                   S. Moritsugu   On the power series solution of a system
                                  of algebraic equations . . . . . . . . . 14--23
          Alkiviadis G. Akritas   A note on a paper by M. Mignotte . . . . 23--23
               Maurice Mignotte   Inequalities about factors of integer
                                  polynomials  . . . . . . . . . . . . . . 24--24
                Dennis S. Arnon   Report of the workshop on environments
                                  for computational mathematics  . . . . . 42--48


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 22, Number 1, January, 1988

             Birger Nielsen and   
               Hendrik Pedersen   A note on Einstein metrics --- a simple
                                  application of a symbolic algebra system 7--11
                    Aarno Hohti   Computational algebra with APL . . . . . 12--20
                 Terry Flaherty   Symbolic manipulation in an extended
                                  $\lambda$-calculus . . . . . . . . . . . 21--24
             Graham H. Campbell   Symbolic integration of expressions
                                  involving unspecified functions  . . . . 25--27
                   Heinz Kredel   Admissible term orderings used in
                                  computer algebra systems . . . . . . . . 28--31
                       A. Miola   Report on previous activities at AAECC   32--43

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 22, Number 2, April, 1988

               Gaston H. Gonnet   Examples of Maple applied to problems
                                  from the American Mathematical Monthly   8--16
  G. M. Piacentini Cattaneo and   
                   M. Pittaluga   Nonassociative polynomial identities,
                                  Young tableaux and computers . . . . . . 17--26
            Richard Fateman and   
                 Alan Bundy and   
            Richard O'Keefe and   
                  Leon Sterling   Commentary on: solving symbolic
                                  equations with PRESS . . . . . . . . . . 27--40
              Brent Gregory and   
                 Erich Kaltofen   Analysis of the binary complexity of
                                  asymptotically fast algorithms for
                                  linear system solving  . . . . . . . . . 41--49
              R. M. Corless and   
                  D. J. Jeffrey   A comparison of three computer algebra
                                  systems for the solution of a problem in
                                  hydrodynamic lubrication . . . . . . . . 50--62

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 22, Number 3, July, 1988

                 Carl G. Ponder   Parallelism and algorithms for algebraic
                                  manipulation: current work . . . . . . . 7--14
                 Carl G. Ponder   Parallel processors and systems for
                                  algebraic manipulation: current work . . 15--21
         Eberhard Schrüfer   A comment on ``A note on Einstein
                                  metrics''  . . . . . . . . . . . . . . . 22--26

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 22, Number 4, October, 1988

                A. Ronveaux and   
                       G. Thiry   Polynomial solution of recurrence
                                  relation and differential equation . . . 9--19


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 23, Number 1, January, 1989

          Shuichi Moritsugu and   
                    Eiichi Goto   A note on the preconditioning for
                                  factorization of homogeneous polynomials 9--12
                T. F. Havel and   
               B. Sturmfels and   
                       N. White   Proposal for a geometric algebra
                                  software package . . . . . . . . . . . . 13--15
            Jean-Louis Roch and   
          Pascale Senechaud and   
Françoise Siebert-Roch and   
                 Gilles Villard   Computer algebra on MIMD machine . . . . 16--32
                    M. Clarkson   MACSYMA's inverse Laplace transform  . . 33--38
               K. T. Rowney and   
                R. D. Silverman   Finite field manipulations in Macsyma    39--48

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 23, Number 2, April, 1989

              R. J. Fateman and   
                   C. G. Ponder   Speed and data structures in computer
                                  algebra systems  . . . . . . . . . . . . 8--11
                 J. C. Piquette   Special function integration . . . . . . 11--21
        Malcolm A. H. MacCallum   Comments on the performance of algebra
                                  systems in general relativity and a
                                  recent paper by Nielsen and Pedersen . . 22--25
           Werner Antweiler and   
          Andreas Strotmann and   
              Volker Winkelmann   A \TeX-REDUCE Interface  . . . . . . . . 26--33
                      W. Y. Sit   Some comments on term-ordering in Gröbner
                                  basis computations . . . . . . . . . . . 34--38

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 23, Number 3, July, 1989

          Shuichi Moritsugu and   
               Makoto Matsumoto   A note on the numerical evaluation of
                                  arctangent function  . . . . . . . . . . 8--12
                  M. P. Barnett   Using partial fraction formulas to sum
                                  some slowly convergent series
                                  analytically for molecular integral
                                  calculations . . . . . . . . . . . . . . 13--18
                W. C. Schou and   
                 K. A. Broughan   The Risch algorithms of MACSYMA and
                                  SENAC  . . . . . . . . . . . . . . . . . 19--22

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 23, Number 4, October, 1989

                        B. Wall   On the computation of syzygies . . . . . 5--14
                V. A. Ilyin and   
              A. P. Kryukov and   
           A. Ya. Rodioniov and   
                 A. Yu. Taranov   Fast algorithm for calculation of
                                  Dirac's gamma-matrices traces  . . . . . 15--24
                        D. Wang   A program for computing the Liapunov
                                  functions and Liapunov constants in
                                  Scratchpad II  . . . . . . . . . . . . . 25--31


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 24, Number 1, January, 1990

               Bruno Buchberger   Should Students Learn Integration Rules? 10--17
                  Bruce W. Char   Report on the 7th Annual Maple Workshop  18--18

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 24, Number 2, April, 1990

              Ronald E. Prather   The Relation of Lorenzen Calculus to
                                  Formal Language Theory . . . . . . . . . 9--18
             Richard J. Fateman   A Lisp-Language Mathematica-to-Lisp
                                  Translator . . . . . . . . . . . . . . . 19--21
                      Ken Weber   An Experiment in High-precision
                                  Arithmetic on Shared Memory
                                  Multiprocessors  . . . . . . . . . . . . 22--40

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 24, Number 3, July, 1990

               Pasqualina Conti   Hermite Canonical Form and Smith
                                  Canonical Form of a Matrix over a
                                  Principal Ideal Domain . . . . . . . . . 8--16
                 Juan R. Sendra   Hankel Matrices and Computer Algebra . . 17--26

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 24, Number 4, October, 1990

              Jean C. Pigquette   Table of special function integrals  . . 8--21
               Jean C. Piquette   Table of Special Function Integrals  . . 8--21
           R. P. dos Santos and   
                    W. L. Roque   On the Design of an Expert Help System
                                  for Computer Algebra Systems . . . . . . 22--25
                Vilmar Trevisan   Recognition of Hurwitz Polynomials . . . 26--32
                  V. Baladi and   
               J. P. Guillement   A Program for Computing Puiseux
                                  expansions . . . . . . . . . . . . . . . 33--41
               J. P. Dedieu and   
                      G. Norton   Stewart Varieties: A Direct Algebraic
                                  Model for Stewart Platforms  . . . . . . 42--59


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 25, Number 1, January, 1991

                  Fritz Schwarz   Monomial Orderings and Gröbner Bases  . . 10--23
                  Bruce W. Char   Report on the 8th Annual Maple Workshop  24--24
                      Anonymous   Proceedings of the Third CAYLEY Users
                                  Conference, November 17--19, 1988,
                                  Universität Essen . . . . . . . . . . . . 25--81
                 Kris Dockx and   
                     Paul Igodt   Character tables and commutativity of
                                  normal subgroups . . . . . . . . . . . . 28--31
                   S. P. Glasby   Extensions of groups defined by
                                  power-commutator presentations . . . . . 32--35
               Holger W. Gollan   The $2$-modular representation of $J_1$
                                  in the principal block . . . . . . . . . 36--39
                  Gerhard Grams   Special generators and relations for
                                  some orthogonal and symplectic groups
                                  over GF(2) . . . . . . . . . . . . . . . 39--45
               A. R. Jamali and   
                E. F. Robertson   A library of simple groups:
                                  permutations, presentations, conjugacy
                                  classes, maximal subgroups and Sylow
                                  subgroups  . . . . . . . . . . . . . . . 46--49
               M. F. Newman and   
                  E. A. O'Brien   The Wielandt length of some $3$-groups   50--51
                  E. A. O'Brien   Providing electronic access to group
                                  descriptions . . . . . . . . . . . . . . 52--56
                Gordon F. Royle   Constructing the vertex-transitive
                                  graphs on 24 vertices  . . . . . . . . . 56--59
                Robert Sandling   A group ring package for Cayley  . . . . 60--64
        Gerhard J. A. Schneider   Representation theory in CAYLEY: tools
                                  and algorithms . . . . . . . . . . . . . 64--70
            Michael C. Slattery   Character degrees of $p$-groups: a case
                                  study  . . . . . . . . . . . . . . . . . 71--74
                    John Cannon   A bibliography of Cayley citations . . . 75--81

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 25, Number 2, April, 1991

                    Bruno Salvy   Examples of automatic asymptotic
                                  expansions . . . . . . . . . . . . . . . 4--17
               Gerhard Jank and   
                   Lutz H. Tack   Conformal mapping using Bergman's method
                                  and the Maple system . . . . . . . . . . 18--23
           S. Alasdair Buchanan   Some Theoretical Problems When Solving
                                  Systems of Polynomial Equations Using
                                  Gröbner Bases . . . . . . . . . . . . . . 24--27
             Michael P. Barnett   Some Simple Ways to Construct and to Use
                                  Formulas Mechanically  . . . . . . . . . 28--36

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 25, Number 3, July, 1991

               Doron Zeilberger   A Maple program for proving
                                  hypergeometric identities  . . . . . . . 4--13
              Gert Almkvist and   
               Doron Zeilberger   A Maple program that finds, and proves,
                                  recurrences and differential equations
                                  satisfied by hyperexponential definite
                                  integrals  . . . . . . . . . . . . . . . 14--17
                  Dongming Wang   A toolkit for manipulating indefinite
                                  summations with application to neural
                                  networks . . . . . . . . . . . . . . . . 18--27
             K. A. Broughan and   
                   G. Keady and   
                 T. D. Robb and   
           M. G. Richardson and   
                    M. C. Dewar   Some Symbolic Computing Links to the NAG
                                  Numeric Library  . . . . . . . . . . . . 28--37
                      Anonymous   Symbolic computation research in Italy   38--48

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 25, Number 4, October, 1991

         Richard J. Fateman and   
                   Derek T. Lai   A Simple Display Package for Polynomials
                                  and Rational Functions in Common Lisp    1--3
                     Tak W. Yan   A Rational Function Arithmetic and
                                  Simplification System in Common Lisp . . 4--6
                Greg Bulter and   
                Sridhar S. Iyer   Towards a deductive database for small
                                  simple groups  . . . . . . . . . . . . . 7--17
                  G. Butler and   
                     S. S. Iyer   Towards a Deductive Database for Small
                                  Simple Groups  . . . . . . . . . . . . . 7--17
               Alyson A. Reeves   The Worst Order Is Not Always the
                                  Lexicographic Order  . . . . . . . . . . 18--19
                Julio Rubio and   
             Francis Sergeraert   A Program Computing the Homology Groups
                                  of Loop Spaces . . . . . . . . . . . . . 20--24


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 26, Number 1, January, 1992

                         Wei Li   Nonexistence of Degree Bounds of Various
                                  Bases for Ideals of Polynomials Over the
                                  Integers . . . . . . . . . . . . . . . . 4--9
            Manfred Hollenhorst   The Design of Digital Filters Using
                                  REDUCE . . . . . . . . . . . . . . . . . 10--12
                   A. A. Reeves   Erratum: ``The Worst Order Is Not Always
                                  The Lexicographic Order''  . . . . . . . 13--13

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 26, Number 2, April, 1992

                    Greg Butler   An analysis of Atkinson's algorithms . . 1--9
            S. Kamal Abdali and   
              Guy W. Cherry and   
                   Neil Soiffer   Spreadsheet computations in computer
                                  algebra  . . . . . . . . . . . . . . . . 10--18
                  T. Sasaki and   
                      M. Sasaki   On integer-to-rational conversion
                                  algorithm  . . . . . . . . . . . . . . . 19--21
         Joachim von zur Gathen   A polynomial factorization challenge . . 22--24

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 26, Number 3, August, 1992

          Robert M. Corless and   
               David J. Jeffrey   Well \ldots It Isn't Quite That Simple   2--6
                Blair F. Madore   Report on the 10th Annual Maple Retreat,
                                  June 13--17, 1992  . . . . . . . . . . . 7--8
              Jean-Michel Nataf   Algorithm of simplification of nonlinear
                                  equations systems  . . . . . . . . . . . 9--16
            M. Kolár and   
                      T. Sasaki   Multivariate Quotient by Power-series
                                  Division . . . . . . . . . . . . . . . . 17--20
             Andrew H. Gleibman   SAMPLE: New Programming Technology and
                                  AI Language  . . . . . . . . . . . . . . 21--29

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 26, Number 4, November, 1992

                  Hoon Hong and   
             Wolfgang Schreiner   Programming in PACLIB  . . . . . . . . . 1--6
                     B. Lacolle   Spinor analysis and symbolic computation
                                  of partition functions . . . . . . . . . 7--14
       Diane M. Koorey Willcock   Tlisp: A Concurrent Lisp for the
                                  Transputers  . . . . . . . . . . . . . . 15--23


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 27, Number 1, January, 1993

         Ivan I. Shevchenko and   
            Nikolay N. Vasiliev   Algorithms of Numeric Deduction of
                                  Analytical Expressions . . . . . . . . . 1--3
            Jeffrey Shallit and   
              Jonathan Sorenson   A binary algorithm for the Jacobi symbol 4--11
                 Antonio Montes   Numerical Conditioning of a System of
                                  Algebraic Equations with a Finite Number
                                  of Solutions Using Gröbner Bases  . . . . 12--19
                  Wolfram Koepf   Examples for the Algorithmic Calculation
                                  of Formal Puisieux, Laurent and Power
                                  Series . . . . . . . . . . . . . . . . . 20--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 27, Number 2, April, 1993

                    Bruno Salvy   Efficient programming in Maple: a case
                                  study  . . . . . . . . . . . . . . . . . 1--12
             Michael B. Monagan   von zur Gathen's Factorization Challenge 13--18
     Albrecht Beutelspacher and   
             Johannes Ueberberg   Symbolic Incidence Geometry: Proposal
                                  for Doing Geometry with a Computer (Part
                                  1 of 2)  . . . . . . . . . . . . . . . . 19--29

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 27, Number 3, September, 1993

                 Erich Kaltofen   Message from the Chair . . . . . . . . . 1
                 Gene Cooperman   Letter from the Information Director . . 3
                   Susan Landau   Finding Maximal Subfields  . . . . . . . 4--8
     Albrecht Beutelspacher and   
             Johannes Ueberberg   Symbolic Incidence Geometry: Proposal
                                  for Doing Geometry with a Computer (Part
                                  2 of 2)  . . . . . . . . . . . . . . . . 9--24
                      Anonymous   SymbMath 2.2: A Symbolic Calculator with
                                  Learning . . . . . . . . . . . . . . . . 25

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 27, Number 4, December, 1993

                 Erich Kaltofen   Direct Proof of a Theorem by Kalkbrener,
                                  Sweedler, and Taylor . . . . . . . . . . 2--2
             Manfred Göbel   Using Buchberger's algorithm in
                                  invariant theory . . . . . . . . . . . . 3--9
                 Henry G. Baker   Sparse Polynomials and Linear Logic  . . 10--14
              Robert M. Corless   What is a solution of an ODE?  . . . . . 15--19


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 28, Number 1, March, 1994

              André Heck   Report on the HISC workshop  . . . . . . 2--8
                  Fritz Schwarz   Efficient factorization of linear ODE's  9--17
             Norbert Kajler and   
                   Neil Soiffer   Some human interaction issues in
                                  computer algebra . . . . . . . . . . . . 18--28

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 28, Number 2, August, 1994

                  D. Gruntz and   
                     M. Monagan   Introduction to Gauss  . . . . . . . . . 3--19
                Zhuojun Liu and   
                   Paul S. Wang   Height as a coefficient bound for
                                  univariate polynomial factors (Part I)   20--27

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 28, Number 3--4, December, 1994

                Zhuojun Liu and   
                   Paul S. Wang   Height as a coefficient bound for
                                  univariate polynomial factors (Part II)  1--9
                  Wolfram Koepf   On families of iterated derivatives  . . 10--26


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 29, Number 1, January, 1995

             Antonio Montes and   
                   Jordi Castro   Solving the load flow problem using the
                                  Gröbner basis . . . . . . . . . . . . . . 1--13
                  Wolfram Koepf   REDUCE package for the indefinite and
                                  definite summation . . . . . . . . . . . 14--30

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 29, Number 2, April, 1995

                 Erich Kaltofen   Message from the Chair . . . . . . . . . 1--1
                Felix Ulmer and   
            Jacques-Arthur Weil   Note on Kovacic's Algorithm  . . . . . . 10--11
Pedro A. García-Sánchez   Gröbner and Involutive Bases for
                                  Zero-dimensional Ideals  . . . . . . . . 12--15

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 29, Number 2S (special issue), June, 1995

                Thomas Wolf and   
                  Andreas Brand   Investigating DEs with CRACK and Related
                                  Programs . . . . . . . . . . . . . . . . 1--8
                     Aldo Volpi   $p$-th Roots for Integers Modulo $p^n$
                                  and for $p$-Adic Integers  . . . . . . . 9--15
         Andrej G. Sokolsky and   
          Akmal A. Vakhidov and   
           Nickolay N. Vasiliev   Generating a New Recurrence Relations
                                  System for Elliptic Hansen Coefficients
                                  by Means of Computer Algebra . . . . . . 16--18
                      Anonymous   SAC '96: ACM Symposium on Applied
                                  Computing  . . . . . . . . . . . . . . . 19--20
                      Anonymous   ECCAD '95  . . . . . . . . . . . . . . . 21--28

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 29, Number 3--4, December, 1995

                Robert Grossman   Message from the Editor  . . . . . . . . 1--1
                   Liwei Li and   
                   Paul S. Wang   The CL--PVM package  . . . . . . . . . . 2--8
                Robert Grossman   1st International IMACS Conference on
                                  Applications of Computer Algebra . . . . 9--12
                      Anonymous   Abstracts of Closing Sessions of the
                                  Special Year in Computational
                                  Differential Algebra and Algebraic
                                  Geometry . . . . . . . . . . . . . . . . 13--18
                      Anonymous   ISSAC '96: International Symposium on
                                  Symbolic and Algebraic Computation . . . 19--19
                      Anonymous   Maple in the Mathematical Sciences . . . 20--20
                      Anonymous   ECCAD '96: East Coast Computer Algebra
                                  Day  . . . . . . . . . . . . . . . . . . 21--21


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 30, Number 1, March, 1996

                     S. M. Watt   Message from the Chair . . . . . . . . . 1--1
                  R. M. Corless   Message from the Editor  . . . . . . . . 2--3
              Takahiro Sado and   
         Tomohiro Halaikawa and   
                 Tateaki Sasaki   Pseudo-Parallel Execution of Modular
                                  Computation  . . . . . . . . . . . . . . 4--8
              Laurent Bernardin   A Review of Symbolic Solvers . . . . . . 9--20
                John Abbott and   
          Angel Díaz and   
                Robert S. Sutor   A report on OpenMath. A protocol for the
                                  exchange of mathematical information . . 21--24
         Richard J. Fateman and   
                    Mark Hayden   Speeding Up Lisp-Based Symbolic
                                  Mathematics  . . . . . . . . . . . . . . 25--30
                    E. Kaltofen   ISSAC Steering Committee Bylaws  . . . . 31--33
              Robert M. Corless   Cofactor Iteration . . . . . . . . . . . 34--38
                  S. Dooley and   
                        A. Lobo   ECCAD '96  . . . . . . . . . . . . . . . 39--49
                       M-T Noda   RIMS '94 . . . . . . . . . . . . . . . . 50--56
                  R. M. Corless   Abell and Braselton's \em Differential
                                  Equations with Maple V . . . . . . . . . 57--60
                        H. Hong   IMACS-ACA '96  . . . . . . . . . . . . . 61--61
                      I. Emiris   SNAP '96 . . . . . . . . . . . . . . . . 62--62
                     M. Monagan   MapleTech Special Issue  . . . . . . . . 63--63

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 30, Number 2, June, 1996

              Robert M. Corless   Message from the Editor  . . . . . . . . 1--1
           Jonathan Borwein and   
                  David Bradley   Searching symbolically for Apéry-like
                                  formulae for values of the Riemann zeta
                                  function . . . . . . . . . . . . . . . . 2--7
             Richard J. Fateman   Why computer algebra systems sometimes
                                  can't solve simple equations . . . . . . 8--11
                Helmer Aslaksen   Multiple-Valued Complex Functions and
                                  Computer Algebra . . . . . . . . . . . . 12--20
              Charles M. Patton   A Representation of Branch-Cut
                                  Information  . . . . . . . . . . . . . . 21--24
             Albert D. Rich and   
               David J. Jeffrey   Function evaluation on branch cuts . . . 25--27
          Robert M. Corless and   
               David J. Jeffrey   Editor's corner: The unwinding number    28--35
                Matu-Tarow Noda   Abstracts of Japanese computer algebra
                                  meeting in Kyoto . . . . . . . . . . . . 36--43
                     Bruce Char   First Announcement and Call for Papers:
                                  ISSAC '97: International Symposium on
                                  Symbolic and Algebraic Computation . . . 44--46
                      Hoon Hong   PASCO '97: Second International
                                  Symposium on Parallel Symbolic
                                  Computation  . . . . . . . . . . . . . . 47--48

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 30, Number 3, September, 1996

                Cetin Cetinkaya   Message from the Book Review Editor  . . 1--1
              Robert M. Corless   Message from the Editor  . . . . . . . . 1--1
                    Austin Lobo   Formal Review of Articles in the \sc
                                  Bulletin . . . . . . . . . . . . . . . . 2--3
              J. Della Dora and   
                        F. Jung   Resolvent and rational canonical forms
                                  of matrices  . . . . . . . . . . . . . . 4--10
                  Andreas Weber   Computing Radical Expressions for Roots
                                  of Unity . . . . . . . . . . . . . . . . 11--20
               I. Z. Emiris and   
                     A. Galligo   Bini and Pan's Polynomial and Matrix
                                  Computations . . . . . . . . . . . . . . 21--23
                    Chris Adami   Gaylord and Nishidate's Modelling Nature
                                  with Cellular Automata using Mathematica 24--25
                  Emil Volcheck   Technical Report Column: INRIA and
                                  RISC-Linz  . . . . . . . . . . . . . . . 26--28
                 Michael Wester   ACA '97  . . . . . . . . . . . . . . . . 29--29
                     Bruce Char   ISSAC '97  . . . . . . . . . . . . . . . 30--30
                      Hoon Hong   PASCO '97  . . . . . . . . . . . . . . . 31--31
            Hans J. Stetter and   
                Stephen M. Watt   JSC Special Issue CFP  . . . . . . . . . 32--32
                      Anonymous   Calendar . . . . . . . . . . . . . . . . ??

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 30, Number 4, December, 1996

                 Gene Cooperman   SIGSAM Business Meeting Minutes  . . . . 1--2
                 Gene Cooperman   ISSAC Business Meeting Minutes . . . . . 2--3
             Dinesh Manocha and   
               Shankar Krishnan   Solving algebraic systems using matrix
                                  computations . . . . . . . . . . . . . . 4--21
                Hans J. Stetter   Matrix eigenproblems are at the Heart of
                                  Polynomial System Solving  . . . . . . . 22--25
              Robert M. Corless   Editor's Corner: Gröbner bases and matrix
                                  eigenproblems  . . . . . . . . . . . . . 26--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 31, Number 1, March, 1997

                  R. M. Corless   Message from the Editor  . . . . . . . . 1--1
            Siamack Bondari and   
              Irvin Roy Hentzel   The McCrimmon Radical for Identities of
                                  Degree 3 . . . . . . . . . . . . . . . . 2--5
           S. I. Tertychniy and   
                 I. G. Obukhova   GRGEC: Computer Algebra System for
                                  Applications to Gravity Theory . . . . . 6--14
                  Olaf Bachmann   MPCR: An Efficient and Flexible Chains
                                  of Recurrences Server  . . . . . . . . . 15--21
                  G. J. Fee and   
                  M. B. Monagan   Problems, Puzzles, Challenges  . . . . . 22--23
                  Emil Volcheck   Technical Report Column: INRIA and
                                  RISC-Linz  . . . . . . . . . . . . . . . 24--25
                Cetin Cetinkaya   Book Reviews . . . . . . . . . . . . . . 26--26
                  D. Dane Quinn   Book Review: \em Topics in Nonlinear
                                  Dynamics with Computer Algebra, by
                                  Richard H. Rand, Gordon and Breach
                                  Scientific Publishers, 1994, ISBN
                                  2-8849-113-9 (hardcover), 2-8849-114-7
                                  (softcover)  . . . . . . . . . . . . . . 27--28
                     S. M. Watt   SIGSAM Executive Elections . . . . . . . 28--28
                   G. Cooperman   The Fourther East Coast Computer Algebra
                                  Day: A one day meeting to stimulate
                                  activity in Computer Algebra . . . . . . 29--29
              H. J. Stetter and   
                     S. M. Watt   Journal of Symbolic Computation Special
                                  Issue on Symbolic-Numeric Algebra for
                                  Polynomials  . . . . . . . . . . . . . . 30--30
              M. Kalkbrener and   
                        D. Wang   Journal of Symbolic Computation Special
                                  Issue on Polynomial Elimination:
                                  Algorithms and Applications  . . . . . . 31--31
                     W. Sit and   
                   M. Bronstein   Journal of Symbolic Computation Special
                                  Issue on Differential Equations and
                                  Differential Algebra . . . . . . . . . . 32--32
              M. J. Encarnacion   Call for Posters: ISSAC '97:
                                  International Symposium on Symbolic and
                                  Algebraic Computation  . . . . . . . . . 33--33

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 31, Number 2, June, 1997

                      A. Reeves   PetaFLOPS Workshop . . . . . . . . . . . 1--1
           Andreas Dolzmann and   
                   Thomas Sturm   REDLOG: Computer algebra meets computer
                                  logic  . . . . . . . . . . . . . . . . . 2--9
                Horst G. Zimmer   Three examples of $S$-integral points on
                                  Elliptic Curves over $Q$ . . . . . . . . 10--21
                  Emil Volcheck   Technical Report Column:
                                  INRIA-Rocquencourt, Research Institute
                                  for Symbolic Computation, University of
                                  Passau, Germany  . . . . . . . . . . . . 22--31
                    Tomas Recio   A Course on Computer Algebra
                                  Applications . . . . . . . . . . . . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 31, Number 3, September, 1997

              Robert M. Corless   Message from the Editor  . . . . . . . . 1--1
                Stephen M. Watt   Message from the Past Chair  . . . . . . 2--2
                     Bruce Char   SIGSAM Chair's message . . . . . . . . . 2--3
                    Austin Lobo   Computer Linear Algebra  . . . . . . . . 3--3
             Tateaki Sasaki and   
                 Mutsuko Sasaki   Polynomial Remainder Sequence and
                                  Approximate GCD  . . . . . . . . . . . . 4--10
            George C. Nakos and   
            Peter R. Turner and   
             Robert M. Williams   Fraction-Free Algorithms for Linear and
                                  Polynomial Equations . . . . . . . . . . 11--19
              R. M. Corless and   
                  D. J. Jeffrey   The Turing Factorization of a
                                  Rectangular Matrix . . . . . . . . . . . 20--28
                Bogdan A. Popov   A System for Function Approximation
                                  Properties Investigation . . . . . . . . 29--30
       M. J. Encarnación   ISSAC '97 Poster Abstracts . . . . . . . 29--61
                 Fujio Kako and   
                 Tateaki Sasaki   Proposal of ``effective floating-point
                                  number'' for approximate algebraic
                                  computation  . . . . . . . . . . . . . . 31--31
             Tateaki Sasaki and   
           Kousuke Shiihara and   
                Akira Terui and   
               Yuichi Ozaki and   
                     Fujio Kako   Approximate Algebraic Computation:
                                  Practice and Problems  . . . . . . . . . 32--32
                 Scott McCallum   Factors of Iterated Resultants and
                                  Discriminants  . . . . . . . . . . . . . 33--34
              Valerie Piehl and   
          Jonathan Sorenson and   
                  Neil Tiedeman   Genetic Algorithms for the Extended GCD
                                  Problem (work in progress) . . . . . . . 34--35
              Michio Sakakihara   Iterative Blow-up Time Approximation for
                                  Initial Value Problems . . . . . . . . . 36--36
          Michio Sakakihara and   
             Shigekazu Nakagawa   Symbolic Newton Method for Two-Parameter
                                  Eigenvalue Problem . . . . . . . . . . . 36--36
                Hiroshi Kai and   
                Matu-Tarow Noda   Cauchy Principal Value Integral Using
                                  Hybrid Integral  . . . . . . . . . . . . 37--38
             Arnold Knopfmacher   Distinct Degree Factorizations for
                                  Polynomials over a Finite Field  . . . . 38--39
            Mark Giesbrecht and   
                Austin Lobo and   
                 David Saunders   Certifying Inconsistency of Sparse
                                  Linear Systems . . . . . . . . . . . . . 40--40
            Mark Giesbrecht and   
                 David Saunders   Parametric Linear Systems: The
                                  Two-Parameter Case . . . . . . . . . . . 40--40
                    Yosuke Sato   Set Constraint Solver --- Gröbner Bases
                                  for Non-numerical Domains  . . . . . . . 41--42
                 Kenny Hunt and   
                   James Cremer   Refiner: A Problem Solving Environment
                                  for ODE/DAE Simulations  . . . . . . . . 42--43
          Vladimir P. Gerdt and   
                Yuri A. Blinkov   Minimal Involutive Bases . . . . . . . . 44--44
                   Neil Soiffer   MathML: A Proposal for Representing
                                  Mathematics in HTML  . . . . . . . . . . 44--45
                Andreas Sorgatz   Dynamic Modules: Software Integration in
                                  MuPAD  . . . . . . . . . . . . . . . . . 45--47
          Christian Heckler and   
               Oliver Kluge and   
            Torsten Metzner and   
            Andreas Sorgatz and   
                Paul Zimmermann   Parallelism in MuPAD . . . . . . . . . . 48--48
               G.-M. Greuel and   
                 G. Pfister and   
             H. Schönemann   Singular 1.0: A Computer Algebra System
                                  for Singularity Theory, Algebraic
                                  Geometry and Commutative Algebra . . . . 48--50
              Olaf Bachmann and   
                     Simon Gray   A Demonstration of Exchanging
                                  Mathematical Expressions using MP  . . . 50--50
            Matu-Tarow Noda and   
                Isao Makino and   
                 Toshiaki Saito   Algebraic Methods for Computing a
                                  Generalized Inverse  . . . . . . . . . . 51--52
               Heinz Kredel and   
                  Michael Pesch   MAS, the Modula-2 Algebra System,
                                  Version 1.00 . . . . . . . . . . . . . . 52--54
              Markus Maurer and   
             Thomas Pfahler and   
                 Susanne Wetzel   LiDIA --- A Library for Computational
                                  Number Theory  . . . . . . . . . . . . . 54--57
                 Bruce Char and   
                 Tom Hewett and   
             Jeremy Johnson and   
            Lakshman Yagati and   
                Ron Perline and   
            Raji Venkatesan and   
              Hoi Man Chang and   
             Michael Miller and   
                   Clint Hepner   Symbolic Computation Tools in Scientific
                                  Problem Solving Environments . . . . . . 58--58
           V. A. Mitrofanov and   
                     E. V. Zima   Standalone MCR-Based Numerical Engine    59--60
                 Kohshi Okumura   An Application of Gröbner Bases to the
                                  Classification of Nonlinear Circuits . . 61--61
            Volker Weispfenning   ISSAC '98 Rostock  . . . . . . . . . . . 62--63
                  Franz Winkler   33 Years of Gröbner Bases . . . . . . . . 64--64

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 31, Number 4, December, 1997

                       M. Trott   Mathematica solutions to the ISSAC
                                  system challenge 1997  . . . . . . . . . 2--35
          Philippe Flajolet and   
                    Bruno Salvy   The SIGSAM challenges: symbolic
                                  asymptotics in practice  . . . . . . . . 36--47
                  G. J. Fee and   
                  M. B. Monagan   Problems, puzzles, challenges  . . . . . 48--49
                  Emil Volcheck   Technical report column  . . . . . . . . 50--53


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 32, Number 1, March, 1998

             Nelson H. F. Beebe   Letters: Bibliography archive  . . . . . 1--3
               Jonathan Borwein   Mathematical Publication on the Web  . . 4--7
         R. William Gosper, Jr.   The solutions of $y e^{y^2} = x$ and $y
                                  e^y = x$ . . . . . . . . . . . . . . . . 8--10
          Robert M. Corless and   
               David J. Jeffrey   Graphing Elementary Riemann Surfaces . . 11--17
Technical Staff at Macsyma, Inc.   Macsyma Solutions to the ISSAC '97
                                  Challenge Problems . . . . . . . . . . . 18--37
            David R. Stoutemyer   A TI-92 Solution to the ISSAC '97
                                  Challenge Problems . . . . . . . . . . . 38--55
                     Fujio Kako   Abstracts of Japanese Computer Algebra
                                  Meeting in Kyoto . . . . . . . . . . . . 56--63
                      Anonymous   Preliminary Announcement: ISSAC '99
                                  Vancouver: International Symposium on
                                  Symbolic and Algebraic Computation, July
                                  1999, Simon Fraser University, British
                                  Columbia, Canada . . . . . . . . . . . . 64--64

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 32, Number 2, June, 1998

              Robert M. Corless   Message from the Editor  . . . . . . . . 1--2
                    L. Berggren   Position at Simon Fraser University  . . 2--2
                 Lakshman Y. N.   SIGSAM/ISSAC Business Meeting Summary    3--4
                  D. J. Jeffrey   Formally Reviewed Articles in the
                                  Bulletin . . . . . . . . . . . . . . . . 5--6
 Bernadette Bouchon-Meunier and   
              Vladik Kreinovich   From Interval Computations to Modal
                                  Mathematics: Applications and
                                  Computational Complexity . . . . . . . . 7--11
                   Atanas Popov   Symbolic Computation of Potential Energy
                                  Functions  . . . . . . . . . . . . . . . 12--18
               David Joyner and   
                  Roland Martin   A Maple package for the decomposition of
                                  certain tensor products and restrictions
                                  of representations using crystal graphs  19--22
              Stephen P. Braham   NAOMI One: North American OpenMath
                                  Initiative Goes Online . . . . . . . . . 23--29
        Stéphane F\`evre   Completeness of a Rewrite System for
                                  Proving Geometric Theorems using
                                  Clifford Algebra . . . . . . . . . . . . 30--34
          Robert M. Corless and   
                Stephen M. Watt   Report on the SNAP minisymposium at SIAM
                                  '98  . . . . . . . . . . . . . . . . . . 35--37
              B. Buchberger and   
                     F. Winkler   Intensive Course on Gröbner Bases . . . . 38--38
                     F. Winkler   33 Years of Gröbner Bases . . . . . . . . 38--39
                W. Gröbner   On Elimination Theory  . . . . . . . . . 40--46
                    Paul Gordan   A new proof of Hilbert's theorem on
                                  homogeneous functions  . . . . . . . . . 47--48
              George Labahn and   
             Mohamed Omar Rayes   Poster Session Abstracts of the 1998
                                  International Symposium on Symbolic and
                                  Algebraic Computation, ISSAC '98,
                                  Rostock, German, August 13--15, 1998 . . 49--51
                L. M. Berkovich   Factorization of some Classes of
                                  Nonlinear Ordinary Differential
                                  Equations: Methods and Algorithms  . . . 52--52
              Thomas Decker and   
                Werner Krandick   Parallel Real Root Isolation: poster
                                  abstract . . . . . . . . . . . . . . . . 53--54
              Vladimir P. Gerdt   Involutive Systems of Linear PDEs  . . . 55--56
                Peter E. Glotov   On the greatest common right divisor of
                                  Ore polynomials with polynomial
                                  coefficients which depend on a parameter 57--57
             Mark Heiligman and   
                  Emil Volcheck   On Computing the Weierstrass Points of a
                                  Plane Algebraic Curve  . . . . . . . . . 58--58
                Hiroshi Kai and   
                Matu-Tarow Noda   Hybrid Computation of Cauchy-type
                                  Singular Integral Equations  . . . . . . 59--60
          F. Leon Pritchard and   
                 William Y. Sit   On Initial Value Problems for Ordinary
                                  Differential-Algebraic Equations . . . . 61--61
Jörn Müller-Quade and   
                    Thomas Beth   Computing the Intersection of Finitely
                                  Generated Fields . . . . . . . . . . . . 62--62
                  D. J. Jeffrey   ISSAC '99 Vancouver Call for Papers:
                                  International Symposium on Symbolic and
                                  Algebraic Computation, 28--31 July 1999,
                                  Simon Fraser University, British
                                  Columbia, Canada . . . . . . . . . . . . 63--64
                    E. Kaltofen   ECCAD '99: East Coast Computer Algebra
                                  Day  . . . . . . . . . . . . . . . . . . 64--64

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 32, Number 3, September, 1998

              Robert M. Corless   Editor's Message . . . . . . . . . . . . 1--1
                Stephen M. Watt   Positions in Symbolic Mathematical
                                  Computation at the University of Western
                                  Ontario  . . . . . . . . . . . . . . . . 1--1
                Richard Fateman   A short note on short differentiation
                                  programs in Lisp, and a comment on
                                  logarithmic differentiation  . . . . . . 2--7
               Michael Abramson   Historical Background: ``The Question of
                                  Finitely Many Steps in Polynomial Ideal
                                  Theory'' . . . . . . . . . . . . . . . . 8--8
                  Grete Hermann   The Question of Finitely Many Steps in
                                  Polynomial Ideal Theory  . . . . . . . . 8--30
                        Shu Lin   Announcements: Applied Algebra Algebraic
                                  Algorithms Error-Correcting Codes,
                                  Honolulu, Hawaii (USA) --- 14--19
                                  November 1999  . . . . . . . . . . . . . 31--31
               E. Roanes-Lozano   Announcements: 1999 IMACS Applications
                                  of Computer Algebra Conference
                                  (IMACS-ACA '99), Euroforum, El Escorial,
                                  Madrid, Spain, 24--27 June 1999
                                  (Scientific Program 25--27 June 1999)    31--31
                    Eugene Zima   Announcements: Call for Posters: ISSAC
                                  '99 Vancouver  . . . . . . . . . . . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 32, Number 4, December, 1998

                    Rob Corless   Message from the Editor  . . . . . . . . 1--1
                   Stephen Watt   Report of the SIGSAM Nominating
                                  Committee  . . . . . . . . . . . . . . . 1--1
                  Dongming Wang   Unmixed and Prime Decomposition of
                                  Radicals of Polynomial Ideals  . . . . . 2--9
                 Gilles Villard   Block solution of sparse linear systems
                                  over ${\rm GF}(q)$: the singular case    10--12
             Tateaki Sasaki and   
                  Tomoyuki Sato   Cancellation Errors in Multivariate
                                  Resultant Computation with
                                  Floating-point Numbers . . . . . . . . . 13--20
                   S. P. Tsarev   Factorization of linear partial
                                  differential operators and Darboux
                                  integrability of nonlinear PDEs
                                  (ISSAC'98 Poster)  . . . . . . . . . . . 21--28
                    E. Volcheck   Parallel Symbolic Computing Workshop,
                                  October 1--3, 1998, Mathematical
                                  Sciences Research Institute, Berkeley,
                                  CA, USA  . . . . . . . . . . . . . . . . 29--30
                        Shu Lin   Announcements: Applied Algebra Algebraic
                                  Algorithms Error-Correcting Codes,
                                  Honolulu, Hawaii (USA) --- 14--19
                                  November 1999  . . . . . . . . . . . . . 31--31
                    Eugene Zima   Announcements: Call for Posters: ISSAC
                                  '99 Vancouver  . . . . . . . . . . . . . 32--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 33, Number 1, March, 1999

            Stephen M. Watt and   
                     Xuehong Li   Examples of MathML . . . . . . . . . . . 1--4
                   A. Ostrowski   On the Significance of the Theory of
                                  Convex Polyhedra for Formal Algebra  . . 5--5
       J. M. de Olazábal   Unified method for determining canonical
                                  forms of a matrix  . . . . . . . . . . . 6--20
           S. Yu. Slavyanov and   
          A. B. Pirozhnikov and   
              A. M. Akopyan and   
                     W. Lay and   
                    Z. B. Yazik   Database of the special functions of
                                  mathematical physics . . . . . . . . . . 21--27
                      Anonymous   First Announcement and Call for Papers:
                                  ISSAC 2000: International Symposium on
                                  Symbolic and Algebraic Computation,
                                  University of St. Andrews, Scotland,
                                  August 7--9, 2000  . . . . . . . . . . . 28--28
                      Anonymous   Second Announcement and Call for Papers:
                                  RWCA'00: Seventh Rhine Workshop on
                                  Computer Algebra, March 22 -- March 24,
                                  2000, Bregenz, Austria . . . . . . . . . 29--29
                      Anonymous   First Announcement and Call for Papers:
                                  MEGA 2000: The Sixth International
                                  Symposium on Effective Methods in
                                  Algebraic Geometry, Bath University
                                  (United Kingdom), June 20--24, 2000  . . 30--30
                      Anonymous   The Third International Workshop on
                                  Computer Algebra in Scientific
                                  Computing, CASC-2000, October 5--9,
                                  2000, Samarkand State University,
                                  Samarkand, Uzbekistan  . . . . . . . . . 31--31
               Wen-tsün Wu   Asian Technology Conference in
                                  Mathematics: Applications of Technology
                                  in Mathematics Research and Teaching for
                                  the 21st Century, December 17--21, 1999,
                                  Guangzhou Normal University (GNU),
                                  Guangzhou, P. R. China . . . . . . . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 33, Number 2, June, 1999

                    Rob Corless   Message from the Outgoing Editor and
                                  SIGSAM Chair . . . . . . . . . . . . . . 1--2
                Mark Giesbrecht   Message from the Incoming Editor . . . . 2--2
                 A. I. Shirshov   Certain algorithmic problems for Lie
                                  algebras . . . . . . . . . . . . . . . . 3--6
                   W. Kahan and   
             Richard J. Fateman   Symbolic Computation of Divided
                                  Differences  . . . . . . . . . . . . . . 7--28
                   K. O. Geddes   Generating Numerical ODE Formulas via a
                                  Symbolic Calculus of Divided Differences 29--42
                  Hoon Hong and   
             Erich Kaltofen and   
                 Michael Singer   East Coast Computer Algebra Day '99
                                  (April 24, 1999): Abstracts of Invited
                                  Talks and Presented Papers . . . . . . . 43--52
             Michael Wester and   
          Eugenio Roanes-Lozano   IMACS Applications of Computer Algebra
                                  Conference 1999: Summary . . . . . . . . 53--57
                      Anonymous   IMACS-ACA'2000: International
                                  Association for Mathematics and
                                  Computers in Simulation: 6th
                                  International Conference on Applications
                                  of Computer Algebra, June 25--28, 2000,
                                  Saint Petersburg, Russia . . . . . . . . 58--58
                      Anonymous   East Coast Computer Algebra Day 2000:
                                  Joint meeting with Southern Ontario
                                  Numerical Analysis Day 2000 and the 70th
                                  Birthday Celebration for Professor Hans
                                  J. Stetter; Announcement and Call for
                                  Participation  . . . . . . . . . . . . . 59--59
                      Anonymous   First Announcement and Call for Papers:
                                  ISSAC 2000: International Symposium on
                                  Symbolic and Algebraic Computation,
                                  University of St. Andrews, Scotland,
                                  August 7--9, 2000  . . . . . . . . . . . 60--60
                      Anonymous   Second Announcement and Call for Papers:
                                  MEGA 2000: The Sixth International
                                  Symposium on Effective Methods in
                                  Algebraic Geometry, Bath University
                                  (United Kingdom), June 20--24, 2000  . . 61--61
                      Anonymous   First Announcement and Call for Papers:
                                  ASCM'2000: The 4th Asian Symposium on
                                  Computer Mathematics, Chiang Mai,
                                  Thailand, December 17--21, 2000  . . . . 62--62
                      Anonymous   Southern Ontario Numerical Analysis Day
                                  2000: Joint meeting with East Coast
                                  Computer Algebra Day 2000 and the 70th
                                  Birthday Celebration for Professor Hans
                                  J. Stetter; Announcement and Call for
                                  Participation  . . . . . . . . . . . . . 63--63
                      Anonymous   Transactions on Computational Logic
                                  (TOCL): Call for Papers  . . . . . . . . 64--64

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 33, Number 3, September, 1999

                Mark Giesbrecht   Message from the Editor  . . . . . . . . 1--1
                 Xavier Dousson   Effective homology of a classifying
                                  space  . . . . . . . . . . . . . . . . . 2--9
                Michael Moeller   Good non-zeros of polynomials  . . . . . 10--11
            M. Lejeune Jalabert   On the ubiquity of Newton polyhedra  . . 12--12
                       T. Recio   Computing Weil's descente variety  . . . 12--12
                 Isabel Bermejo   Abstracts of the fifth Spanish meeting
                                  on computer algebra and applications
                                  EACA-99  . . . . . . . . . . . . . . . . 12--19
                     J. Schicho   The parameterization problem for
                                  algebraic surfaces . . . . . . . . . . . 13--13
                  F. Sergeraert   Constructive algebraic topology  . . . . 13--13
              W. V. Vasconcelos   Bounds in the computation of the
                                  integral closure . . . . . . . . . . . . 13--13
                S. Xambó   Using OMEGA for the effective
                                  construction, coding and decoding of
                                  block error-correcting codes . . . . . . 13--13
          L. Álvarez and   
              J. Sánchez   On some real problems in computer vision
                                  which yield to algebraic system of
                                  equations  . . . . . . . . . . . . . . . 13--14
                C. Andradas and   
             M. P. Vélez   Convex polytopes over ordered fields . . 14--14
                  M. Barile and   
                 M. Morales and   
                       A. Thoma   On equations defining monomial varieties 14--14
                 I. Bermejo and   
                Ph. Gimenez and   
                     M. Morales   On Castelnuovo--Mumford regularity of
                                  codimension two monomial varieties . . . 14--14
                J. L. Bueso and   
J. Gómez Torrecillas and   
                  F. J. Lobillo   When is a finitely generated algebra of
                                  Poincaré--Birkhoff--Witt type?  . . . . . 14--15
                 E. Cattani and   
             A. Dickenstein and   
                   B. Sturmfels   The search for rational A-hypergeometric
                                  functions  . . . . . . . . . . . . . . . 15--15
                  R. M. Corless   Open problems in computer algebra  . . . 15--15
                C. D'Andrea and   
                 A. Dickenstein   Bezoutian formulas \`a la Macaulay for
                                  the multivariate resultant . . . . . . . 15--15
                       F. Gaeta   New non recursive formulas for
                                  irreducible representations of
                                  GL$(\mathbb{C}^{m+1})$ and systems of
                                  equations for the symmetric powers ${\rm
                                  Sym}^n\mathbb{P}_m$  . . . . . . . . . . 15--15
             G. Fleitas Morales   Algorithms to compute the eigenvalues of
                                  a $p$-adic matrix  . . . . . . . . . . . 15--15
       E. García Barroso   Polar invariants and topology  . . . . . 16--16
J. I. García-García and   
P. A. García Sánchez and   
                  J. C. Rosales   Commutative ideal extensions of Abelian
                                  groups . . . . . . . . . . . . . . . . . 16--16
               J. Gutierrez and   
                       R. Rubio   Subfields in pure transcendental
                                  extensions . . . . . . . . . . . . . . . 16--16
        X. Hernández and   
                    J. M. Miret   Using Schubert to enumerate conics in
                                  $\mathbb{P}^3$ . . . . . . . . . . . . . 16--16
P. D. González Pérez   A Newton--Puiseux algorithm for the ring
                                  $C\{X_1,\ldots{},X_d\}[Y]$ . . . . . . . 16--16
             M. T. Iglesias and   
                   C. Vidal and   
                  A. Verschoren   Computing epistasis through Walsh
                                  transforms . . . . . . . . . . . . . . . 16--17
                   T. Krick and   
                L. M. Pardo and   
                      M. Sombra   Arithmetic Nullstellensätze . . . . . . . 17--17
           L. Lambán and   
                 V. Pascual and   
                J. Rubío   Simplicial sets in the EAT system  . . . 17--17
                     A. Maignan   Real solving of ill-conditioned
                                  sine-polynomials equations . . . . . . . 17--17
                 A. Marcelo and   
                 F. Marcelo and   
            C. Rodríguez   Radicals of primary submodules . . . . . 17--17
I. Ojeda Martínez de Castilla and   
       R. Piedra Sánchez   Index of nilpotency of binomial ideals   18--18
                      A. Montes   Basic algorithms for specialization in
                                  Gröbner bases . . . . . . . . . . . . . . 18--18
                    F. Orecchia   Implicitization of a general union of
                                  parametric varieties . . . . . . . . . . 18--18
                 J. Peralta and   
                 B. Torrecillas   Graded codes by G-sets . . . . . . . . . 18--18
             J. F. San Juan and   
                    A. Abad and   
                 S. Serrano and   
                A. Gavín   Solving problems symbolically by using
                                  Poisson Series Processors  . . . . . . . 18--19
               J. R. Sendra and   
                   C. Villarino   Optimal reparameterization of polynomial
                                  algebraic curves . . . . . . . . . . . . 19--19
                   Peter Berman   Computing the Galois group of $y^{(3)}
                                  +ay' + by = 0, a,b {\in} \mathcal{C}[x]$ 20--20
             Rao F. H. Khan and   
                       N. Ahmad   A comparison of symbolic solution of
                                  radioactive decay chains using
                                  Mathematica  . . . . . . . . . . . . . . 20--20
              Laurent Bernardin   A Java framework for massively
                                  distributed symbolic computing . . . . . 20--21
                    Eugene Zima   ISSAC'99 Poster Abstracts: Session I . . 20--27
                    Lemme Group   CtCoq: an environment for mathematical
                                  reasoning  . . . . . . . . . . . . . . . 21--22
              Bruce W. Char and   
           Anthony Harrison and   
              Thomas Hewett and   
                Ron Perline and   
                Muksim Rakhimov   Developing the Soliton Explorer: A
                                  problem solving environment for soliton
                                  surface investigation  . . . . . . . . . 22--23
     Edgardo S. Cheb-Terrab and   
      Theodore Kolokolnikov and   
                Austin D. Roche   The search for and classification of
                                  integrable Abel ODE classes  . . . . . . 23--24
                David Clark and   
                 James McCarron   Modules for Maple  . . . . . . . . . . . 24--25
                   David De Wit   Automatic construction of an R Matrix    25--25
             Richard J. Fateman   Symbolic execution and NaNs: diagnostic
                                  tools for tracking scientific
                                  computation  . . . . . . . . . . . . . . 25--26
         Richard J. Fateman and   
                    Eylon Caspi   Parsing \TeX into mathematics  . . . . . 26--26
                       Greg Fee   Gauss--Legendre quadrature . . . . . . . 26--26
                 Cassidy Gentle   Computing greatest common divisors of
                                  polynomial matrices  . . . . . . . . . . 26--27
                      P. Gordan   Invariants of Binary Forms . . . . . . . 28--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 33, Number 4, December, 1999

                Mark Giesbrecht   Message from the Editor  . . . . . . . . 1--1
                Hans J. Stetter   The Nearest Polynomial with a Given
                                  Zero, and Similar Problems . . . . . . . 2--4
            Robert H. Lewis and   
                 Michael Wester   Comparison of polynomial-oriented
                                  computer algebra systems . . . . . . . . 5--13
         Elisabetta Fortuna and   
                Patrizia Gianni   Square-Free Decomposition in Finite
                                  Characteristic: an Application to Jordan
                                  Form Computation . . . . . . . . . . . . 14--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 34, Number 1, March, 2000

       M.-J. Gonzalez-Lopez and   
           L. Gonzalez-Vega and   
                C. Traverso and   
                      A. Zanoni   Gröbner Bases Specialization through
                                  Hilbert Functions: The Homogeneous Case  1--8
             Tateaki Sasaki and   
                    Daiju Inaba   Hensel Construction of
                                  ${F}(x,u_1,\ldots{},u_\ell), \ell \geq
                                  2$, at a Singular Point and Its
                                  Applications . . . . . . . . . . . . . . 9--17
                        K. Hare   Rapid computation of Bernoulli and
                                  related numbers  . . . . . . . . . . . . 18--19
                    Eugene Zima   ISSAC'99 Poster Abstracts: Session II    18--31
                  Birkett Huber   Computing Gröbner fans of toric ideals    19--20
                Hiroshi Kai and   
                Matu-Tarow Noda   Hybrid computation of bivariate rational
                                  interpolation  . . . . . . . . . . . . . 20--21
                  Nainn-Ping Ke   Symbolic and algebraic computation in
                                  robust stability analysis  . . . . . . . 21--21
                Robert H. Lewis   Comparison of polynomial-oriented
                                  computer algebra systems . . . . . . . . 24--24
                 Hirokazu Murao   $2W$-ary algorithm for extended problem
                                  of integer GCD . . . . . . . . . . . . . 25--25
                Bogdan A. Popov   Optimal starting approximation and
                                  iterative algorithm for inverse error
                                  function . . . . . . . . . . . . . . . . 25--26
                    Yosuke Sato   Parallel computation of Boolean Gröbner
                                  bases  . . . . . . . . . . . . . . . . . 27--28
       Nicolas M. Thiéry   Algebraic invariants of graphs: a
                                  computer aided study . . . . . . . . . . 29--29
                  Harrison Tsai   Weyl closure of a $D$-ideal  . . . . . . 29--30
            Volker Weispfenning   Deciding linear-exponential problems . . 30--31
                      Greg Reid   ISSAC'2001: International Symposium on
                                  Symbolic and Algebraic Computation . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 34, Number 2, June, 2000

                     Mike Dewar   Special Issue on OpenMath: Message from
                                  the Guest Editor . . . . . . . . . . . . 1--1
                     Mike Dewar   OpenMath: An Overview  . . . . . . . . . 2--5
                 David Carlisle   OpenMath, MathML, and XSL  . . . . . . . 6--11
             James H. Davenport   On Writing OpenMath Content Dictionaries 12--15
             James H. Davenport   A Small OpenMath Type System . . . . . . 16--21
     Hél\`ene Prieto and   
     Stéphane Dalmas and   
                   Yves Papegay   Mathematica as an OpenMath application   22--26
                 Arrigo Triulzi   OpenMath support under CSL-hosted \sc
                                  Reduce . . . . . . . . . . . . . . . . . 27--30
        Luis Alvarez Sobreviela   A Reduce-based OpenMath
                                  $\leftrightarrow$ MathML Translator  . . 31--32
              Olga Caprotti and   
             Arjeh M. Cohen and   
                   Manfred Riem   JAVA Phrasebooks for Computer Algebra
                                  and Automated Deduction  . . . . . . . . 33--37
                  Laurent Dirat   JOME, a Software Component for
                                  Interactive and Distributed Mathematics  38--42
               Michael Kohlhase   OMDoc: An Infrastructure for OpenMath
                                  Content Dictionary Information . . . . . 43--48
              Francis J. Wright   Interactive Mathematics via the Web
                                  using MathML . . . . . . . . . . . . . . 49--57
          Robert M. Corless and   
         James H. Davenport and   
           David J. Jeffrey and   
                Stephen M. Watt   ``According to Abramowitz and Stegun''
                                  or $\arccoth$ needn't be uncouth . . . . 58--65
          Andreas Strotmann and   
                Ladislav Kohout   OpenMath: compositionality achieved at
                                  last . . . . . . . . . . . . . . . . . . 66--72

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 34, Number 3, September, 2000

         Christian Schulzky and   
               Astrid Franz and   
            Karl Heinz Hoffmann   Resistance Scaling and Random Walk
                                  Dimensions for Finitely Ramified
                                  Sierpinski Carpets . . . . . . . . . . . 1--8
       Nicolas M. Thiéry   Algebraic invariants of graphs; a study
                                  based on computer exploration  . . . . . 9--20
                      Anonymous   East Coast Computer Algebra Day: May 13,
                                  2000, Ontario Research Centre for
                                  Computer Algebra, University of Western
                                  Ontario, London, Ontario, Canada:
                                  Abstracts of Invited Talks . . . . . . . 21--21
                      Anonymous   East Coast Computer Algebra Day: May 13,
                                  2000, Ontario Research Centre for
                                  Computer Algebra, University of Western
                                  Ontario, London, Ontario, Canada:
                                  Abstracts of Posters . . . . . . . . . . 22--27
                      Anonymous   Southern Ontario Numerical Analysis Day:
                                  May 12, 2000, Ontario Research Centre
                                  for Computer Algebra, University of
                                  Western Ontario, London, Ontario,
                                  Canada: Abstracts of Invited Talks . . . 28--28
                      Anonymous   Southern Ontario Numerical Analysis Day:
                                  May 12, 2000, Ontario Research Centre
                                  for Computer Algebra, University of
                                  Western Ontario, London, Ontario,
                                  Canada: Abstracts of Invited Talks . . . 29--31

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 34, Number 4, December, 2000

                  S. A. Abramov   A Note on the Number of Division Steps
                                  in the Euclidean Algorithm . . . . . . . 1--2
              Rainer Steinwandt   On computing a separating transcendence
                                  basis  . . . . . . . . . . . . . . . . . 3--6
              Robert M. Corless   An Elementary Solution of a Minimax
                                  Problem Arising in Algorithms for
                                  Automatic Mesh Selection . . . . . . . . 7--15
          Christopher Essex and   
               Matt Davison and   
             Christian Schulzky   Numerical Monsters . . . . . . . . . . . 16--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 35, Number 1, March, 2001

              Robert M. Corless   Message from the SIGSAM Chair  . . . . . 1--2
               Barton L. Willis   An Extensible Differential Equation
                                  Solver . . . . . . . . . . . . . . . . . 3--7
              Robert M. Corless   Review of \em Modern Computer Algebra,
                                  by Joachim von zu Gathen and Jügen
                                  Gerhard  . . . . . . . . . . . . . . . . 8--13
                     Mark Daley   Review of \em Quantum Computing and
                                  Quantum Information, by Michael A.
                                  Nielson and Issac L. Chuang  . . . . . . 14--15
              Olaf Bonorden and   
     Joachim von zur Gathen and   
        Jürgen Gerhard and   
           Olaf Müller and   
            Michael Nöcker   Factoring a binary polynomial of degree
                                  over one million . . . . . . . . . . . . 16--18
             Ilias S. Kotsireas   Homotopies and polynomial system solving
                                  I: Basic principles  . . . . . . . . . . 19--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 35, Number 2, June, 2001

                   S. Egner and   
                 J. Johnson and   
                   D. Padua and   
            M. Püschel and   
                       J. Xiong   Automatic Derivation and Implementation
                                  of Signal Processing Algorithms  . . . . 1--19
            G. P. Egorychev and   
                  V. M. Levchuk   Enumeration in the Chevalley algorithm   20--34
                      Anonymous   Announcements: AAECC-14 Applied Algebra,
                                  Algebraic Algorithms and Error
                                  Correcting Codes . . . . . . . . . . . . 35--35
                      Anonymous   Call for Papers: Latin American
                                  Theoretical INformatics --- LATIN '2002  36--36

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 35, Number 3, September, 2001

                       H. Q. Le   Computing the Minimal Telescoper for
                                  Sums of Hypergeometric Terms . . . . . . 2--10
                      D. Lazard   Solving Systems of Algebraic Equations   11--37
                      H. Kredel   Announcement: Rhine Workshop on Computer
                                  Algebra  . . . . . . . . . . . . . . . . 38--38
                      J. Calmet   Announcement: Workshop on Under- and
                                  Over-Determined Systems of Algebraic or
                                  Differential Equations . . . . . . . . . 39--39
                      M. Giusti   Announcement: International Symposium on
                                  Symbolic and Algebraic Computation . . . 40--40

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 35, Number 4, December, 2001

       Jeffrey M. Dambacher and   
          Philippe A. Rossignol   The Golden Rule of Complementary
                                  Feedback . . . . . . . . . . . . . . . . 1--9
                 Antonio Montes   Abstracts of the Sixth Spanish Meeting
                                  on Computer Algebra and Applications:
                                  EACA-2000 [Barcelona, Spain, September
                                  6--8, 2001]  . . . . . . . . . . . . . . 10--23
                   Julio Robino   Abstracts of the Seventh Spanish Meeting
                                  on Computer Algebra and Applications:
                                  EACA-2001 [Ezcaray, La Rioja, Spain,
                                  September 12--14, 2001]  . . . . . . . . 24--39
                      Anonymous   East Coast Computer Algebra Day 2002:
                                  Announcement and Call for Participation  40--40


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 36, Number 1, March, 2002

              Robert M. Corless   Message from the SIGSAM Chair  . . . . . 1--2
               Bruno Buchberger   Computer Algebra: The End of
                                  Mathematics? . . . . . . . . . . . . . . 3--9
          Mhenni Benghorbal and   
              Robert M. Corless   The $n$th Derivative . . . . . . . . . . 10--14
              W. John Braun and   
                         Hao Yu   Review: \em Weighing the Odds, by D.
                                  Williams . . . . . . . . . . . . . . . . 15--17
              D. J. Jeffrey and   
             Ilias S. Kotsireas   Table of Conferences and Events  . . . . 17--17
               V. M. Babich and   
             Yu. N. Bibikov and   
           S. Yu. Slavyanov and   
             N. V. Svanidze and   
           T. F. Pankratova and   
                    V. Novikova   Workshop on Differential Equations:
                                  Dedicated to the memory of Vladimir
                                  Lazutkin, St.Petersburg, Russia, August
                                  18--20, 2002 . . . . . . . . . . . . . . 18--18
                    William Sit   East Coast Computer Algebra Day  . . . . 19--21
             Ilias S. Kotsireas   ACA 2002 8th International Conference on
                                  Applications of Computer Algebra June
                                  25--28, 2002, Volos, Greece  . . . . . . 22--22
                     H. Schenck   CBMS Lecture Series at Texas A&M
                                  University: Solving Systems of
                                  Polynomial Equations, May 20--24, 2002,
                                  by Bernd Sturmfels (UC Berkeley) . . . . 23--23
              Daniel Duparc and   
           Bernard Mourrain and   
            Bernard Parisse and   
          Fabrice Rouillier and   
 Marie-Françoise Roy and   
      Nicolas Thiéry and   
                Paul Zimmermann   Workshop on Open Source Computer
                                  Algebra, Tuesday 21st -- Thursday 23rd
                                  of May 2002, Lyon, France  . . . . . . . 24--27
                       Tim Daly   Axiom as Open Source . . . . . . . . . . 28--28
                    L. Padovani   MathML International Conference 2002:
                                  MathML and Technologies for Math on the
                                  Web June 28--30, 2002 Hickory Ridge
                                  Conference Center, Chicago, Illinois . . 29--30
                     G. J. Reid   Symbolic Computational Algebra 2002:
                                  Fields Institute special meeting on
                                  Symbolic and Numeric Computation in
                                  Geometry, Algebra and Analysis, July
                                  15--19, 2002, The University of Western
                                  Ontario, London, Ontario, Canada \tt
                                  http://www.orcca.on.ca/sca2002 . . . . . 31--31
                   Drumi Bainov   Thirteenth International Colloquium on
                                  Differential Equations . . . . . . . . . 32--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 36, Number 2, June, 2002

                  Greg Reid and   
                Chris Smith and   
                 Jan Verschelde   Geometric completion of differential
                                  systems using numeric-symbolic
                                  continuation . . . . . . . . . . . . . . 1--17
               Astrid Franz and   
         Christian Schulzky and   
            Karl Heinz Hoffmann   Using computer algebra methods to
                                  determine the chemical dimension of
                                  finitely ramified Sierpinski carpets . . 18--30

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 36, Number 3, September, 2002

                 William Y. Sit   East Coast Computer Algebra day: ECCAD
                                  2002 poster and demonstration abstracts  1--1
             Tateaki Sasaki and   
                    Akira Terui   A formula for separating small roots of
                                  a polynomial . . . . . . . . . . . . . . 19--23

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 36, Number 4, December, 2002

             Gene Cooperman and   
                     Xiaoqin Ma   Overcoming the memory wall in symbolic
                                  algebra: a faster permutation
                                  multiplication . . . . . . . . . . . . . 1--4
             Michael P. Barnett   Computer algebra in the life sciences    5--32


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 37, Number 1, March, 2003

Ehrenfried Walter von Tschirnhaus and   
                    R. F. Green   A method for removing all intermediate
                                  terms from a given equation  . . . . . . 1--3
                Richard Fateman   Comparing the speed of programs for
                                  sparse polynomial multiplication . . . . 4--15
               Philippe Gimenez   Abstracts of the eighth Spanish meeting
                                  on computer algebra and applications:
                                  EACA-2002  . . . . . . . . . . . . . . . 16--27
                   Matt Davison   Book Review: Review of risk management:
                                  value at risk and beyond, edited by
                                  M.A.H. Dempster. Cambridge University
                                  Press 2002 . . . . . . . . . . . . . . . 28--29

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 37, Number 2, June, 2003

               Michael Abramson   Historical Background for B. Renschuch's
                                  papers . . . . . . . . . . . . . . . . . 33--34
             Bodo Renschuch and   
             Hartmut Roloff and   
        Georgij G. Rasputin and   
               Michael Abramson   Contributions to constructive polynomial
                                  ideal theory XXIII: forgotten works of
                                  Leningrad mathematician N. M. Gjunter on
                                  polynomial ideal theory  . . . . . . . . 35--48
             Michael P. Barnett   Symbolic computation of integrals by
                                  recurrence . . . . . . . . . . . . . . . 49--63
               David J. Jeffrey   Message from the Editor  . . . . . . . . 63--63
                      Anonymous   Call for Participation: ASCM 2003: The
                                  Sixth Asian Symposium on Computer
                                  Mathematics, October 23--25, 2003
                                  Beijing, China . . . . . . . . . . . . . 64--64

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 37, Number 3, September, 2003

                  Olga Caprotti   International Symposium on Symbolic and
                                  Algebraic Computation: poster abstracts
                                  2003 . . . . . . . . . . . . . . . . . . 65--65
            B. Jüttler and   
                 J. Schicho and   
                     M. Shalaby   $C^1$ spline implicitization of planar
                                  curves . . . . . . . . . . . . . . . . . 65--65
                Fabrizio Caruso   Interpolation in symbolic summation  . . 66--66
        Arthur D. Chtcherba and   
                   Deepak Kapur   On the relationship between the
                                  Dixon-based resultant construction and
                                  the supports of polynomial systems . . . 66--67
          Robert M. Corless and   
                Hiroshi Kai and   
                Stephen M. Watt   Approximate computation of
                                  pseudovarieties  . . . . . . . . . . . . 67--71
                Ruyong Feng and   
                  Xiao-Shan Gao   Polynomial solutions for first order
                                  ODEs with constant coefficients  . . . . 71--72
              Masaaki Kanno and   
               Malcolm C. Smith   Validated numerical methods for systems
                                  and control engineering  . . . . . . . . 72--73
                  Manuel Kauers   Computing limits of sequences  . . . . . 74--77
        Viktor Levandovskyy and   
           Hans Schönemann   Using computer algebra system
                                  SINGULAR:PLURAL for computations in
                                  noncommutative polynomial algebras . . . 77--78
            Ilias Kotsireas and   
                 Edmond Lau and   
                  Richard Voino   Exact implicitization of polynomial
                                  curves and surfaces  . . . . . . . . . . 78--78
                Ludovic Meunier   MAD: a flexible system for authoring
                                  mathematical documents . . . . . . . . . 79--81
              Masayuki Noro and   
              Kazuhiro Yokoyama   Implementation of prime decomposition of
                                  polynomial ideals over small finite
                                  fields . . . . . . . . . . . . . . . . . 81--82
      Clément Pernet and   
                   Zhendong Wan   LU based algorithms for characteristic
                                  polynomial over a finite field . . . . . 83--84
                   Wu Tian-Jiao   On optimization problems . . . . . . . . 87--88
            Burkhard Zimmermann   A Sister Celine type algorithm for
                                  definite summation and integration . . . 89--89
         Victor S. Adamchik and   
               David J. Jeffrey   Polynomial transformations of
                                  Tschirnhaus, Bring and Jerrard . . . . . 90--94

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 37, Number 4, December, 2003

           Christopher W. Brown   QEPCAD B: a program for computing with
                                  semi-algebraic sets using CADs . . . . . 97--108
                Richard Fateman   Memory cache and Lisp: faster list
                                  processing via automatically rearranging
                                  memory . . . . . . . . . . . . . . . . . 109--116
                  Tanush Shaska   Computational algebra and algebraic
                                  curves . . . . . . . . . . . . . . . . . 117--124
                    Alex Buchel   Review of \em D-Branes by Clifford V.
                                  Johnson. Cambridge University Press 2002 125--127


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 38, Number 1, March, 2004

           John Michael McNamee   A comparison of methods for accurate
                                  summation  . . . . . . . . . . . . . . . 1--7
            Martine Ceberio and   
              Vladik Kreinovich   Greedy algorithms for optimizing
                                  multivariate Horner schemes  . . . . . . 8--15
                 Gene Cooperman   The TOP-C parallel model and symbolic
                                  algebra  . . . . . . . . . . . . . . . . 16--17
                    John Abbott   CoCoA: a laboratory for computations in
                                  commutative algebra  . . . . . . . . . . 18--19
             Michael McGettrick   Online Gröbner Basis [OGB]  . . . . . . . 19--21
                  A. Dhooge and   
                W. Govaerts and   
               Yu. A. Kuznetsov   MATCONT: a Matlab package for numerical
                                  bifurcation analysis of ODEs . . . . . . 21--22
           Christopher W. Brown   QEPCAD B: a system for computing with
                                  semi-algebraic sets via cylindrical
                                  algebraic decomposition  . . . . . . . . 23--24
           Joris van der Hoeven   GNU TeXmacs  . . . . . . . . . . . . . . 24--25
               Manfred Minimair   MR: Macaulay Resultant package for Maple 26--27
                Robert H. Lewis   Using Fermat to solve large polynomial
                                  and matrix problems  . . . . . . . . . . 27--28
                 Zhonggang Zeng   A Matlab package computing polynomial
                                  roots and multiplicities . . . . . . . . 28--29
               Bob Caviness and   
              Barbara Gatje and   
          James H. Griesmer and   
                 Tony Hearn and   
           Manual Bronstein and   
                 Erich Kaltofen   In Memoriam: Richard Dimick Jenks: Axiom
                                  Developer and Computer Algebra Pioneer   30--30

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 38, Number 2, June, 2004

           Clemens Ballarin and   
                  Manuel Kauers   Solving parametric linear systems: an
                                  experiment with constraint algebraic
                                  programming  . . . . . . . . . . . . . . 33--46
              William M. Farmer   MKM: a new interdisciplinary field of
                                  research . . . . . . . . . . . . . . . . 47--52
Laureano González-Vega and   
             Tomás Recio   Review of ``Computational Commutative
                                  Algebra I'' by Martin Kreuzer and
                                  Lorenzo Robbiano, Springer-Verlag, 2000,
                                  ISBN 3-540-67733-X . . . . . . . . . . . 53--55

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 38, Number 3, September, 2004

              D. J. Jeffrey and   
                   A. C. Norman   Not seeing the roots for the branches:
                                  multivalued functions in computer
                                  algebra  . . . . . . . . . . . . . . . . 57--66
                J. De Beule and   
               A. Hoogewijs and   
                      L. Storme   On the size of minimal blocking sets of
                                  $Q(4;q), \mathrm{ for } q = 5,7$ . . . . 67--84
                 Tateaki Sasaki   A theorem for separating close roots of
                                  a polynomial and its derivatives . . . . 85--92
            Ilias Kotsireas and   
                  Emil Volcheck   ANTS VI: algorithmic number theory
                                  symposium poster abstracts . . . . . . . 93--107

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 38, Number 4, December, 2004

                  Joshua Holden   Distribution of the error in estimated
                                  numbers of fixed points of the discrete
                                  logarithm  . . . . . . . . . . . . . . . 111--118
                Kosaku Nagasaka   Towards more accurate separation bounds
                                  of empirical polynomials . . . . . . . . 119--129


SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 39, Number 1, March, 2005

                    Daiju Inaba   Factorization of multivariate
                                  polynomials by extended Hensel
                                  construction . . . . . . . . . . . . . . 2--14
                      Iyad Ajwa   East Coast Computer Algebra Day 2005:
                                  poster abstracts . . . . . . . . . . . . 15--25
                   David Joyner   Conjectural permutation decoding of some
                                  AG codes . . . . . . . . . . . . . . . . 26--32

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 39, Number 2, June, 2005

               Howard Cheng and   
               Barry Gergel and   
                  Ethan Kim and   
                    Eugene Zima   Space-efficient evaluation of
                                  hypergeometric series  . . . . . . . . . 41--52
                  Stef Graillat   A note on a nearest polynomial with a
                                  given root . . . . . . . . . . . . . . . 53--60
              William Stein and   
                   David Joyner   SAGE: System for Algebra and Geometry
                                  Experimentation  . . . . . . . . . . . . 61--64
                   David Joyner   GUAVA: an error-correcting codes package 65--68

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 39, Number 3, September, 2005

                     Tetsuo Ida   In memoriam: Professor Eiichi Goto . . . 71--72
             Nargol Rezvani and   
              Robert M. Corless   The nearest polynomial with a given
                                  zero, revisited  . . . . . . . . . . . . 73--79
              Jin-San Cheng and   
              Xiao-Shan Gao and   
                        Ming Li   Intrinsic topological representation of
                                  real algebraic surfaces  . . . . . . . . 80--81
               Howard Cheng and   
               Barry Gergel and   
                  Ethan Kim and   
                    Eugene Zima   Space-efficient evaluation of
                                  hypergeometric series  . . . . . . . . . 81--83
                  Ziming Li and   
                    Dabin Zheng   Computation with hyperexponential
                                  functions  . . . . . . . . . . . . . . . 84--85
             Evelyne Hubert and   
                    Irina Kogan   Rational and replacement invariants of a
                                  group action . . . . . . . . . . . . . . 85--87
                     Victor Pan   Polynomial root-finding with matrix
                                  eigen-solving  . . . . . . . . . . . . . 87--87
             F. San Segundo and   
               J. R. Sendra and   
                   Juana Sendra   Offsets from the perspective of
                                  computational algebraic geometry . . . . 87--90
                 Sonia L. Rueda   Finite fans, actions of tori and
                                  $D$-modules  . . . . . . . . . . . . . . 90--92
              Xiao-Shan Gao and   
                 Gui-Fang Zhang   $2$D and $3$D generalized Stewart
                                  Platforms  . . . . . . . . . . . . . . . 92--93
                Stephen M. Watt   Algebraic generalization . . . . . . . . 93--94
            Werner Krandick and   
                  Kurt Mehlhorn   New bounds for the Descartes method  . . 94--94
             Tateaki Sasaki and   
                Daiju Inaba and   
              Kentaro Katamachi   An approach to singularity from the
                                  extended Hensel construction . . . . . . 94--95
                    Thomas Wolf   The package CRACK for solving large
                                  overdetermined systems . . . . . . . . . 95--96
                 F. Lemaire and   
             M. Moreno Maza and   
                         Y. Xie   The RegularChains library in MAPLE . . . 96--97
                   X. Dahan and   
           É. Schost and   
             M. Moreno Maza and   
                      W. Wu and   
                         Y. Xie   On the complexity of the D5 principle    97--98
                Nadya Belov and   
                Colin Koeck and   
            Werner Krandick and   
                 Joshua Shaffer   Mobile mathematics communication . . . . 99--99
                Shuhong Gao and   
                     Mingfu Zhu   Irreducible decomposition of monomial
                                  ideals . . . . . . . . . . . . . . . . . 99--99

SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume 39, Number 4, December, 2005

              Murray R. Bremner   Jordan algebras arising from
                                  intermolecular recombination . . . . . . 106--117
          M. G. Epitropakis and   
                 M. N. Vrahatis   Root finding and approximation
                                  approaches through neural networks . . . 118--121
                     Maki Iwami   Extension of expansion base algorithm
                                  for multivariate analytic factorization
                                  including the case of singular leading
                                  coefficient  . . . . . . . . . . . . . . 122--126
              E. C. Laskari and   
             G. C. Meletiou and   
             D. K. Tasoulis and   
                 M. N. Vrahatis   Transformations of two cryptographic
                                  problems in terms of matrices  . . . . . 127--130
     Aleksandr Mylläri and   
            Tapio Salakoski and   
               Alexey Pasechnik   On the visualization of the DNA sequence
                                  and its nucleotide content . . . . . . . 131--135
         Aleksandr Mylläri   Stability of expanding homographic
                                  configurations: $3$D case  . . . . . . . 136--138
                 Vasily Shapeev   Application of CAS to constructing
                                  schemes of superhigh order of accuracy
                                  for heat conduction equation . . . . . . 139--142
          George M. Tzoumas and   
              Ioannis Z. Emiris   Apollonius circle conflict . . . . . . . 143--146


ACM Communications in Computer Algebra
Volume 40, Number 1, March, 2006

                   Wayne Eberly   Letter from the Treasurer  . . . . . . . 1--1
              Yasushi Umeda and   
                 Tateaki Sasaki   Computing determinants of rational
                                  functions  . . . . . . . . . . . . . . . 2--8
                   Zhendong Wan   ISSAC 2005 poster abstracts  . . . . . . 9--14
               Agnes Szanto and   
             Jan Verschelde and   
                 Zhonggang Zeng   Symbolic-numeric computation and
                                  applications: list of abstracts  . . . . 15--17
          Heinz H. Bauschke and   
        Martin v. Mohrenschildt   Symbolic computation of Fenchel
                                  conjugates . . . . . . . . . . . . . . . 18--28

ACM Communications in Computer Algebra
Volume 40, Number 2, June, 2006

       Ekaterina Shemyakova and   
                  Franz Winkler   Approximate factorization of linear
                                  partial differential operators: full
                                  system of invariants for order three . . 34--35
                L. M. Berkovich   Factorization of self-conjugated and
                                  reducible linear differential operators  35--37
                Oleg Golubitsky   Construction of rankings on partial
                                  derivatives  . . . . . . . . . . . . . . 38--42
                Alin Bostan and   
    Claude-Pierre Jeannerod and   
             Éric Schost   Solving structured linear systems of
                                  large displacement rank  . . . . . . . . 42--44
                Daiju Inaba and   
           Takeshi Osoekawa and   
                 Tateaki Sasaki   Visualization of extended Hensel factors 44--45
                  Peter Ullrich   Closed-form formulas for projecting
                                  constructible sets in the theory of
                                  algebraically closed fields  . . . . . . 45--48
           Takeshi Osoekawa and   
                 Tateaki Sasaki   Hensel fan . . . . . . . . . . . . . . . 48--49
            Werner Krandick and   
            Shawn S. Pierce and   
                   Zhendong Wan   Towards collaboration across display
                                  diversity  . . . . . . . . . . . . . . . 49--50
                Claudia Fassino   A robust monomial quotient basis for
                                  approximate points . . . . . . . . . . . 50--51
         Ilias S. Kotsireas and   
                 Eugene A. Zima   WWCA 2006 abstracts  . . . . . . . . . . 52--59
                  Xiao-shan Gao   Wen-Tsun Wu's academic career  . . . . . 60--64

ACM Communications in Computer Algebra
Volume 40, Number 3--4, September / December, 2006

              Winfried Just and   
              Brandilyn Stigler   Computing Gröbner bases of ideals of few
                                  points in high dimensions  . . . . . . . 67--78
                Hans J. Stetter   ``Approximate Commutative Algebra'': an
                                  ill-chosen name for an important
                                  discipline . . . . . . . . . . . . . . . 79--81
                   Zhendong Wan   ISSAC 2006 poster abstracts  . . . . . . 86--87
                    William Sit   Abstracts of special session on
                                  differential algebra: American
                                  Mathematical Society, Eastern Section
                                  Spring Meeting: Stevens Institute of
                                  Technology, April 14-15, 2007  . . . . . 88--107
                   David Joyner   OSCAS: \tt maxima  . . . . . . . . . . . 108--111


ACM Communications in Computer Algebra
Volume 41, Number 1--2, March / June, 2007

                  Ziming Li and   
                     Min Wu and   
                    Dabin Zheng   Testing linear dependence of
                                  hyperexponential elements  . . . . . . . 3--11
                 Markus A. Hitz   ECCAD 2007 poster abstracts  . . . . . . 12--24
         Mark W. Giesbrecht and   
            Ilias Kotsireas and   
                    Austin Lobo   ISSAC 2007 poster abstracts  . . . . . . 38--72

ACM Communications in Computer Algebra
Volume 41, Number 3, September, 2007

            David R. Stoutemyer   Useful Computations Need Useful Numbers  75--99
           Ekaterina Shemyakova   Symbolic-algebraic methods for linear
                                  partial differential operators . . . . . 100--100
                     Yuzhen Xie   Fast algorithms, modular methods,
                                  parallel approaches and software
                                  engineering for solving polynomial
                                  systems symbolically . . . . . . . . . . 101--101
                      Bican Xia   DISCOVERER: a tool for solving
                                  semi-algebraic systems . . . . . . . . . 102--103
            Katsusuke Nabeshima   PGB: a package for computing parametric
                                  Gröbner and related objects . . . . . . . 104--105
                Kosaku Nagasaka   SNAP package for Mathematica . . . . . . 105--106
               Akira Suzuki and   
                    Yosuke Sato   Implementation of CGS and CGB on
                                  Risa/Asir and other computer algebra
                                  systems using Suzuki--Sato algorithm . . 107--108
                   Steve Linton   GAP: groups, algorithms, programming . . 108--109
                  Fritz Schwarz   ALLTYPES in the web  . . . . . . . . . . 109--110
               Roman Pearce and   
                Michael Monagan   A Maple library for high performance
                                  sparse polynomial arithmetic . . . . . . 110--111
                John Abbott and   
               Anna Bigatti and   
            Massimo Caboara and   
               Lorenzo Robbiano   CoCoA: computations in commutative
                                  algebra  . . . . . . . . . . . . . . . . 111--112
             Hitoshi Yanami and   
                  Hirokazu Anai   SyNRAC: a Maple toolbox for solving real
                                  algebraic constraints  . . . . . . . . . 112--113
                William S. Page   Axiom: open source computer algebra
                                  system . . . . . . . . . . . . . . . . . 114--114

ACM Communications in Computer Algebra
Volume 41, Number 4, December, 2007

              Peter Borwein and   
             Erich Kaltofen and   
         Michael J. Mossinghoff   Irreducible polynomials and Barker
                                  sequences  . . . . . . . . . . . . . . . 118--121
          Adrian Dumitrescu and   
                     Guangwu Xu   On a query algorithm for a divisibility
                                  problem  . . . . . . . . . . . . . . . . 122--124
                    Wenqin Zhou   Symbolic computation techniques for
                                  solving large expression problems from
                                  mathematics and engineering  . . . . . . 125--126


ACM Communications in Computer Algebra
Volume 42, Number 1--2, mar # / # jun, 2008

             Michael P. Barnett   Reasoning in symbolic computation  . . . 1--17
          George E. Andrews and   
                    Peter Paule   Further developments in MacMahon's
                                  partition analysis (abstract only) . . . 18--18
                Lara K. Pudwell   How to cleverly count pattern-avoiding
                                  words (abstract only)  . . . . . . . . . 18--18
                Marko Petkovsek   Solving multivariate linear recurrences
                                  in wedges (abstract only)  . . . . . . . 18--19
             Sara C. Billey and   
            Stephen A. Mitchell   Affine colored partitions (abstract
                                  only)  . . . . . . . . . . . . . . . . . 19--19
         William Y. C. Chen and   
               Ernest X. W. Xia   The $q$-WZ method for infinite sums
                                  (abstract only)  . . . . . . . . . . . . 19--19
              Carsten Schneider   Multi-summation in difference fields
                                  (abstract only)  . . . . . . . . . . . . 19--19
           Doron Zeilberger and   
  Thotsaporn Aek Thanatipanonda   Computer-generated conjectures(!) and
                                  proofs(!!) in combinatorial game theory
                                  (abstract only)  . . . . . . . . . . . . 19--20
  Thotsaporn Aek Thanatipanonda   Computer-generated conjectures(!) and
                                  proofs(!!) in combinatorial game theory
                                  (II) (abstract only) . . . . . . . . . . 20--20
              Nicolas M. Thiery   Implementing Algebraic Combinatorics:
                                  Some feedback from the development of
                                  MuPAD--Combinat (abstract only)  . . . . 20--20
       Mikael Vejdemo-Johansson   Enumerating the Saneblidze--Umble
                                  diagonal in Haskell (abstract only)  . . 20--20
Ana Romero Ibáñez Ibáñez   Homologa efectiva y sucesiones
                                  espectrales (abstract only)  . . . . . . 21--21
                   Silvana Ilie   Computational complexity of numerical
                                  solutions of initial value problems for
                                  differential algebraic equations
                                  (abstract only)  . . . . . . . . . . . . 21--22
            Elias P. Tsigaridas   Algebraic computations and applications
                                  to geometry (abstract only)  . . . . . . 22--22
                      Anonymous   In Memoriam Eugeny Pankratiev: Faculty
                                  of Mechanics and Mathematics, Moscow
                                  State University, Moscow, Russia . . . . 23--26
                Mark Giesbrecht   ACM 2007 Kanellakis Award Honours Bruno
                                  Buchberger, Innovator of Automated Tools
                                  for Mathematics  . . . . . . . . . . . . 37--38
                   David Joyner   Open source computer algebra systems:
                                  Axiom  . . . . . . . . . . . . . . . . . 39--47
              Andrew Arnold and   
                Michael Monagan   Calculating really big cyclotomic
                                  polynomials (abstract only)  . . . . . . 48--49
                 Kevin Doerksen   Genus 2 curves with split Jacobians
                                  (abstract only)  . . . . . . . . . . . . 49--50
                 Andrej Dujella   A variant of Wiener's attack on RSA with
                                  small secret exponent  . . . . . . . . . 50--51
Frédéric A. B. Edoukou   Computing the 2-distribution of points
                                  on Hermitian surfaces (abstract only)    52--53
                 Noam D. Elkies   Curves of genus 2 with many rational
                                  points via K3 surfaces (abstract only)   53--55
                  Felix Fontein   Abstract Infrastructures of Unit Rank
                                  Two (abstract only)  . . . . . . . . . . 55--56
           Steven Galbraith and   
             Raminder S. Ruprai   Computing $L$-polynomials of
                                  non-hyperelliptic genus 4 and 5 curves
                                  (abstract only)  . . . . . . . . . . . . 56--57
              Joshua Holden and   
                  Nathan Lindle   A statistical look at maps of the
                                  discrete logarithm (abstract only) . . . 57--59
                     Sonal Jain   Minimal heights and regulators for
                                  elliptic surfaces (abstract only)  . . . 59--61
             Ahmad Lavasani and   
                 Reza Mohammadi   Implementing a feasible attack against
                                  ECC2K-130 certicom challenge (abstract
                                  only)  . . . . . . . . . . . . . . . . . 61--62
        Sidi Mohamed Sedjelmaci   A straight line program computing the
                                  integer greatest common divisor
                                  (abstract only)  . . . . . . . . . . . . 62--64
                  Masaya Yasuda   The discrete logarithm problem on
                                  elliptic curves defined over $Q$
                                  (abstract only)  . . . . . . . . . . . . 64--66
          Saleh Al-shomrani and   
                      Paul Wang   DMAS: a Web-based distributed
                                  mathematics assessment system (abstract
                                  only)  . . . . . . . . . . . . . . . . . 67--68
                 Amine Benkiran   Brouwer's fixed point theorem (abstract
                                  only)  . . . . . . . . . . . . . . . . . 68--69
               Brandon Burkhart   Models of population dynamics (abstract
                                  only)  . . . . . . . . . . . . . . . . . 69--69
         Elena S. Dimitrova and   
          Brandilyn Stigler and   
         Abdul Salam Jarrah and   
          Reinhard Laubenbacher   Applications of the Gröbner fan to gene
                                  network reconstruction (abstract only)   69--69
              Caroline Ebersole   The population biology of infectious
                                  diseases (abstract only) . . . . . . . . 70--70
                Shuhong Gao and   
                     Mingfu Zhu   An incremental algorithm for irreducible
                                  decompositions of monomial ideals
                                  (abstract only)  . . . . . . . . . . . . 70--70
               Osman Guzide and   
                Kenneth May and   
                 James Getz and   
                   Adam Edgeson   New algebraic design for better P2P
                                  features (abstract only) . . . . . . . . 70--71
                     Maki Iwami   An attack on improved algebraic surface
                                  public-key cryptosystem (abstract only)  71--74
                     Josh Jones   The RSA algorithm (abstract only)  . . . 74--74
               David Joyner and   
                  Robert Miller   SAGE and coding theory (abstract only)   74--78
              Michael A. Kelsey   Dethroning Fibonacci Sequence (abstract
                                  only)  . . . . . . . . . . . . . . . . . 78--78
                    Xun Lai and   
                   Paul S. Wang   GeometryEditor: a Web-based interactive
                                  geometry manipulative authoring system
                                  (abstract only)  . . . . . . . . . . . . 78--79
                   Robert Lewis   Comparing acceleration techniques for
                                  the Dixon and Macaulay resultants
                                  (abstract only)  . . . . . . . . . . . . 79--81
                 Dongmei Li and   
                Jinwang Liu and   
                    Shuhong Gao   The $w$-Gröbner bases and monomial ideal
                                  under polynomial composition (abstract
                                  only)  . . . . . . . . . . . . . . . . . 81--82
                John P. May and   
            Mark Giesbrecht and   
               Daniel Roche and   
           Marc Moreno Maza and   
                     Yuzhen Xie   Automatic variable order selection for
                                  polynomial system solving (abstract
                                  only)  . . . . . . . . . . . . . . . . . 83--83
          Robert W. McGrail and   
                    Mary Sharac   Tricoloring as a corrective measure
                                  (abstract only)  . . . . . . . . . . . . 83--85
                 Andrew Novocin   Factoring univariate polynomials over
                                  the rationals (abstract only)  . . . . . 85--85
                 Matthew Prince   The concept of derivatives using
                                  abstract algebra (abstract only) . . . . 85--86
               Robert Quinn and   
                      Hoon Hong   Connectivity in semialgebraic sets
                                  (abstract only)  . . . . . . . . . . . . 86--86
                     Sean Riley   Origami and mathematics (abstract only)  86--86
               Daniel Roche and   
                Mark Giesbrecht   Detecting polynomial perfect powers
                                  (abstract only)  . . . . . . . . . . . . 87--87
                     Wei Su and   
                  Chuan Cai and   
               Paul S. Wang and   
                        Lian Li   A solution for online entering and
                                  editing mathematical formulas (abstract
                                  only)  . . . . . . . . . . . . . . . . . 87--88
             Mingsheng Wang and   
                    Jinwang Liu   Factorization problems on $n$-D
                                  polynomial matrices (abstract only)  . . 88--89
                Stephen M. Watt   On the functional decomposition of
                                  multivariate Laurent polynomials
                                  (abstract only)  . . . . . . . . . . . . 89--90
                  Randall Wolfe   Divisibility tests (abstract only) . . . 90--90
              George Yuhasz and   
                 Erich Kaltofen   Computing minimal generators of integer
                                  matrix sequences (abstract only) . . . . 91--91
                    Dean Zeller   An introduction to programming
                                  curriculum including elements of
                                  mathematics, art, and creative writing
                                  (abstract only)  . . . . . . . . . . . . 91--91
                       Wei Zhou   Efficient order basis computation
                                  (abstract only)  . . . . . . . . . . . . 91--91
                Mack Giesbrecht   The MICA 2008 Conference, Preface and
                                  Abstracts  . . . . . . . . . . . . . . . 92--102
             Ilias S. Kotsireas   Mathematical Methods in Computer Science
                                  2008: MMICS 2008, December 17--19, 2008,
                                  Karlsruhe, Germany . . . . . . . . . . . 103--103
                      Anonymous   10th International Symposium on Symbolic
                                  and Numeric Algorithms for Scientific
                                  Computing, Timisoara, Romania, September
                                  26--29, 2008 . . . . . . . . . . . . . . 104--104

ACM Communications in Computer Algebra
Volume 42, Number 3, September, 2008

             Benno Fuchssteiner   Modified Gauss algorithm for matrices
                                  with symbolic entries  . . . . . . . . . 108--121
                Kosaku Nagasaka   Approximate polynomial GCD over integers 124--126
             Tateaki Sasaki and   
                    Daiju Inaba   Convergence domain of series expansions
                                  of multivariate algebraic functions  . . 127--128
               Howard Cheng and   
              George Labahn and   
                       Wei Zhou   Computing polynomial LCM and GCD in
                                  Lagrange basis . . . . . . . . . . . . . 129--130
                    Thomas Wolf   On solving large systems of polynomial
                                  equations appearing in discrete
                                  differential geometry  . . . . . . . . . 131--134
           Bruno Buchberger and   
         Georg Regensburger and   
          Markus Rosenkranz and   
                   Loredana Tec   General polynomial reduction with TH 9
                                  OREM 8 functors: applications to
                                  integro-differential operators and
                                  polynomials  . . . . . . . . . . . . . . 135--137
            Massimo Caboara and   
                Fabrizio Caruso   Group actions on Gröbner bases of
                                  saturated zero-dimensional binomial
                                  ideals . . . . . . . . . . . . . . . . . 138--139
              Shutaro Inoue and   
              Kohei Mukaida and   
               Akira Suzuki and   
                    Yosuke Sato   Computation of inverses in residue class
                                  rings with parameters  . . . . . . . . . 140--141
                 Ivan Morel and   
       Damien Stehlé and   
                 Gilles Villard   From an LLL-reduced basis to another . . 142--143
              Masaaki Kanno and   
          Kazuhiro Yokoyama and   
                  Hirokazu Anai   Solution of the algebraic Riccati
                                  equation using the sum of roots  . . . . 144--145
           Lim Yohanes Stefanus   De Boor--Fix dual functionals for
                                  transformation from polynomial basis to
                                  convolution basis  . . . . . . . . . . . 146--148
              Xiao-Shan Gao and   
                   Zhenyu Huang   A characteristic set method for equation
                                  solving over finite fields . . . . . . . 149--150
                 G. Ch\`eze and   
                  M. Elkadi and   
                 A. Galligo and   
                     M. Weimann   Absolute factoring of bidegree bivariate
                                  polynomials  . . . . . . . . . . . . . . 151--153
                 Annie Cuyt and   
                   Wen-shin Lee   Sparse multivariate polynomial
                                  interpolation via the
                                  quotient-difference algorithm  . . . . . 154--155
           Mhenni M. Benghorbal   Unified formulas for arbitrary order
                                  symbolic derivatives and
                                  anti-derivatives of the power-inverse
                                  hyperbolic class 1 . . . . . . . . . . . 156--156
               Andy Novocin and   
                 Mark van Hoeij   Factoring univariate polynomials over
                                  the rationals  . . . . . . . . . . . . . 157--157
          Shuichi Moritsugu and   
                   Chisato Arai   Geometry theorem proving by Gröbner
                                  bases: using ideal decompositions  . . . 158--159
             Ioannis Emiris and   
           Bernard Mourrain and   
               Elias Tsigaridas   Computing a rational in between  . . . . 160--161
               Changbo Chen and   
                   Liyun Li and   
           Marc Moreno Maza and   
                    Wei Pan and   
                     Yuzhen Xie   On the representation of constructible
                                  sets . . . . . . . . . . . . . . . . . . 162--163
                  Ziming Li and   
              Martin Ondera and   
                    Huaifu Wang   Simplifying skew fractions modulo
                                  differential and difference relations    164--165
          Andrey V. Banshchikov   Analysis of dynamics of
                                  large-dimensional mechanical systems by
                                  the tools of computer algebra  . . . . . 166--166
                    Kelly Roach   Solving integrals with the quantum
                                  computer algebra system  . . . . . . . . 167--168
                   Alberto Arri   The F5 criterion revised . . . . . . . . 169--170
                     Xin Li and   
           Marc Moreno Maza and   
             Raqeeb Rasheed and   
             Éric Schost   The modpn library: bringing fast
                                  polynomial arithmetic into MAPLE . . . . 172--174
          Tatsuyoshi Hamada and   
        KNOPPIX/Math committers   KNOPPIX/Math: a live system for enjoying
                                  mathematics with computer  . . . . . . . 175--176
                 Zhonggang Zeng   ApaTools: a software toolbox for
                                  approximate polynomial algebra . . . . . 177--179
               G. M. Greuel and   
                 G. Pfister and   
             H. Schönemann   SINGULAR: a computer algebra system for
                                  polynomial computations  . . . . . . . . 180--181
               Changbo Chen and   
           Marc Moreno Maza and   
    François Lemaire and   
                    Wei Pan and   
                   Liyun Li and   
                     Yuzhen Xie   The ConstructibleSetTools and
                                  ParametricSystemTools modules of the
                                  RegularChains library in Maple . . . . . 182--184
                  Fritz Schwarz   ALLTYPES in the Web  . . . . . . . . . . 185--187

ACM Communications in Computer Algebra
Volume 42, Number 4, December, 2008

                Emanuel Sperner   On a combinatorial theorem of Macaulay
                                  and its applications to the theory of
                                  polynomial ideals  . . . . . . . . . . . 192--201
                Giuliano Casale   An application of exact linear algebra
                                  to capacity planning models  . . . . . . 202--205
            David R. Stoutemyer   Multivariate partial fraction expansion  206--210


ACM Communications in Computer Algebra
Volume 43, Number 1, March, 2009

              Kevin A. Broughan   An algorithm for the explicit evaluation
                                  of $\hbox{GL}(n R)$ Kloosterman sums . . 1--10
          Emmanuel Thomé   Abstracts of the CADO workshop on
                                  integer factorization  . . . . . . . . . 11--14
               Anthony C. Hearn   REDUCE is free software as of January
                                  2009 . . . . . . . . . . . . . . . . . . 15--16
                      Anonymous   Conference announcements . . . . . . . . 17--20

ACM Communications in Computer Algebra
Volume 43, Number 2, June, 2009

            Michael P. Abramson   Historical background to Gröbner's paper  22--23
          Wolfgang Gröbner   On the algebraic properties of integrals
                                  of linear differential equations with
                                  constant coefficients  . . . . . . . . . 24--46
                   David Joyner   AMS special session on SAGE and
                                  mathematical research using open source
                                  software . . . . . . . . . . . . . . . . 49--54

ACM Communications in Computer Algebra
Volume 43, Number 3, September, 2009

        Jürgen Gerhard and   
              D. J. Jeffrey and   
                Guillaume Moroz   A package for solving parametric
                                  polynomial systems . . . . . . . . . . . 61--72
            David R. Stoutemyer   Unit normalization of multinomials over
                                  Gaussian integers  . . . . . . . . . . . 73--76
                 C. Bertone and   
            G. Chéze and   
                     A. Galligo   Probabilistic algorithms for polynomial
                                  absolute factorization . . . . . . . . . 77--78
               Howard Cheng and   
                  George Labahn   Applying linear algebra routines to
                                  modular ore polynomial matrix algorithms 78--79
                 Annie Cuyt and   
                   Wen-shin Lee   Symbolic-numeric sparse interpolation of
                                  multivariate rational functions  . . . . 79--80
             Javier Esparza and   
             Andreas Gaiser and   
                  Stefan Kiefer   On least fixed points of systems of
                                  positive polynomials . . . . . . . . . . 81--83
              Shutaro Inoue and   
                    Yosuke Sato   Implementation of Boolean Gröbner bases
                                  in Risa/Asir . . . . . . . . . . . . . . 83--84
    Claude-Pierre Jeannerod and   
      Christophe Mouilleron and   
                 Gilles Villard   Extending Cardinal's algorithm to a
                                  broader class of structured matrices . . 84--85
           Marc Moreno Maza and   
                     Yuzhen Xie   Balanced dense polynomial multiplication
                                  on multi-cores . . . . . . . . . . . . . 85--87
               Hiroshi Murakami   A continued fraction type method to find
                                  a rational number in a given closed
                                  interval whose denominator is minimal    88--90
            Hiroki Nakayama and   
               Hiroshi Sekigawa   Determining divisibility between
                                  polynomials with inexact coefficients    91--94
                    Moshe Porat   A vector-quantization approach to coding
                                  systems  . . . . . . . . . . . . . . . . 94--96
       Bjarke Hammersholt Roune   A slice algorithm for Koszul simplicial
                                  complexes on the LCM lattice of monomial
                                  ideals . . . . . . . . . . . . . . . . . 96--98
Eduardo Sáenz de Cabezón and   
                  Henry P. Wynn   Efficient algorithms for the algebraic
                                  analysis of system reliability . . . . . 98--99
             Tateaki Sasaki and   
                Yasutaka Ookura   Approximate factorization of polynomials
                                  in $Z[x]$  . . . . . . . . . . . . . . . 99--101
            Nikta Shayanfar and   
              Mahmoud Hadizadeh   Computer algebraic efficiency of matrix
                                  polynomials for a system of integral
                                  equations  . . . . . . . . . . . . . . . 101--102
        Kiyoshi Shirayanagi and   
               Hiroshi Sekigawa   A new method of reducing exact
                                  computations to obtain exact results . . 102--104
                   Akira Suzuki   Computing Gröbner bases within linear
                                  algebra and its implementation . . . . . 104--105

ACM Communications in Computer Algebra
Volume 43, Number 4, December, 2009

                   David Joyner   Open source computer algebra systems:
                                  GAP  . . . . . . . . . . . . . . . . . . 110--118
            Christoph Koutschan   Advanced applications of the holonomic
                                  systems approach . . . . . . . . . . . . 119--119
                         Xin Li   Toward high-performance polynomial
                                  system solvers based on triangular
                                  decompositions . . . . . . . . . . . . . 120--120
               David Richardson   Efficient programming techniques for the
                                  SACLIB computer algebra library  . . . . 120--120
                       Hui Ding   Numerical and symbolic computation of
                                  the Lambert $W$ function in $C^{n \times
                                  n}$  . . . . . . . . . . . . . . . . . . 121--121


ACM Communications in Computer Algebra
Volume 44, Number 1, March, 2010

                  D. J. Jeffrey   LU factoring of non-invertible matrices  1--8
                Alin Bostan and   
               Shaoshi Chen and   
Frédéric Chyzak and   
                      Ziming Li   Rational-functions telescopers: blending
                                  creative telescoping with Hermite
                                  reduction  . . . . . . . . . . . . . . . 9--10
            Montserrat Manubens   Abstract only: Parametric polynomial
                                  system discussion: canonical
                                  comprehensive Gröbner systems . . . . . . 11--12
                    Silviu Radu   Abstract only: An algorithmic approach
                                  to Ramanujan's congruences and related
                                  problems . . . . . . . . . . . . . . . . 11--12

ACM Communications in Computer Algebra
Volume 44, Number 2, June, 2010

                      Anonymous   In memoriam: Chionh Eng Wee  . . . . . . 18--19
          Wolfgang Gröbner   On the Macaulay inverse system and its
                                  importance for the theory of linear
                                  differential equations with constant
                                  coefficients . . . . . . . . . . . . . . 20--23
                   Anton Leykin   Abstract only: Certified numerical
                                  solving of systems of polynomial
                                  equations  . . . . . . . . . . . . . . . 24--24
                 David Saunders   Abstract only: Exact linear algebra  . . 24--24
                 Mark van Hoeij   Abstract only: The complexity of
                                  factoring univariate polynomials over
                                  the rationals  . . . . . . . . . . . . . 24--24
                Gregory V. Bard   Abstract only: DEMOCRACY: a heuristic
                                  for polynomial systems of equations over
                                  finite fields  . . . . . . . . . . . . . 25--25
            Mark Giesbrecht and   
            Daniel S. Roche and   
               Hrushikesh Tilak   Abstract only: Complexity of sparsest
                                  multiple computation . . . . . . . . . . 25--25
                Deborah Mathews   Abstract only: An empirical study of
                                  parallel big number arithmetic . . . . . 25--25
             Lingchuan Meng and   
             Jeremy Johnson and   
           Franz Franchetti and   
           Yevgen Voronenko and   
           Marc Moreno Maza and   
                     Yuzhen Xie   Abstract only: SPIRAL-generated modular
                                  FFTs . . . . . . . . . . . . . . . . . . 25--26
                Yongjae Cha and   
             Mark van Hoeij and   
                     Giles Levy   Abstract only: Solving linear recurrence
                                  relations  . . . . . . . . . . . . . . . 26--26
              Tingting Fang and   
                 Mark van Hoeij   Abstract only: Solving linear
                                  differential equations by using descent  26--26
                Bryan Youse and   
              B. David Saunders   Abstract only: Bitslicing with matrix
                                  algorithms oblivious to the data
                                  compression  . . . . . . . . . . . . . . 26--26
           Florian Haftmann and   
            Cezary Kaliszyk and   
                 Walther Neuper   CTP-based programming languages?:
                                  considerations about an experimental
                                  design . . . . . . . . . . . . . . . . . 27--41
     Vincent Lefévre and   
    Philippe Théveny and   
        Florent de Dinechin and   
    Claude-Pierre Jeannerod and   
      Christophe Mouilleron and   
          David Pfannholzer and   
                 Nathalie Revol   LEMA: towards a language for reliable
                                  arithmetic . . . . . . . . . . . . . . . 41--52
             Serge Autexier and   
               Dominik Dietrich   Recent developments in Mega's proof
                                  search programming language  . . . . . . 52--59
                Luca De Feo and   
                    Eric Schost   \tt transalpyne: a language for
                                  automatic transposition  . . . . . . . . 59--71
              Stanislav Bulygin   Abstract only: Polynomial system solving
                                  for decoding linear codes and algebraic
                                  cryptanalysis parametric polynomial
                                  system discussion: canonical
                                  comprehensive  . . . . . . . . . . . . . 72--72
                      Anonymous   Abstracts of invited talks, contributed
                                  posters, and software demos at the East
                                  Coast Computer Algebra Day 2010  . . . . ??
                      Anonymous   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . ??
                      Anonymous   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . ??
                      Anonymous   Emerging trends papers accepted for
                                  PLMMS 2010 . . . . . . . . . . . . . . . ??
                      Anonymous   Issue 172 number 2, June 2010  . . . . . ??
                      Anonymous   Issue 171 number 1, March 2010 . . . . . ??

ACM Communications in Computer Algebra
Volume 44, Number 3, September, 2010

                     A. Gheffar   Linear differential, difference and
                                  $q$-difference homogeneous equations
                                  having no rational solutions . . . . . . 78--83
            Felix Antritter and   
               Johannes Middeke   An efficient algorithm for checking
                                  hyper-regularity of matrices . . . . . . 84--86
                Dennis S. Arnon   A product information management system
                                  as a workbench for quantifier
                                  elimination computations with QEPCAD . . 87--88
              Andrew Arnold and   
                Michael Monagan   A fast recursive algorithm for computing
                                  cyclotomic polynomials . . . . . . . . . 89--90
        Thomas Bächler and   
             Vladimir Gerdt and   
     Markus Lange-Hegermann and   
            Wilhelm Plesken and   
                 Daniel Robertz   Thomas decomposition and its
                                  applications . . . . . . . . . . . . . . 91--92
             Isabel Bermejo and   
    Ignacio García-Marco   An algorithm for checking whether a
                                  simplicial toric ideal is a complete
                                  intersection . . . . . . . . . . . . . . 93--94
     Johannes Blümlein and   
            Sebastian Klein and   
          Carsten Schneider and   
                    Flavia Stan   A symbolic summation approach to Feynman
                                  integrals  . . . . . . . . . . . . . . . 95--96
               Changno Chen and   
           Marc Moreno Maza and   
                     Yuzhen Xie   Cache complexity and multicore
                                  implementation for univariate real root
                                  isolation  . . . . . . . . . . . . . . . 97--98
   Muhammad F. I. Chowdhury and   
           Marc Moreno Maza and   
                    Wei Pan and   
             Éric Schost   Complexity and performance results for
                                  non FFT-based univariate polynomial
                                  multiplication . . . . . . . . . . . . . 99--100
                 Annie Cuyt and   
                   Wen-shin Lee   Reconstructing sparse trigonometric
                                  functions  . . . . . . . . . . . . . . . 101--102
               Xavier Dahan and   
           Marc Moreno Maza and   
         Éric Schost and   
                 Adrien Poteaux   Almost linear time operations with
                                  triangular sets  . . . . . . . . . . . . 103--104
                Luca De Feo and   
             Éric Schost   \tt transalpyne: a language for
                                  automatic transposition  . . . . . . . . 105--106
 Charles Éric Drevet and   
           Md. Nazrul Islam and   
             Éric Schost   Optimization techniques for small matrix
                                  multiplication . . . . . . . . . . . . . 107--108
  Burçin Eröcal and   
                Arne Storjohann   Nullspace computation over rational
                                  function fields for symbolic summation   109--110
        Sardar Anisul Haque and   
           Shahadat Hossain and   
                 M. Moreno Maza   Cache friendly sparse matrix-vector
                                  multiplication . . . . . . . . . . . . . 111--112
              Albert Heinle and   
            Viktor Levandovskyy   Factorization of polynomials in
                                  $Z$-graded skew polynomial rings . . . . 113--114
       Christian Hellström   VarInt: variational integrator design
                                  with Maple . . . . . . . . . . . . . . . 115--115
Seyed Mohammad Mahdi Javadi and   
                Michael Monagan   On sparse interpolation over finite
                                  fields . . . . . . . . . . . . . . . . . 116--117
                  Karen T. Kohl   An implementation of the method of
                                  brackets for symbolic integration  . . . 118--119
              Anja Korporal and   
         Georg Regensburger and   
              Markus Rosenkranz   A Maple package for integro-differential
                                  operators and boundary problems  . . . . 120--122
                    Jae Hee Lee   Cylindrical algebraic decomposition for
                                  reasoning about qualitative spatial
                                  knowledge  . . . . . . . . . . . . . . . 123--124
            Viktor Levandovskyy   Non-commutative subsystems of \sc
                                  Singular . . . . . . . . . . . . . . . . 125--126
              Shuichi Moritsugu   Radius computation for an inscribed
                                  pentagon in Sanpou-Hakki (1690)  . . . . 127--128
               Hiroshi Murakami   Sturm root counting using Chebyshev
                                  expansion  . . . . . . . . . . . . . . . 129--131
           Nalina Phisanbut and   
        Russell J. Bradford and   
             James H. Davenport   Geometry of branch cuts  . . . . . . . . 132--135
                 Sonia L. Rueda   Linear differential implicitization and
                                  differential resultants  . . . . . . . . 136--137
                Yannick Saouter   Heuristics for Cannon's algorithm with
                                  an application to Lyons sporadic group   138--139
            Yannick Saouter and   
        Gérald Le Mestre   A FPGA implementation of Chen's
                                  algorithm  . . . . . . . . . . . . . . . 140--141
             Tateaki Sasaki and   
                     Fujio Kako   Computing floating-point Gröbner bases
                                  accurately . . . . . . . . . . . . . . . 142--143
             Dana Schlomiuk and   
                  Nicolae Vulpe   Invariants and symbolic calculations in
                                  the theory of quadratic differential
                                  systems  . . . . . . . . . . . . . . . . 144--146
           Hiroshi Sekigawa and   
            Kiyoshi Shirayanagi   Solvability of bivariate polynomial
                                  systems under perturbation . . . . . . . 147--148
           Ekaterina Shemyakova   $X$- and $Y$-invariants for Darboux
                                  transformations  . . . . . . . . . . . . 149--150
             Grischa Studzinski   Computation of dimensions of
                                  non-commutative algebras . . . . . . . . 151--152
                    Akira Terui   GPGCD, an iterative method for
                                  calculating approximate GCD, for
                                  multiple univariate polynomials  . . . . 153--155
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 155--155
                    Flavia Stan   Algorithms for special functions:
                                  computer algebra and analytical aspects  156--157
                 Colas Bardavid   Differential schemes: geometric approach
                                  and functorial approach  . . . . . . . . 157--159

ACM Communications in Computer Algebra
Volume 44, Number 4, December, 2010

               Daniel E. Steffy   Exact solutions to linear systems of
                                  equations using output sensitive lifting 160--182
                Yongjae Cha and   
             Mark van Hoeij and   
                     Giles Levy   Solving linear recurrence equations  . . 183--185
          Felix Effenberger and   
                Jonathan Spreer   \tt simpcomp: a GAP toolbox for
                                  simplicial complexes . . . . . . . . . . 186--189
      Burçin Eröcal   Summation in finite terms using \tt sage 190--193
     Mickaël Gastineau and   
                 Jacques Laskar   TRIP: a computer algebra system
                                  dedicated to celestial mechanics and
                                  perturbation series  . . . . . . . . . . 194--197
       M\uad\ualina Hodorog and   
           Bernard Mourrain and   
                  Josef Schicho   GENOM3CK: a library for genus
                                  computation of plane complex algebraic
                                  curves using knot theory . . . . . . . . 198--200
            Mohamed Barakat and   
         Markus Lange-Hegermann   LocalizeRingForHomalg: localize
                                  commutative rings at maximal ideals  . . 201--204
            Michael Monagan and   
                   Roman Pearce   Sparse polynomial multiplication and
                                  division in Maple 14 . . . . . . . . . . 205--209
            The SCIEnce project   Symbolic computation software
                                  composability protocol and its
                                  implementations  . . . . . . . . . . . . 210--212
            The SCIEnce project   SymGrid-Par: parallel orchestration of
                                  symbolic computation systems . . . . . . 213--216
                 Jan Verschelde   Polynomial homotopy continuation with
                                  PHCpack  . . . . . . . . . . . . . . . . 217--220


ACM Communications in Computer Algebra
Volume 45, Number 1, March, 2011

               Daniel Lichtblau   Symbolic definite (and indefinite)
                                  integration: methods and open issues . . 1--16
             Robert Corless and   
                Erik Postma and   
            David R. Stoutemyer   Rounding coefficients and artificially
                                  underflowing terms in non-numeric
                                  expressions  . . . . . . . . . . . . . . 17--48
            Aaron Robertson and   
               Vince Vatter and   
               Gizel Maimon and   
                    Qing-Hu Hou   Abstracts of conferences in honor of
                                  Doron Zeilberger's 60th birthday . . . . 49--61
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 62--62

ACM Communications in Computer Algebra
Volume 45, Number 2, June, 2011

             Christian Eder and   
                Justin Gash and   
                     John Perry   Modifying Faug\`ere's F5 algorithm to
                                  ensure termination . . . . . . . . . . . 70--89
                Bruno Salvy and   
              Bob Sedgewick and   
              Michele Soria and   
       Wojciech Szpankowski and   
                Brigitte Vallee   Philippe Flajolet: the father of
                                  analytic combinatorics . . . . . . . . . 90--91
                  Gert Almkvist   Ramanujan-like formulas for $1 / \pi^2$
                                  and String Theory [abstract only]  . . . 92--92
            Ilias Kotsireas and   
                    Eugene Zima   Abstracts of WWCA 2011 in honor of Herb
                                  Wilf's 80th birthday . . . . . . . . . . 92--99
                       John May   East Coast Computer Algebra Day 2011
                                  abstracts  . . . . . . . . . . . . . . . 100--106
            Fatima K. Abu Salem   Parallel and cache-efficient Hensel
                                  lifting  . . . . . . . . . . . . . . . . 107--108
                 Mark Boady and   
             Pavel Grinfeld and   
                 Jeremy Johnson   A symbolic computation system for the
                                  calculus of moving surfaces  . . . . . . 109--110
                Alin Bostan and   
Frédéric Chyzak and   
                  Ziming Li and   
                    Bruno Salvy   Fast computation of common left
                                  multiples of linear ordinary
                                  differential operators . . . . . . . . . 111--112
   Muhammad F. I. Chowdhury and   
                Romain Lebreton   Root lifting techniques and applications
                                  to list decoding . . . . . . . . . . . . 113--114
         Samaresh Chatterji and   
                  Ratnik Gandhi   Computing equilibria with group actions  115--116
           Md. Nazrul Islam and   
                     A. Poteaux   Connectivity queries on curves in $R_n$  117--118
                Hiroshi Kai and   
                Shigenobu Inoue   Cheater identification on a secret
                                  sharing scheme using GCD . . . . . . . . 119--120
             Deepanjan Kesh and   
              Shashank K. Mehta   A saturation algorithm for homogeneous
                                  binomial ideals  . . . . . . . . . . . . 121--122
       Christos Koukouvinos and   
          Dimitris E. Simos and   
     Zafeirakis Zafeirakopoulos   An algebraic framework for extending
                                  orthogonal designs . . . . . . . . . . . 123--124
                     Yue Li and   
               Gabriel Dos Reis   An automatic parallelization framework
                                  for OpenAxiom  . . . . . . . . . . . . . 125--126
           Marc Moreno Maza and   
                        Wei Pan   Solving bivariate polynomial systems on
                                  a GPU  . . . . . . . . . . . . . . . . . 127--128
           Marc Moreno Maza and   
                     Paul Vrbik   Inverting matrices modulo regular chains 129--130
           Hiroshi Sekigawa and   
            Kiyoshi Shirayanagi   Isolated real zero of a real polynomial
                                  system under perturbation  . . . . . . . 131--132
                Clemens G. Raab   Integration in finite terms of
                                  non-Liouvillian functions  . . . . . . . 133--134
              Hamid Rahkooy and   
     Zafeirakis Zafeirakopoulos   Using resultants for inductive Gröbner
                                  bases computation  . . . . . . . . . . . 135--136
         Manuela Wiesinger-Widi   Gröbner bases and generalized Sylvester
                                  matrices . . . . . . . . . . . . . . . . 137--138
          Christoph Zengler and   
        Andreas Kübler and   
          Wolfgang Küchlin   New approaches to Boolean quantifier
                                  elimination  . . . . . . . . . . . . . . 139--140
          Christoph Zengler and   
          Wolfgang Küchlin   Boolean Gröbner bases in SAT solving  . . 141--142
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 143--145

ACM Communications in Computer Algebra
Volume 45, Number 3--4, September, 2011

                Wolfgang Trinks   On Buchberger's method of solving
                                  systems of algebraic equations . . . . . 150--161
                    Akira Terui   Abstracts from RIMS workshop on
                                  developments in computer algebra
                                  research . . . . . . . . . . . . . . . . 162--165
               Changbo Chen and   
         James H. Davenport and   
    François Lemaire and   
           Marc Moreno Maza and   
                  Bican Xia and   
                  Rong Xiao and   
                     Yuzhen Xie   Computing the real solutions of
                                  polynomial systems with the
                                  RegularChains library in Maple . . . . . 166--168
             J. A. De Loera and   
                   B. Dutra and   
              M. Köppe and   
                S. Moreinis and   
                   G. Pinto and   
                          J. Wu   Software for exact integration of
                                  polynomials over polyhedra . . . . . . . 169--172
          Felix Effenberger and   
                Jonathan Spreer   Simplicial blowups and discrete normal
                                  surfaces in simpcomp . . . . . . . . . . 173--176
             Michael Joswig and   
             Andreas Paffenholz   Defect polytopes and counter-examples
                                  with polymake  . . . . . . . . . . . . . 177--179
                 Antonio Montes   Software for computing the Gröbner cover
                                  of a parametric ideal  . . . . . . . . . 180--182
              Alexander Raichev   New software for computing asymptotics
                                  of multivariate generating functions . . 183--185
       Joris van der Hoeven and   
     Grégoire Lecerf and   
           Bernard Mourrain and   
  Philippe Trébuchet and   
Jérémy Berthomieu and   
        Daouda Niang Diatta and   
           Angelos Mantzaflaris   Mathemagix: the quest of modularity and
                                  efficiency for symbolic and certified
                                  numeric computation? . . . . . . . . . . 186--188
                   Loredana Tec   A symbolic framework for general
                                  polynomial domains in theorema:
                                  applications to boundary problems  . . . 189--189
               Johannes Middeke   A computational view on normal forms of
                                  matrices of Ore polynomials  . . . . . . 190--191
            David R. Stoutemyer   Ways to implement computer algebra
                                  compactly  . . . . . . . . . . . . . . . 199--224
               David Joyner and   
   Ond\vrej \vCertík and   
               Aaron Meurer and   
               Brian E. Granger   Open source computer algebra systems:
                                  SymPy  . . . . . . . . . . . . . . . . . 225--234
               David Joyner and   
       Ondrej Certík and   
               Aaron Meurer and   
               Brian E. Granger   Richard Dimick Jenks Memorial Prize 2011 235--235
          Jónathan Heras   Mathematical knowledge management in
                                  algebraic topology . . . . . . . . . . . 236--237
           Angelos Mantzaflaris   Robust algebraic methods for geometric
                                  computing  . . . . . . . . . . . . . . . 237--237
     L. X. Châu Ngô   Rational general solutions of
                                  first-order algebraic ODEs . . . . . . . 238--238
                    Nils Lubbes   Minimal families of curves on surfaces   238--239
               Madalina Hodorog   Symbolic-numeric algorithms for plane
                                  algebraic curves . . . . . . . . . . . . 239--240


ACM Communications in Computer Algebra
Volume 46, Number 1--2, March / June, 2012

             James H. Davenport   Small algorithms for small systems . . . 1--9
                     John Fitch   James Griesmer 1929--2011  . . . . . . . 10--11
               Doron Zeilberger   Farewell to ``W'' (Herbert Saul Wilf), a
                                  true VISIONARY for whom EVERYTHING was
                                  INTERTWINED  . . . . . . . . . . . . . . 12--13
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 14--16
            David R. Stoutemyer   Series crimes  . . . . . . . . . . . . . 19--52
                 Jeremy Johnson   In Memoriam: Werner Krandick . . . . . . 52--54
                Tony Shaska and   
               Daniel E. Steffy   East Coast Computer Algebra Day 2012
                                  abstracts  . . . . . . . . . . . . . . . 55--59
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 60--63

ACM Communications in Computer Algebra
Volume 46, Number 3--4, September, 2012

            David J. Wilson and   
        Russell J. Bradford and   
             James H. Davenport   A repository for CAD examples  . . . . . 67--69
                      Anonymous   Stefan Dodunekov 1945--2012  . . . . . . 70--71
            Fatima K. Abu Salem   A cache-oblivious engineering of the G2V
                                  algorithm for computing Gröbner bases . . 72--73
             Skander Belhaj and   
           Ha\"\ithem Ben Kahla   On the complexity of computing the GCD
                                  of two polynomials via Hankel matrices   74--75
               Felix Breuer and   
     Zafeirakis Zafeirakopoulos   Partition analysis via polyhedral
                                  geometry . . . . . . . . . . . . . . . . 76--77
               Nader H. Bshouty   Testers  . . . . . . . . . . . . . . . . 78--79
                Yongjae Cha and   
              Veronika Pillwein   Closed form solutions of linear
                                  difference equations in terms of
                                  symmetric products . . . . . . . . . . . 80--81
                   Xavier Dahan   On the structure of lexicographic Gröbner
                                  bases in dimension zero  . . . . . . . . 82--83
                   Max Demenkov   Estimating region of attraction for
                                  polynomial vector fields by homotopy
                                  methods  . . . . . . . . . . . . . . . . 84--85
G\`aérard H. E. Duchamp and   
         Vincel Hoang Ngoc Minh   Dual families in enveloping algebras . . 86--87
          Ioannis Z. Emiris and   
                Tatjana Kalinka   Sparse implicitization using support
                                  prediction . . . . . . . . . . . . . . . 88--89
                 C. Fassino and   
                    M. Torrente   Zero-dimensional ideals of limited
                                  precision points . . . . . . . . . . . . 90--91
     Jean-Charles Faug\`are and   
            Pierrick Gaudry and   
                Louise Huot and   
    Guénaël Renault   Fast change of ordering with exponent $
                                  \omega $ . . . . . . . . . . . . . . . . 92--93
       Laurent Hascoët and   
           Shahadat Hossain and   
                 Trond Steihaug   Structured computation in optimization
                                  and algorithmic differentiation  . . . . 94--95
             Mark van Hoeij and   
              Vijay Jung Kunwar   Finding $_2F_1$ type solutions of
                                  differential equations with $5$
                                  singularities  . . . . . . . . . . . . . 96--97
              V. D. Irtegov and   
                T. N. Titorenko   Symbolic analysis of dynamic systems . . 98--99
           Maximilian Jaroschek   Improved polynomial remainder sequences
                                  for ore polynomials  . . . . . . . . . . 100--101
                  Hao Jiang and   
              Stef Graillat and   
                 Roberto Barrio   Accurate computing elementary symmetric
                                  functions  . . . . . . . . . . . . . . . 102--103
           Dejan Jovanovi'c and   
              Leonardo de Moura   Solving non-linear arithmetic  . . . . . 104--105
              George Labahn and   
               Johannes Middeke   Gröbner walk for computing matrix normal
                                  forms over Ore polynomials . . . . . . . 106--107
            Romain Lebreton and   
            Esmaeil Mehrabi and   
             Éric Schost   On the complexity of computing certain
                                  resultants . . . . . . . . . . . . . . . 108--109
                     Wei Li and   
             Chun-Ming Yuan and   
                  Xiao-Shan Gao   Sparse differential resultant for
                                  Laurent differential polynomials . . . . 110--111
           Alberto Llorente and   
    Jorge Mozo-Fernández   Numeric-symbolic methods for computing
                                  the Liouvillian solutions of
                                  differential equations and systems . . . 112--113
                   Thang Luu Ba   The matrix based representations of the
                                  intersection curves  . . . . . . . . . . 114--115
                Kosaku Nagasaka   Backward error analysis of approximate
                                  Gröbner basis . . . . . . . . . . . . . . 116--117
          Esteban Segura Ugalde   Polynomial root-finding via structured
                                  matrices . . . . . . . . . . . . . . . . 118--119
           Hiroshi Sekigawa and   
            Kiyoshi Shirayanagi   Maximal perturbation for preserving the
                                  number of solutions of a polynomial
                                  system . . . . . . . . . . . . . . . . . 120--121
         Konstantin Usevich and   
                 Ivan Markovsky   Variable projection methods for
                                  approximate GCD computations . . . . . . 122--124
                 Wenyuan Wu and   
               Jingwei Chen and   
                      Yong Feng   An efficient algorithm to factorize
                                  sparse bivariate polynomials over the
                                  rationals  . . . . . . . . . . . . . . . 125--126
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 127--129
            David R. Stoutemyer   Series misdemeanors  . . . . . . . . . . 134--153
              Anja Korporal and   
         Georg Regensburger and   
              Markus Rosenkranz   ISSAC 2012 software demonstrations:
                                  Symbolic computation for ordinary
                                  boundary problems in maple . . . . . . . 154--156
         Moulay A. Barkatou and   
       Eckhard Pflügel and   
                    Flavia Stan   ISOLDE: a Maple package for systems of
                                  linear functional equations  . . . . . . 157--159
                 I. Bermejo and   
  E. García-Llorente and   
                    Ph. Gimenez   \tt monomialideal.lib  . . . . . . . . . 160--161
            The HPC-GAP project   Parallel programming support in GAP  . . 161--163
            Michael Monagan and   
                   Roman Pearce   POLY: a new polynomial data structure
                                  for Maple 17 . . . . . . . . . . . . . . 164--167
              Guillaume Quintin   The decoding Library for list decoding   168--170
                Xiaoyu Chen and   
              Dongming Wang and   
                      Ting Zhao   GeoText: an intelligent dynamic geometry
                                  textbook . . . . . . . . . . . . . . . . 171--175
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 176--179


ACM Communications in Computer Algebra
Volume 47, Number 1--2, March, 2013

                 Christian Eder   Improving incremental signature-based
                                  Gröbner basis algorithms  . . . . . . . . 1--13
                Stephen Wolfram   Remembering Richard Crandall
                                  (1947--2012) . . . . . . . . . . . . . . 14--15
               Manuel Bronstein   Manuel Bronstein's codes . . . . . . . . 16--16
                      Anonymous   ISSAC 2015: call for bids  . . . . . . . 17--17
                      Anonymous   Richard D. Jenks prize 2013: call for
                                  nominations  . . . . . . . . . . . . . . 18--18
                 Jeremy Johnson   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 19--23
                      Anonymous   Recent and upcoming events . . . . . . . 24--25
            David R. Stoutemyer   Simplifying products of fractional
                                  powers of powers . . . . . . . . . . . . 26--58
       Joris van der Hoeven and   
              Andrey Grozin and   
     Massimiliano Gubinelli and   
     Grégoire Lecerf and   
    François Poulain and   
                     Denis Raux   GNU TEXmacs: a scientific editing
                                  platform . . . . . . . . . . . . . . . . 59--61
                  Albert Heinle   Review of ``A first course in
                                  computational algebraic geometry'' by W.
                                  Decker and G. Pfister  . . . . . . . . . 62--63
                      Dan Roche   Abstracts of the 2013 East Coast
                                  Computer Algebra Day . . . . . . . . . . 64--70
                      Anonymous   Recent and upcoming events . . . . . . . 71--72

ACM Communications in Computer Algebra
Volume 47, Number 3--4, September, 2013

              Tony C. Scott and   
                   Greg Fee and   
           Johannes Grotendorst   Asymptotic series of generalized Lambert
                                  $W$ function . . . . . . . . . . . . . . 75--83
             Erich Kaltofen and   
             Alexey Ovchinnikov   NSF funding opportunities for symbolic
                                  computation  . . . . . . . . . . . . . . 84--84
                  Efi Fogel and   
               Monique Teillaud   The Computational Geometry Algorithms
                                  Library CGAL . . . . . . . . . . . . . . 85--87
            Kosaku Nagasaka and   
                  Takaaki Masui   Revisiting QRGCD and comparison with
                                  ExQRGCD  . . . . . . . . . . . . . . . . 88--89
                     C. Bui and   
           G. H. E. Duchamp and   
                Hoang Ngoc Minh   Schützenberger's factorization on
                                  $q$-stuffle Hopf algebra . . . . . . . . 90--91
             Sidi M. Sedjelmaci   Fast parallel GCD algorithm of many
                                  integers . . . . . . . . . . . . . . . . 92--93
                   Xiangui Zhao   Gelfand--Kirillov dimensions of
                                  differential difference modules via
                                  Gröbner bases . . . . . . . . . . . . . . 94--95
         Éric Schost and   
       Pierre-Jean Spaenlehauer   Newton-like iteration for determinantal
                                  systems and structured low rank
                                  approximation  . . . . . . . . . . . . . 96--97
      Muhammad Taimoor Khan and   
             Wolfgang Schreiner   A verification framework for MiniMaple
                                  programs . . . . . . . . . . . . . . . . 98--99
              Pascal Giorgi and   
                Romain Lebreton   Relaxing order basis computation . . . . 100--101
                 Bastien Vialla   Block Wiedemann algorithm on multicore
                                  architectures  . . . . . . . . . . . . . 102--103
              Andrew Arnold and   
            Mark Giesbrecht and   
                      Dan Roche   Recursive sparse interpolation . . . . . 104--105
             Lingchuan Meng and   
                 Jeremy Johnson   Towards parallel general-size library
                                  generation for polynomial multiplication 106--107
                Jiaxiong Hu and   
                Michael Monagan   A parallel algorithm to compute the
                                  greatest common divisor of sparse
                                  multivariate polynomials . . . . . . . . 108--109
                    Akira Terui   Calculating approximate GCD of multiple
                                  univariate polynomials using approximate
                                  syzygies . . . . . . . . . . . . . . . . 110--111
                  Yong Feng and   
               Jingwei Chen and   
                     Wenyuan Wu   Incremental PSLQ with application to
                                  algebraic number reconstruction  . . . . 112--113
                   James G. Wan   Hypergeometric generating functions and
                                  series for $ 1 / \pi $ . . . . . . . . . 114--115
               Johannes Middeke   Annihilating monomials with the
                                  integro-differential Weyl algebra  . . . 116--117
             Gavin Harrison and   
             Jeremy Johnson and   
              B. David Saunders   Probabilistic analysis of Wiedemann's
                                  algorithm for minimal polynomial
                                  computation  . . . . . . . . . . . . . . 118--119
                 James Belk and   
              Nabil Hossain and   
          Francesco Matucci and   
                 Robert McGrail   Implementation of a solution to the
                                  conjugacy problem in Thompson's group
                                  $F$  . . . . . . . . . . . . . . . . . . 120--121
                Thomas Wolf and   
     Eberhard Schrüfer and   
                Kenneth Webster   A linear sparse systems solver (LSSS)
                                  applied to the classification of
                                  integrable non-abelian Laurent ODEs  . . 122--123
                    CCA editors   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 124--125
            David R. Stoutemyer   A computer algebra user interface
                                  manifesto  . . . . . . . . . . . . . . . 130--165
              Fredrik Johansson   Arb: a C library for ball arithmetic . . 166--169
             Zhonggang Zeng and   
                   Tien-Yien Li   NAClab: a Matlab toolbox for numerical
                                  algebraic computation  . . . . . . . . . 170--173
                   E. J. Postma   The new group theory package in Maple 17 174--178
            Christoph Koutschan   Holonomic functions in Mathematica . . . 179--182
                   Anton Betten   Classifying discrete objects with
                                  Orbiter  . . . . . . . . . . . . . . . . 183--186
                 Erich Kaltofen   Jenks Prize 2013 award citation  . . . . 187--187
                      Anonymous   Mark Giesbrecht ACM distinguished
                                  scientist  . . . . . . . . . . . . . . . 188--188
                    CCA Editors   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 189--190


ACM Communications in Computer Algebra
Volume 48, Number 1/2, March, 2014

                      Anonymous   Message from the SIGSAM chair  . . . . . 1--2
                    John Abbott   Quadratic interval refinement for real
                                  roots  . . . . . . . . . . . . . . . . . 3--12
                Raoul Blankertz   A polynomial time algorithm for
                                  computing all minimal decompositions of
                                  a polynomial . . . . . . . . . . . . . . 13--23
                 M. England and   
             E. Cheb-Terrab and   
                R. Bradford and   
            J. H. Davenport and   
                      D. Wilson   Branch cuts in Maple 17  . . . . . . . . 24--27
                    CCA editors   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 28--31
             Ilias S. Kotsireas   Message from the SIGSAM Chair  . . . . . 32--32
          Robert M. Corless and   
                  Junrui Hu and   
                  D. J. Jeffrey   Some definite integrals containing the
                                  Tree T function  . . . . . . . . . . . . 33--41
              Tony C. Scott and   
                   Greg Fee and   
       Johannes Grotendorst and   
                    W. Z. Zhang   Numerics of the generalized Lambert W
                                  function . . . . . . . . . . . . . . . . 42--56
                 Wolfram Decker   Review of ``Numerically Solving
                                  Polynomial Systems with Bertini'' by
                                  Daniel J. Bates, Jonathan D. Hauenstein,
                                  Andrew J. Sommese, and Charles W.
                                  Wampler  . . . . . . . . . . . . . . . . 57--58
                      Anonymous   Abstracts of the 2014 East Coast
                                  Computer Algebra Day: Communicated by
                                  Xiaobai Sun, Nikos P. Pitsianis, and
                                  Alexandros-Stavros Iliopoulos  . . . . . 59--63
                    CCA editors   Abstracts of recent doctoral
                                  dissertations in computer algebra  . . . 64--66
             Alexey Ovchinnikov   Kolchin seminar in differential algebra  67--69
                    William Sit   The Kolchin seminar in differential
                                  algebra at the Graduate Center of the
                                  City University of New York: Summer ---
                                  2014 . . . . . . . . . . . . . . . . . . 70--73


Communications of the ACM
Volume 28, Number 8, August, 1985

              J. M. Shearer and   
                    M. A. Wolfe   ALGLIB, a simple symbol-manipulation
                                  package  . . . . . . . . . . . . . . . . 820--825