@article{Boffgen-Reichert/87,
AUTHOR = {B{\"o}ffgen, R. and Reichert, M.A.},
TITLE = {Computing the decompostion of primes $p$ and $p$-adic absolute values in semi-simple algebras over $Q$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {3-10},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Buchmann-Williams/87,
AUTHOR = {Buchmann, Johannes and Williams, H.C.},
TITLE = {On principal ideal testing in algebraic number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {11-19},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Cerlienco-Mignotte-Piras/87,
AUTHOR = {Cerlienco, L. and Mignotte, M. and Piras, F.},
TITLE = {Computing the measure of a polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {21-33},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Cohn-Deutsch/87,
AUTHOR = {Cohn, Harvey and Deutsch, Jesse Ira},
TITLE = {Application of symbolic manipulation to the Hecke transformations of modular forms in two variables, II},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {35-40},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Eckhardt/87,
AUTHOR = {Eckhardt, Carsten},
TITLE = {Computation of class numbers by an analytic method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {41-52},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Folz-Zimmer/87,
AUTHOR = {Folz, H.G. and Zimmer, H.G.},
TITLE = {What is the rank of the Demjanenko matrix?},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {53-67},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Ford/87,
AUTHOR = {Ford, David J.},
TITLE = {The construction of maximal orders over a Dedekind domain},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {69-75},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Kaltofen/87,
AUTHOR = {Kaltofen, Erich},
TITLE = {Deterministic irreducibility testing of polynomials over large finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {77-82},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Malle/87,
AUTHOR = {Malle, Gunter},
TITLE = {Polynomials for primitive nonsolvable permutation groups of degree $d\le15$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {83-92},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Matzat-Zeh-Marschke/87,
AUTHOR = {Matzat, B. Heinrich and Zeh-Marschke, Andreas},
TITLE = {Polynome mit der Galoisgruppe $M_11$ {\"u}ber $Q$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {93-97},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Maus/87,
AUTHOR = {Maus, Eckart},
TITLE = {Comutation of integral bases in certain $S_n$ extensions of $Q$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {99-102},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Petho/87,
AUTHOR = {Peth{\"o}, Attila},
TITLE = {On the resolution of Thue inequalities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {103-109},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Plesken/87,
AUTHOR = {Plesken, W.},
TITLE = {Towards a soluble quotient algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {111-122},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Pohst/87,
AUTHOR = {Pohst, M.},
TITLE = {A modification of the LLL reduction algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {1},
PAGES = {123-127},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{von_zur_Gathen/87,
AUTHOR = {von zur Gathen, Joachim},
TITLE = {Feasible arithmetic computations: Valiant's hypothesis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {137-172},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Murray-Rosenthal/87,
AUTHOR = {Murray, Neil V. and Rosenthal, Erik},
TITLE = {Theory links: Applications to automated theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {173-190},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Buttner-Simonis/87,
AUTHOR = {B{\"u}ttner, Wolfram and Simonis, Helmut},
TITLE = {Embedding Boolean expressions into logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {191-205},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Paige-Henglein/87,
AUTHOR = {Paige, Robert and Henglein, Fritz},
TITLE = {Mechanical translation of set theoretic problem specifications into efficient RAM Code --- A case study},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {207-232},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Gallier/87,
AUTHOR = {Gallier, Jean H.},
TITLE = {Fast algorithms for testing unsatisfiability of ground Horn clauses with equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {233-254},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Royle/87,
AUTHOR = {Royle, Gordon F.},
TITLE = {The transitive groups of degree twelve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {2},
PAGES = {255-268},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Gibert/87,
AUTHOR = {Gibert, Jacek},
TITLE = {Functional programming with combinators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {269-293},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Kaplan/87,
AUTHOR = {Kaplan, Stephane},
TITLE = {Simplifying conditional term rewriting systems: Unification, termination and confluence},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {295-334},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Hilali/87,
AUTHOR = {Hilali, A.},
TITLE = {On the algebraic and differential Newton-Puiseux polygons},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {335-349},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Stifter/87,
AUTHOR = {Stifter, Sabine},
TITLE = {A generalization of reduction rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {351-364},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Young-Wang/87,
AUTHOR = {Young, Douglas A. and Wang, Paul S.},
TITLE = {GI/S: A graphical user interface for symbolic computation systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {365-380},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Beyer-Fawcett-Mauldin-Swartz/87,
AUTHOR = {Beyer, W.A. and Fawcett, L.R. and Mauldin, R.D. and Swartz, B.K.},
TITLE = {The volume common to two congruent circular cones whose axes intersect symmetrically},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {381-390},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Elishakoff-Couch/87,
AUTHOR = {Elishakoff, Isaac and Couch, Brian},
TITLE = {Application of symbolic algebra to the instability of a nonconservative system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {391-396},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Bandyopadhyay-Devitt/87,
AUTHOR = {Bandyopadhyay, S. and Devitt, J.S.},
TITLE = {SIS --- A symbolic information management system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {4},
NUMBER = {3},
PAGES = {397-408},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}