@incollection{Hornfeldt/85,
AUTHOR = {H{\"o}rnfeldt, L.},
TITLE = {Stensor},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {165},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=16},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornfeldt/85a,
AUTHOR = {H{\"o}rnfeldt, L.},
TITLE = {STENSOR uses disc automatically for very large computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {317},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=31},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreissig/85,
AUTHOR = {Krei{\ss}ig, M.},
TITLE = {A program system for factorization of polynomials with rational coefficients},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {155},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mukhopadhyay/85,
AUTHOR = {Mukhopadhyay, A.},
TITLE = {A solution to the polynomial Hensel-code conversion problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {327},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nikolova/85,
AUTHOR = {Nikolova, D.B.},
TITLE = {On some laws in PSL(2,q)},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {245},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=24},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ogilvie/85,
AUTHOR = {Ogilvie, J.F.},
TITLE = {Application of computer algebra to the theory of the vibration-rotational spectra of diatomic molecules},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {205},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=20},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Richter/85,
AUTHOR = {Richter, P.},
TITLE = {THKLISP as a base of formula manipulation systems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {156},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Riedel/85,
AUTHOR = {Riedel, W.},
TITLE = {A program system for root finding},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {154},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=15},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taraniuk-Mackeonis/85,
AUTHOR = {Taraniuk, M. and Mackeonis, P.C.},
TITLE = {Demonstration of REDUCE3 as implemented on a stand-alone MOTOROLA 68000 based microcomputer},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {31},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=3},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zassenhaus/85,
AUTHOR = {Zassenhaus, H.},
TITLE = {Symbol manipulation and symmetry breaking},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {607},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=60},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bini-Pan/85a,
AUTHOR = {Bini, D. and Pan, V.},
TITLE = {Algorithms for polynomial division},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {1-3},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen/85e,
AUTHOR = {Kaltofen, E.},
TITLE = {Sparse Hensel lifting},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {4-17},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=4},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Davenport-Padget/85,
AUTHOR = {Davenport, J. and Padget, J.},
TITLE = {HEUGCD: How elementary upperbounds generate cheaper data},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {18-28},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=18},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iliopoulos/85b,
AUTHOR = {Iliopoulos, C.S.},
TITLE = {Gaussian elimination over a Euclidean ring},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {29-30},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=29},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sutor/85,
AUTHOR = {Sutor, R.S.},
TITLE = {The Scratchpad II computer algebra language and system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {32-33},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collins/85,
AUTHOR = {Collins, G.E.},
TITLE = {The SAC-2 computer algebra system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {34-35},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=34},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carrette-Harten/85,
AUTHOR = {Carrette, G.J. and Harten, L.P.},
TITLE = {DOE-MACSYMA: Progress report},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {36-39},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ghelfo-Omodeo/85,
AUTHOR = {Ghelfo, S. and Omodeo, E.G.},
TITLE = {Towards practical implementations of syllogistic},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {40-49},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=40},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Murray-Rosenthal/85,
AUTHOR = {Murray, N.V. and Rosenthal, E.},
TITLE = {Path resolution and semantic graphs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {50-63},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=50},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gottlob-Leitsch/85,
AUTHOR = {Gottlob, G. and Leitsch, A.},
TITLE = {Fast subsumption algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {64-77},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=64},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aspetsberger/85,
AUTHOR = {Aspetsberger, K.},
TITLE = {Substitution expressions: Extracting solutions of non-Horn clause proofs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {78-86},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=78},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weispfenning/85,
AUTHOR = {Weispfenning, V.},
TITLE = {The complexity of elementary problems in Archimedean ordered groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {87-88},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=87},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{aman-dInverno-Joly-MacCallum/85,
AUTHOR = {{\AA}man, J.E. and d'Inverno, R.A. and Joly, G.C. and MacCallum, M.A.H.},
TITLE = {Progress on the equivalence problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {89-98},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=89},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lassner/85,
AUTHOR = {Lassner, W.},
TITLE = {Symbol representations of noncommutative algebras},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {99-115},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=99},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Millington-Wright/85,
AUTHOR = {Millington, K. and Wright, F.J.},
TITLE = {Algebraic computations in elementary catastrophe theory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {116-125},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=116},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Armbruster/85,
AUTHOR = {Armbruster, D.},
TITLE = {Bifurcation theory and computer algebra: An initial approach},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {126-137},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=126},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_der_Hulst-Lenstra/85,
AUTHOR = {van der Hulst, M.-P. and Lenstra, A.K.},
TITLE = {Factorization of polynomials by transcendental evaluation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {138-145},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goebbels/85,
AUTHOR = {Goebbels, F.},
TITLE = {Factorization of rational polynomials in the Zassenhaus-norm},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {146-147},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=146},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lidl/85,
AUTHOR = {Lidl, R.},
TITLE = {On decomposable and commuting polynomials},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {148-149},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alagar-Thanh/85,
AUTHOR = {Alagar, V.S. and Thanh, M.},
TITLE = {Fast polynomial decomposition algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {150-153},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=150},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Drouffe/85a,
AUTHOR = {Drouffe, J.M.},
TITLE = {AMP: A system for algebraic computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {157-158},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=157},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krasinski/85,
AUTHOR = {Krasi{\'n}ski, A.},
TITLE = {The program ORTOCARTAN for applications in Einstein's relativity theory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {159-160},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=159},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frick-aman/85,
AUTHOR = {Frick, I. and {\AA}man, J.E.},
TITLE = {SHEEP and classification in general relativity},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {161-162},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=161},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornaes-Wahl/85,
AUTHOR = {Hornaes, A. and Wahl, T.},
TITLE = {NORCAN - A computer calculus program},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {163-164},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=163},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abdali-Cherry/85,
AUTHOR = {Abdali, S.K. and Cherry, G.},
TITLE = {Visual environments for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {166-167},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=166},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Curien/85a,
AUTHOR = {Curien, P.-L.},
TITLE = {Syntactic equivalences inducing semantic equivalences},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {168-178},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=168},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graves-Blaine/85,
AUTHOR = {Graves, H. and Blaine, L.},
TITLE = {The ALGOS computational system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {179-180},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=179},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gaube-Mayr-Lockemann/85,
AUTHOR = {Gaube, W. and Mayr, H.C. and Lockemann, P.C.},
TITLE = {Retrieval in a module library using formal specifications: Preliminary search using syntactic properties},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {181-196},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=181},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gibert/85,
AUTHOR = {Gibert, J.},
TITLE = {The J-machine: Functional programming with combinators},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {197-198},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=197},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klimov/85,
AUTHOR = {Klimov, D.M.},
TITLE = {Symbolic algebra in problems of non-linear mechanics},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {199-200},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=199},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tombal-Moussiaux/85a,
AUTHOR = {Tombal, Ph. and Moussiaux, A.},
TITLE = {MACSYMA's computation of Dirac-Bergmann algorithm for Hamiltonian systems with contraints},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {201-202},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=201},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Egecioglu/85,
AUTHOR = {Egecioglu, {\"o}.},
TITLE = {Algorithms for the character theory of the symmetric group},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {206-224},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=206},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iliopoulos/85c,
AUTHOR = {Iliopoulos, C.S.},
TITLE = {Worst-case analysis of algorithms for computational problems on Abelian permutation groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {225-228},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=225},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Le_Chenadec/85,
AUTHOR = {Le Chenadec, P.},
TITLE = {A completion of some Coxeter groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {229-242},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=229},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Campbell-Robertson/85,
AUTHOR = {Campbell, C.M. and Robertson, E.F.},
TITLE = {A Cayley file of finite simple groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {243-244},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=243},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon-Collins-McCallum/85,
AUTHOR = {Arnon, D.S. and Collins, G.E. and McCallum, S.},
TITLE = {An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {246-261},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=246},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon/85,
AUTHOR = {Arnon, D.S.},
TITLE = {A cluster-based cylindrical algebraic decomposition algorithm},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {262-269},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=262},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon/85a,
AUTHOR = {Arnon, D.S.},
TITLE = {On mechanical quantifier elimination for elementary algebra and geometry: Solution of a non-trivial problem},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {270-271},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boge-Gebauer-Kredel/85,
AUTHOR = {B{\"o}ge, W. and Gebauer, R. and Kredel, H.},
TITLE = {Gr{\"o}bner bases using SAC-2},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {272-274},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=272},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnon-McCallum/85,
AUTHOR = {Arnon, D.S. and McCallum, S.},
TITLE = {A polynomial time algorithm for the topological type of a real algebraic curve},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {275-276},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=275},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{McCallum/85,
AUTHOR = {McCallum, S.},
TITLE = {An improved projection operation for cylindrical algebraic decomposition},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {277-278},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=277},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaltofen-Rolletschek/85,
AUTHOR = {Kaltofen, E. and Rolletschek, H.},
TITLE = {Arithmetic in quadratic fields with unique factorization},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {279-288},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=279},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Della_Dora-Dicrescenzo-Duval/85,
AUTHOR = {Della Dora, J. and Dicrescenzo, C. and Duval, D.},
TITLE = {About a new method for computing in algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {289-290},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agnarsson-Krishnamoorthy-Saunders/85,
AUTHOR = {Agnarsson, S. and Krishnamoorthy, M.S. and Saunders, B.D.},
TITLE = {An algebraic implementation of packages},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {291-302},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=291},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Greif/85,
AUTHOR = {Greif, J.M.},
TITLE = {The SMP pattern matcher},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {303-314},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=303},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hulshof-Hulzen/85,
AUTHOR = {Hulshof, B.J.A. and Hulzen, J.A. van},
TITLE = {An expression compression package for REDUCE based on factorization and controlled expansion},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {315-316},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=315},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rump/85,
AUTHOR = {Rump, S.M.},
TITLE = {Numerical methods with automatic verification},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {318-319},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=318},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rump/85a,
AUTHOR = {Rump, S.M.},
TITLE = {ACRITH - High accuracy arithmetic subroutine library},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {320-321},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=320},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Gudenberg/85,
AUTHOR = {von Gudenberg, J.W.},
TITLE = {Floating-point computation in PASCAL-SC with verified results},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {322-324},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Gudenberg/85a,
AUTHOR = {von Gudenberg, J.W.},
TITLE = {PASCAL-SC demonstration: Accurate arithmetic for verified results},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {325-326},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=325},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matijasevich/85,
AUTHOR = {Matijasevich, Yu.V.},
TITLE = {A posteriori interval analysis},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {328-334},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=328},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganzha-Mazurik-Shapeev/85,
AUTHOR = {Ganzha, V.G. and Mazurik, S.I. and Shapeev, V.P.},
TITLE = {Symbolic manipulations on a computer and their application to generation and investigation of difference schemes},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {335-347},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=335},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kounalis/85,
AUTHOR = {Kounalis, E.},
TITLE = {Completeness in data type specifications},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {348-362},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paul/85a,
AUTHOR = {Paul, E.},
TITLE = {On solving the equality problem in theories defined by Horn clauses},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {363-377},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=363},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winkler/85,
AUTHOR = {Winkler, F.},
TITLE = {Reducing the complexity of the Knuth-Bendix completion algorithm: A ``unification'' of different approaches},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {378-389},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=378},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuchlin/85,
AUTHOR = {K{\"u}chlin, W.},
TITLE = {A confluence criterion based on the generalised Newman lemma},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {390-399},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=390},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dick/85,
AUTHOR = {Dick, A.J.J.},
TITLE = {ERIL - Equational reasoning: an interactive laboratory},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {400-401},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=400},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirchner-Kirchner/85,
AUTHOR = {Kirchner, C. and Kirchner, H.},
TITLE = {Implementation of a general completion procedure parameterized by built-in theories and strategies},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {402-404},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=402},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hornaes/85,
AUTHOR = {Hornaes, A.},
TITLE = {Computer algebra in Norway},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {405-406},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=405},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Schellenberger/85,
AUTHOR = {Becker, M. and Schellenberger, G.},
TITLE = {GOPPA Codes: Algorithmic problems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {407-408},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=407},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gianni-Trager/85,
AUTHOR = {Gianni, P. and Trager, B.},
TITLE = {GCD's and factoring multivariate polynomials using Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {409-410},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=409},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giusti/85,
AUTHOR = {Giusti, M.},
TITLE = {A note on the complexity of constructing standard bases},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {411-412},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=411},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galligo/85,
AUTHOR = {Galligo, A.},
TITLE = {Some algorithmic questions on ideals of differential operators},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {413-421},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=413},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pedersen/85,
AUTHOR = {Pedersen, J.},
TITLE = {Obtaining complete sets of reductions and equations without using special unification algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {422-423},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=422},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Llopis_de_Trias/85,
AUTHOR = {Llopis de Trias, R.},
TITLE = {An overview of completion algorithms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {424-428},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=424},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pearce-Hicks/85,
AUTHOR = {Pearce, P.D. and Hicks, R.J.},
TITLE = {The optimisation by ``Code Motion'' of user programs for an algebraic manipulation system},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {429-430},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=429},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Young-Wang/85,
AUTHOR = {Young, D.A. and Wang, P.S.},
TITLE = {An improved plotting package for VAXIMA},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {431-432},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=431},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heck-Avenhaus/85,
AUTHOR = {Heck, N. and Avenhaus, J.},
TITLE = {On logic programs with data-driven computations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {433-443},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=433},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergeron-Pichet/85,
AUTHOR = {Bergeron, F. and Pichet, C.},
TITLE = {DARWIN, a system designed for the study of enumerative combinatorics},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {444-445},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=444},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hohlfeld/85,
AUTHOR = {Hohlfeld, B.},
TITLE = {Correctness proofs of the implementation of abstract data types},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {446-447},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruderlin/85,
AUTHOR = {Br{\"u}derlin, B.},
TITLE = {Using Prolog for constructing geometric objects defined by constraints},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {448-459},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=448},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bandyopadhyay-Devitt/85,
AUTHOR = {Bandyopadhyay, S. and Devitt, J.S.},
TITLE = {The role of symbolic computation in the management of scientific information},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {460-461},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=460},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Exner-Fischer/85,
AUTHOR = {Exner, H. and Fischer, F.D.},
TITLE = {CIM (Computer Integrated Manufacturing) - A challenge for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {462-463},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=462},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coelho/85,
AUTHOR = {Coelho, H.},
TITLE = {Symbolic and algebraic computation may support secondary education},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {464-465},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=464},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caciotta-Iannucci/85,
AUTHOR = {Caciotta, M. and Iannucci, F.},
TITLE = {Software toolkit for input stage measurement in symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {466-467},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=466},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boninfante-Veca/85,
AUTHOR = {Boninfante, P. and Veca, G.M.},
TITLE = {The algebraic manipulation systems on the electrical power systems},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {468-469},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=468},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fincke-Pohst/85,
AUTHOR = {Fincke, U. and Pohst, M.},
TITLE = {A new method of computing fundamental units in algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {470-478},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=470},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchmann/85,
AUTHOR = {Buchmann, J.},
TITLE = {The generalized Voronoi-algorithm in totally real algebraic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {479-486},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=479},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ong-Golke/85,
AUTHOR = {Ong, H. and Golke, D.},
TITLE = {An algorithm for the computation of perfect polyhedral cones over real quadratic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {487-488},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=487},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reichert/85,
AUTHOR = {Reichert, M.A.},
TITLE = {Explicit determination of non-trivial torsion structures of elliptic curves over quadratic number fields},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {489-490},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=489},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lamprecht-Zimmer/85,
AUTHOR = {Lamprecht, K. and Zimmer, H.G.},
TITLE = {$P$-adic algorithms and the computation of zeros of $p$-adic L-functions},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {491-502},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=491},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petho/85,
AUTHOR = {Peth{\"o}, A.},
TITLE = {On the solution of the diophantine equation $G_n=p^z$},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {503-512},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=503},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Robbiano/85,
AUTHOR = {Robbiano, L.},
TITLE = {Term orderings on the polynomial ring},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {513-517},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=513},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mora/85,
AUTHOR = {Mora, F.},
TITLE = {An algorithmic approach to local rings},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {518-525},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=518},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller/85,
AUTHOR = {M{\"o}ller, H.M.},
TITLE = {A reduction strategy for the Taylor resolution},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {526-534},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=526},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ford-McKay/85,
AUTHOR = {Ford, D. and McKay, J.},
TITLE = {From polynomials to Galois groups},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {535-536},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=535},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watt/85,
AUTHOR = {Watt, S.M.},
TITLE = {A system for parallel computer algebra programs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {537-538},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=537},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caferra-Jorrand/85,
AUTHOR = {Caferra, R. and Jorrand, P.},
TITLE = {Unification in parallel with refined linearity test: An example of recursive network structure in FP2, a functional parallel programming language},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {539-540},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=539},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchberger/85a,
AUTHOR = {Buchberger, B.},
TITLE = {The parallel L-machine for symbolic computation},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {541-542},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=541},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hussman/85,
AUTHOR = {Hussman, H.},
TITLE = {Unification in conditional equational theories},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {543-553},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=543},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paige-Henglein/85,
AUTHOR = {Paige, R. and Henglein, F.},
TITLE = {Mechanical translation of set theoretic problem specifications into efficient RAM code - A case study},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {554-567},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=554},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Franova/85,
AUTHOR = {Franov{\'a}, M.},
TITLE = {A methodology for automatic programming based on the constructive matching strategy},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {568-569},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=568},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sakharov/85,
AUTHOR = {Sakharov, A.},
TITLE = {The structural synthesis of programs: New means},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {570-571},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=570},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wang/85,
AUTHOR = {Wang, P.S.},
TITLE = {Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysis},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {572-582},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=572},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gates-Hulzen/85,
AUTHOR = {Gates, B.L. and Hulzen, J.A. van},
TITLE = {Automatic generation of optimized programs},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {583-584},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=583},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karr/85a,
AUTHOR = {Karr, M.},
TITLE = {Canonical form for rational exponential expressions},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {585-594},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=585},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Singer-Davenport/85,
AUTHOR = {Singer, M.F. and Davenport, J.H.},
TITLE = {Elementary and Liouivillian solutions of linear differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {595-596},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=595},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wolf/85,
AUTHOR = {Wolf, Th.},
TITLE = {Analytical decoupling, decision of compatibility and partial integration of systems of non-linear ordinary and partial differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {597-598},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=597},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nehrkorn/85,
AUTHOR = {Nehrkorn, K.},
TITLE = {Symbolic integration of exponential polynomials},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {599-600},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=599},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwarz/85a,
AUTHOR = {Schwarz, F.},
TITLE = {A REDUCE package for determining first integrals of autonomous systems of ordinary differential equations},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {601-602},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=601},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arcieri-Miola-Panasiti/85,
AUTHOR = {Arcieri, M. and Miola, A. and Panasiti, F.},
TITLE = {A package of tools for manipulation of sums and series},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {603-604},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=603},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karr/85b,
AUTHOR = {Karr, M.},
TITLE = {Theory of summation in finite terms},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {605-606},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=605},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Trinks/85,
AUTHOR = {Trinks, W.},
TITLE = {On improving approximate results of Buchberger's algorithm by Newton's method},
BOOKTITLE = {Proceedings of the 10th European Conference on Computer Algebra, Vol.~2: Research contributions, EUROCAL'85 (Linz, Austria, April 1-3, 1985)},
SERIES = {LNCS},
VOLUME = {204},
PAGES = {608-612},
YEAR = {1985},
EDITOR = {Caviness, Bob F.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=204&spage=608},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {ACM SIGSAM, SAME},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}