@incollection{Ausiello-Spaccamela-Nanni/89,
AUTHOR = {Ausiello, G. and Spaccamela, A. Marchetti and Nanni, U.},
TITLE = {Dynamic maintenance of paths and path expressions on graphs},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {1-12},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Musser-Stepanov/89,
AUTHOR = {Musser, David R. and Stepanov, A.A.},
TITLE = {Generic programming},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {13-25},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sergeraert/89,
AUTHOR = {Sergeraert, F.},
TITLE = {From a noncomputability result to new interesting definitions and computability results},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {26-32},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sharma-Wang/89,
AUTHOR = {Sharma, N. and Wang, P.S.},
TITLE = {Symbolic derivation and automatic generation of parallel routines for finite element analysis},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {33-56},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Singer/89,
AUTHOR = {Singer, M.F.},
TITLE = {Liouvillian first integrals of differential equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {57-63},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bronstein/89,
AUTHOR = {Bronstein, M.},
TITLE = {Fast reduction of the Risch differential equation},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {64-72},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chaffy-Camus/89,
AUTHOR = {Chaffy-Camus, C.},
TITLE = {An application of REDUCE to the approximation of $f(x,y)$},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {73-84},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vinette-Cizek/89,
AUTHOR = {Vinette, F. and {\v{C}}{\'i}{\v{z}}ek, J.},
TITLE = {The use of symbolic computation in solving some non-relativistic quantum mechanical problems},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {85-95},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdali-Wise/89,
AUTHOR = {Abdali, S.K. and Wise, D.S.},
TITLE = {Experiments with quadtree representation of matrices},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {96-108},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Char-Macnaughton-Strooper/89,
AUTHOR = {Char, B.W. and Macnaughton, A.R. and Strooper, P.A.},
TITLE = {Discovering inequality conditions in the analytical solution of optimization problems},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {109-115},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Traverso/89,
AUTHOR = {Traverso, C.},
TITLE = {Gr{\"o}bner trace algorithms},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {125-138},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=125},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kobayashi-Moritsugu-Hogan/89a,
AUTHOR = {Kobayashi, H. and Moritsugu, S. and Hogan, R.W.},
TITLE = {Solving systems of algebraic equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {139-149},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mora/89,
AUTHOR = {Mora, T.},
TITLE = {Gr{\"o}bner bases in non-commutative algebras},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {150-161},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galligo-Pottier-Traverso/89,
AUTHOR = {Galligo, A. and Pottier, L. and Traverso, C.},
TITLE = {Greater easy common divisor and standard basis completion algorithms},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {162-176},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnborg/89,
AUTHOR = {Arnborg, S.},
TITLE = {Experiments with a projection operator for algebraic decomposition},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {177-182},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barkatou/89,
AUTHOR = {Barkatou, M.A.},
TITLE = {Rational Newton algorithm for computing formal solutions of linear differential equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {183-195},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{MacCallum/89,
AUTHOR = {MacCallum, M.A.H.},
TITLE = {An ordinary differential equation solver for REDUCE},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {196-205},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watt/89,
AUTHOR = {Watt, S.M.},
TITLE = {A fixed point method for power series computation},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {206-217},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Freire-Gamero-Ponce-Franquelo/89,
AUTHOR = {Freire, E. and Gamero, E. and Ponce, E. and Franquelo, L.G.},
TITLE = {An algorithm for symbolic computation of center manifolds},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {218-230},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rolletschek/89,
AUTHOR = {Rolletschek, H.},
TITLE = {Shortest division chains in imaginary quadratic number fields},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {231-243},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradford-Davenport/89,
AUTHOR = {Bradford, R.J. and Davenport, J.H.},
TITLE = {Effective tests for cyclotomic polynomials},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {244-251},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collins-Johnson/89,
AUTHOR = {Collins, G.E. and Johnson, J.R.},
TITLE = {The probability of relative primality of Gaussian integers},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {252-258},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Menezes-Oorschot-Vanstone/89,
AUTHOR = {Menezes, A.J. and Oorschot, P.C. van and Vanstone, S.A.},
TITLE = {Some computational aspects of root finding in $GF(q^m)$},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {259-270},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Juozapavicius/89,
AUTHOR = {Juozapavi{\v{c}}ius, A.},
TITLE = {Symbolic computation for Witt rings},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {271-273},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abhyankar-Bajaj/89,
AUTHOR = {Abhyankar, S.S. and Bajaj, C.L.},
TITLE = {Computations with algebraic curves},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {274-284},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Teitelbaum/89,
AUTHOR = {Teitelbaum, J.},
TITLE = {On the computational complexity of the resolution of plane curve singularities},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {285-292},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=285},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Canny/89,
AUTHOR = {Canny, J.},
TITLE = {Genralized characteristic polynomials},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {293-299},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni-Miller-Trager/89,
AUTHOR = {Gianni, P. and Miller, V. and Trager, B.},
TITLE = {Decomposition of algebras},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {300-308},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti-Lazard-Valibouze/89,
AUTHOR = {Giusti, M. and Lazard, D. and Valibouze, A.},
TITLE = {Algebraic transformations of polynomial equations, symmetric polynomials and elimination},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {309-315},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner-Preparata-West/89,
AUTHOR = {Edelsbrunner, H. and Preparata, F.P. and West, D.B.},
TITLE = {Tetrahedrizing point sets in three dimensions},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {315-331},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stifter/89,
AUTHOR = {Stifter, S.},
TITLE = {A generalization of the Roider method to solve the robot collision problem in 3D},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {332-343},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=332},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Todd-Cherry/89,
AUTHOR = {Todd, P.H. and Cherry, G.W.},
TITLE = {Symbolic analysis of planar drawings},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {344-355},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=344},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winkler/89,
AUTHOR = {Winkler, F.},
TITLE = {A geometrical decision algorithm based on the Gr{\"o}bner bases algorithm},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {356-363},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=356},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Cooperman-Finkelstein/89,
AUTHOR = {Brown, C. and Cooperman, G. and Finkelstein, L.},
TITLE = {Solving permutation problems using rewriting systems},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {364-377},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wissmann/89,
AUTHOR = {Wissmann, D.},
TITLE = {Applying rewriting techniques to groups with power-commutation-presentations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {378-389},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=378},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weispfenning/89,
AUTHOR = {Weispfenning, V.},
TITLE = {Efficient decision procedures for locally finite theories II},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {390-401},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=390},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boy_de_la_Tour-Caferra/89,
AUTHOR = {Boy de la Tour, T. and Caferra, R.},
TITLE = {A formal approach to some usually informal techniques used in mathematical reasoning},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {402-406},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=402},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cantone-Cutello-Ferro/89,
AUTHOR = {Cantone, D. and Cutello, V. and Ferro, A.},
TITLE = {Decision procedures for elementary sublanguages of set theory. XIV: Three languages involving rank related constructs},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {407-422},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=407},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roch-Senechaud-Siebert-Roch-Villard/89,
AUTHOR = {Roch, J.L. and Senechaud, P. and Siebert-Roch, F. and Villard, G.},
TITLE = {Computer algebra on MIMD machine},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {423-439},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=423},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dicrescenzo-Duval/89,
AUTHOR = {Dicrescenzo, C. and Duval, D.},
TITLE = {Algebraic extensions and algebraic closure in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {440-446},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=440},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kredel/89,
AUTHOR = {Kredel, H.},
TITLE = {Software development for computer algebra},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {447-455},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=447},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Butler-Cannon/89a,
AUTHOR = {Butler, G. and Cannon, J.},
TITLE = {Cayley, Version 4: The user language},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {456-466},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Yagati/89,
AUTHOR = {Kaltofen, E. and Yagati, L.},
TITLE = {Improved sparse multivariate polynomial interpolation algorithm},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {467-474},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geddes-Gonnet-Smedley/89,
AUTHOR = {Geddes, K.O. and Gonnet, G.H. and Smedley, T.J.},
TITLE = {Heuristic methods for operations with algebraic numbers},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {475-480},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shackell/89,
AUTHOR = {Shackell, J.},
TITLE = {Asymptotic estimation of oscillating functions using an interval calculus},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {481-489},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=481},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geddes-Gonnet/89,
AUTHOR = {Geddes, K.O. and Gonnet, G.H.},
TITLE = {A new algorithm for computing symbolic limits using hierarchical series},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {490-495},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=490},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hentzel-Pokrass/89,
AUTHOR = {Hentzel, I.R. and Pokrass, D.J.},
TITLE = {Verification of non-identities in algebras},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {496-507},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdulrab/89,
AUTHOR = {Abdulrab, H.},
TITLE = {Equations in words},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {508-520},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=508},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{White-McMillan/89,
AUTHOR = {White, N.L. and McMillan, T.},
TITLE = {Cayley factorization},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {521-533},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grigoriev/89a,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Complexity of computing the characters and the genre of a system of exterior differential equations},
BOOKTITLE = {Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, ISSAC'88 (Rome, Italy, July 1988)},
SERIES = {LNCS},
VOLUME = {358},
PAGES = {534-543},
YEAR = {1989},
EDITOR = {Gianni, P.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=358&spage=534},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}