@incollection{Liska-Drska/89,
AUTHOR = {Liska, R. and Drska, D.},
TITLE = {Evaluation of plasma fluid equations collision integrals using REDUCE},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {178},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wu/89,
AUTHOR = {Wu, W.},
TITLE = {A zero structure theorem for polynomial-equations-solving and its applications},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {44},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Federova-Gerdt-Govorun-Shirikov/89,
AUTHOR = {Federova, R.N. and Gerdt, V.P. and Govorun, N.N. and Shirikov, V.P.},
TITLE = {Computer algebra in physical research of Joint Institute for Nuclear Research},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {1-10},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grigoriev/89,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Complexity of quantifier elimination in the theory of ordinary differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {11-25},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Smith/89,
AUTHOR = {Smith, G.C.},
TITLE = {Groups and polynomials},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {26-33},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{MacCallum/89a,
AUTHOR = {MacCallum, M.A.H.},
TITLE = {Symbolic computation in relativity theory},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {34-43},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abramov/89,
AUTHOR = {Abramov, S.A.},
TITLE = {Some algorithms of rational function algebra},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {45-47},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boffgen-Reichert/89,
AUTHOR = {B{\"o}ffgen, R. and Reichert, M.A.},
TITLE = {The computer algebra system SIMATH},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {48-49},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Langemyr/89,
AUTHOR = {Langemyr, L.},
TITLE = {Converting SAC-2 code to LISP},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {50-51},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tomov-Nisheva-Tonev/89,
AUTHOR = {Tomov, V. and Nisheva, M. and Tonev, T.},
TITLE = {Computer algebra system for continued fractions manipulation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {52-53},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchmann-Pohst/89,
AUTHOR = {Buchmann, J. and Pohst, M.},
TITLE = {Computing a lattice basis from a system of generating vectors},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {54-63},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mutrie-Char-Bartels/89,
AUTHOR = {Mutrie, M.P.W. and Char, B.W. and Bartels, R.H.},
TITLE = {Expression optimization using high-level knowledge},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {64-70},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cowell-Wright/89,
AUTHOR = {Cowell, R.G. and Wright, F.J.},
TITLE = {CATFACT: Computer algebraic tools for applications of catastrophe theory},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {71-80},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Shabat-Svinolupov-Zharkov/89,
AUTHOR = {Gerdt, V.P. and Shabat, A.B. and Svinolupov, S.I. and Zharkov, A.Yu.},
TITLE = {Computer algebra application for investigating integrability of nonlinear evolution systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {81-92},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Zharkov/89,
AUTHOR = {Gerdt, V.P. and Zharkov, A.Yu.},
TITLE = {Computer classification of integrable seventh order MKdV-like equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {93-94},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fitch-Hall/89,
AUTHOR = {Fitch, J.P. and Hall, R.G.},
TITLE = {Symbolic computation and the finite element method},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {95-96},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klimov-Rudenko-Zhuravlev/89,
AUTHOR = {Klimov, D.M. and Rudenko, V.M. and Zhuravlev, V.F.},
TITLE = {Application of Lie group and computer algebra to nonlinear mechanics},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {97-106},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paczynski/89,
AUTHOR = {Paczy{\'n}ski, J.},
TITLE = {Hierarchical symbolic computations in the analysis of large-scale dynamical systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {107-115},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gurin/89,
AUTHOR = {Gurin, N.I.},
TITLE = {SCHOONSCHIP for computing of gravitino interaction cross sections in $n=2$ supergravity},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {116-117},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vasiliev/89,
AUTHOR = {Vasiliev, N.N.},
TITLE = {Creation of efficient symbolic-numeric interface},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {118-119},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_den_Heuvel-Hulzen-Goldman/89,
AUTHOR = {van den Heuvel, P. and Hulzen, J.A. van and Goldman, V.V.},
TITLE = {Automatic generation of FORTRAN-coded Jacobians and Hessians},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {120-131},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=120},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kazasov/89,
AUTHOR = {Kazasov, C.},
TITLE = {Laplace transformations in REDUCE 3},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {132-133},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yamamoto-Aoki/89,
AUTHOR = {Yamamoto, T. and Aoki, Y.},
TITLE = {REDUCE 3.2 on iAPX 86/286-based personal computers},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {134-135},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=134},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spiridonova/89,
AUTHOR = {Spiridonova, M.},
TITLE = {Some extensions and applications of REDUCE system},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {136-137},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Burge-Watt/89,
AUTHOR = {Burge, W.H. and Watt, S.M.},
TITLE = {Infinite structures in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {138-148},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Smit-Gerez-Mulder/89,
AUTHOR = {Smit, J. and Gerez, S.H. and Mulder, R.},
TITLE = {Application of a structured LISP system to computer algebra},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {149-160},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=149},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Creutzburg-Tasche/89,
AUTHOR = {Creutzburg, R. and Tasche, M.},
TITLE = {Number-theoretic transforms of prescribed length},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {161-162},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Suzuki-Sasaki-Sato-Fukui/89,
AUTHOR = {Suzuki, M. and Sasaki, T. and Sato, M. and Fukui, Y.},
TITLE = {A hybrid algebraic-numeric system ANS and its preliminary implementation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {163-171},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dulyan/89,
AUTHOR = {Dulyan, L.S.},
TITLE = {The calculation of QCD triangular Feynman graphs in the external gluonic field using REDUCE-2 system},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {172-173},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fedorova-Kornyak/89,
AUTHOR = {Fedorova, R.N. and Kornyak, V.V.},
TITLE = {Computer algebra application for determining local symmetries of differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {174-175},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ranft-Perlt/89,
AUTHOR = {Ranft, J. and Perlt, H.},
TITLE = {Trace calculations for gauge theories on a personal computer},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {176-177},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=176},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Katkov-Popov/89,
AUTHOR = {Katkov, V.L. and Popov, M.D.},
TITLE = {Computerised system of analytic transformations for analysing of differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {179-185},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shablygin/89,
AUTHOR = {Shablygin, E.},
TITLE = {Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {186-191},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rodionov-Taranov/89,
AUTHOR = {Rodionov, A.Ya. and Taranov, A.Yu.},
TITLE = {Combinatorial aspects of simplification of algebraic expressions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {192-201},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pearce-Fitch/89,
AUTHOR = {Pearce, P.D. and Fitch, J.P.},
TITLE = {Dynamic program improvement},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {202-203},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jahn/89,
AUTHOR = {Jahn, K.-U.},
TITLE = {Computer algebra and numerical convergence},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {204-205},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerdt-Kostov-Kostova/89,
AUTHOR = {Gerdt, V.P. and Kostov, N.A. and Kostova, Z.T.},
TITLE = {Computer algebra and computation of Puiseux expansions of algebraic functions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {206-207},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brackx-Serras/89,
AUTHOR = {Brackx, F. and Serras, H.},
TITLE = {Boundary value problems for the Laplacian in Euclidean space solved by symbolic computation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {208-215},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eltekov-Shikalov/89,
AUTHOR = {Eltekov, V.A. and Shikalov, V.B.},
TITLE = {The methods for symbolic evaluation of determinants and their realization in the planner-analytic system},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {216-222},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=216},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zima/89,
AUTHOR = {Zima, E.V.},
TITLE = {Transformation of computation formulae in systems of recurrence relations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {223-224},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=223},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ilyin-Kryukov/89,
AUTHOR = {Ilyin, V.A. and Kryukov, A.P.},
TITLE = {DIMREG - The package for calculations in the dimensional regularization with 4-dimensional $\gamma^5$-matrix in quantum field theory},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {225-232},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kryukov-Rodionov/89,
AUTHOR = {Kryukov, A.P. and Rodionov, A.Ya.},
TITLE = {CTS - Algebraic debugging system for REDUCE programs},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {233-243},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bowyer-Davenport-Milne-Padget-Wallis/89,
AUTHOR = {Bowyer, A. and Davenport, J.H. and Milne, P.S. and Padget, J.A. and Wallis, A.F.},
TITLE = {Applications of computer algebra in solid modelling},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {244-245},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kusche-Kutzler-Mayr/89,
AUTHOR = {Kusche, K. and Kutzler, B. and Mayr, H.},
TITLE = {Implementation of a geometry theorem proving package in SCRATCHPAD II},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {246-257},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roider-Stifter/89,
AUTHOR = {Roider, B. and Stifter, S.},
TITLE = {Collision of convex objects},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {258-259},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=258},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czapor/89a,
AUTHOR = {Czapor, S.R.},
TITLE = {Solving algebraic equations via Buchberger's algorithm},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {260-269},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kredel/89a,
AUTHOR = {Kredel, H.},
TITLE = {Primary ideal decomposition},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {270-281},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kalkbrener/89,
AUTHOR = {Kalkbrener, M.},
TITLE = {Solving systems of algebraic equations by using Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {282-292},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni/89,
AUTHOR = {Gianni, P.},
TITLE = {Properties of Gr{\"o}bner bases under specializations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {293-297},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Langemyr-McCallum/89a,
AUTHOR = {Langemyr, L. and McCallum, S.},
TITLE = {The computation of polynomial greatest common divisors over an algebraic number field},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {298-299},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schemmel/89,
AUTHOR = {Schemmel, K.-P.},
TITLE = {An extension of Buchberger's algorithm to compute all reduced Gr{\"o}bner bases of a polynomial ideal},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {300-310},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Martin-Pfister/89,
AUTHOR = {Martin, B. and Pfister, G.},
TITLE = {Singularities of moduli spaces},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {311-312},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=311},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Smedley/89,
AUTHOR = {Smedley, T.J.},
TITLE = {Radical simplification using algebraic extension fields},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {313-314},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradford/89,
AUTHOR = {Bradford, R.J.},
TITLE = {Hermite normal forms for integer matrices},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {315-316},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Krishnamoorthy-Saunders/89,
AUTHOR = {Kaltofen, E. and Krishnamoorthy, M.S. and Saunders, B.D.},
TITLE = {Mr.~Smith goes to Las Vegas: Randomized parallel computation of the Smith normal form of polynomial matrices},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {317-322},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valibouze/89,
AUTHOR = {Valibouze, A.},
TITLE = {Fonctions sym{\'e}triques et changements de bases},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {323-332},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti/89,
AUTHOR = {Giusti, M.},
TITLE = {Complexity of standard bases in projective dimension zero},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {333-335},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=333},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weispfenning/89a,
AUTHOR = {Weispfenning, V.},
TITLE = {Gr{\"o}bner bases for polynomial ideals over commutative regular rings},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {336-347},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sasaki/89,
AUTHOR = {Sasaki, T.},
TITLE = {Some algebraic algorithms based on head term elimination over polynomial rings},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {348-354},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=348},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gateva-Ivanova/89,
AUTHOR = {Gateva-Ivanova, T.},
TITLE = {Algorithmic determination of the Jacobson radical of monomial algebras},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {355-364},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kondrateva-Pankratev/89,
AUTHOR = {Kondrat{\'e}va, M.V. and Pankrat{\'e}v, E.V.},
TITLE = {A recursive algorithm for computation of the Hilbert polynomial},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {365-375},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vallee/89,
AUTHOR = {Vall{\'e}e, B.},
TITLE = {An affine point of view on minima finding in integer lattices of lower dimensions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {376-378},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Scheffler-Seese/89,
AUTHOR = {Scheffler, P. and Seese, D.},
TITLE = {A combinatorial and logical approach to linear-time computability},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {379-380},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Henry-Merle/89,
AUTHOR = {Henry, J.P.G. and Merle, M.},
TITLE = {Complexity of computation of embedded resolution of algebraic curves},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {381-390},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abbott-Davenport/89,
AUTHOR = {Abbott, J.A. and Davenport, J.H.},
TITLE = {Polynomial factorization: An exploration of Lenstra's algorithm},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {391-402},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferscha/89,
AUTHOR = {Ferscha, A.},
TITLE = {A matrix-approach for proving inequalities},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {403-411},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Navrat-Molnar-Vojtek/89,
AUTHOR = {N{\'a}vrat, P. and Moln{\'a}r, {\v{L}}. and Vojtek, V.},
TITLE = {Using automatic program synthesizer as a problem solver: Some interesting experiments},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {412-423},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baaz-Leitsch/89,
AUTHOR = {Baaz, M. and Leitsch, A.},
TITLE = {Strong splitting rules in automated theorem proving},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {424-425},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fischer/89,
AUTHOR = {Fischer, T.},
TITLE = {Towards a refined classification of geometric search and computation problems},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {426-437},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=426},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Labahn-Cabay/89,
AUTHOR = {Labahn, G. and Cabay, S.},
TITLE = {Matrix-Pad{\'e} fractions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {438-449},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=438},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nemeth-Zimanyi/89,
AUTHOR = {N{\'e}meth, G. and Zim{\'a}nyi, M.},
TITLE = {Computation of generalized Pad{\'e} approximants},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {450-451},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bachmair-Dershowitz/89,
AUTHOR = {Bachmair, L. and Dershowitz, N.},
TITLE = {A critical pair criterion for completion modulo a congruence},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {452-453},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=452},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Werner/89,
AUTHOR = {Werner, G.},
TITLE = {Shortest paths of a disc inside a polygonal region},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {454-455},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=454},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Recio-Pardo/89,
AUTHOR = {Recio, T. and Pardo, L.M.},
TITLE = {Rabin's width of a complete proof and the width of a semialgebraic set},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {456-462},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gillies-Char/89,
AUTHOR = {Gillies, D.M. and Char, B.W.},
TITLE = {Practical aspects of symbolic integration over $Q(x)$},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {463-464},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abbott/89,
AUTHOR = {Abbott, J.A.},
TITLE = {Integration: Solving the Risch differential equation},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {465-467},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=465},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Apel-Lassner/89a,
AUTHOR = {Apel, J. and Lassner, W.},
TITLE = {Computation and simplification in Lie fields},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {468-478},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=468},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wolf/89,
AUTHOR = {Wolf, T.},
TITLE = {A package for the analytic investigation and exact solution of differential equations},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {479-490},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bronstein/89a,
AUTHOR = {Bronstein, M.},
TITLE = {An algorithm for the integration of elementary functions},
BOOKTITLE = {Proceedings of the 6th International Conference on Computer Algebra, EUROCAL'87 (Leipzig, GDR, June 2-5, 1987)},
SERIES = {LNCS},
VOLUME = {378},
PAGES = {491-497},
YEAR = {1989},
EDITOR = {Davenport, J.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=378&spage=491},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}