Journal of Symbolic Computation, Volume 4, 1987

Volume 4, Number 1, August 1987

R. Böffgen, M. A. Reichert: Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q. 3-10 BibTeX
Johannes Buchmann, Hugh C. Williams: On Principal Ideal Testing in Algebraic Number Fields. 11-19 BibTeX
L. Cerlienco, Maurice Mignotte, F. Piras: Computing the Measure of a Polynomial. 21-33 BibTeX
Harvey Cohn, Jesse Ira Deutsch: Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II. 35-40 BibTeX
Carsten Eckhardt: Computation of Class Numbers by an Analytic Method. 41-52 BibTeX
H. G. Folz, Horst Günter Zimmer: What is the Rank of the Demjanenko Matrix? 53-67 BibTeX
David J. Ford: The Construction of Maximal Orders Over a Dedekind Domain. 69-75 BibTeX
Erich Kaltofen: Deterministic Irreducibility Testing of Polynomials over Large Finite Fields. 77-82 BibTeX
Gunter Malle: Polynomials for Primitive Nonsolvable Permutation Groups of Degree d \leq 15. 83-92 BibTeX
B. Heinrich Matzat, Andreas Zeh-Marschke: Polynome mit der Galoisgruppe M_11 über Q. 93-97 BibTeX
Eckart Maus: Computation of Integral Bases in Certain S_n Extensions of Q. 99-102 BibTeX
Attila Pethö: On the Resolution of Thue Inequalities. 103-109 BibTeX
W. Plesken: Towards a Soluble Quotient Algorithm. 111-122 BibTeX
Michael Pohst: A Modification of the LLL Reduction Algorithm. 123-127 BibTeX

Joachim von zur Gathen: Feasible Arithmetic Computations: Valiant's Hypothesis. 137-172 BibTeX
Neil V. Murray, Erik Rosenthal: Theory Links: Applications to Automated Theorem Proving. 173-190 BibTeX
Wolfram Büttner, Helmut Simonis: Embedding Boolean Expressions into Logic Programming. 191-205 BibTeX
Robert Paige, Fritz Henglein: Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. 207-232 BibTeX
Jean H. Gallier: Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations. 233-254 BibTeX
Gordon F. Royle: The Transitive Groups of Degree Twelve. 255-268 BibTeX

Jacek Gibert: Functional Programming with Combinators. 269-293 BibTeX
Stéphane Kaplan: Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. 295-334 BibTeX
Aziz Hilali: On the Algebraic and Differential Newton-Puiseux Polygons. 335-349 BibTeX
Sabine Stifter: A Generalization of Reduction Rings. 351-364 BibTeX
Douglas A. Young, Paul S. Wang: GI/S: A Graphical User Interface For Symbolic Computation Systems. 365-380 BibTeX
W. A. Beyer, L. R. Fawcett, R. Daniel Mauldin, B. K. Swartz: The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically. 381-390 BibTeX
Isaac Elishakoff: Application of Symbolic Algebra to the Instability of a Nonconservative System. 391-396 BibTeX
S. Bandyopadhyay, John S. Devitt: SIS - A Symbolic Information Management System. 397-408 BibTeX