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
Johannes Buchmann
,
Hugh C. Williams
:
On Principal Ideal Testing in Algebraic Number Fields.
11-19
L. Cerlienco
,
Maurice Mignotte
,
F. Piras
:
Computing the Measure of a Polynomial.
21-33
Harvey Cohn
,
Jesse Ira Deutsch
:
Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II.
35-40
Carsten Eckhardt
:
Computation of Class Numbers by an Analytic Method.
41-52
H. G. Folz
,
Horst Günter Zimmer
:
What is the Rank of the Demjanenko Matrix?
53-67
David J. Ford
:
The Construction of Maximal Orders Over a Dedekind Domain.
69-75
Erich Kaltofen
:
Deterministic Irreducibility Testing of Polynomials over Large Finite Fields.
77-82
Gunter Malle
:
Polynomials for Primitive Nonsolvable Permutation Groups of Degree d ≤ 15.
83-92
B. Heinrich Matzat
,
Andreas Zeh-Marschke
:
Polynome mit der Galoisgruppe M_11 über Q.
93-97
Eckart Maus
:
Computation of Integral Bases in Certain S_n Extensions of Q.
99-102
Attila Pethö
:
On the Resolution of Thue Inequalities.
103-109
Wilhelm Plesken
:
Towards a Soluble Quotient Algorithm.
111-122
Michael Pohst
:
A Modification of the LLL Reduction Algorithm.
123-127
Volume 4, Number 2, October 1987
Joachim von zur Gathen
:
Feasible Arithmetic Computations: Valiant's Hypothesis.
137-172
Neil V. Murray
,
Erik Rosenthal
:
Theory Links: Applications to Automated Theorem Proving.
173-190
Wolfram Büttner
,
Helmut Simonis
:
Embedding Boolean Expressions into Logic Programming.
191-205
Robert Paige
,
Fritz Henglein
:
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study.
207-232
Jean H. Gallier
:
Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations.
233-254
Gordon F. Royle
:
The Transitive Groups of Degree Twelve.
255-268
Volume 4, Number 3, December 1987
Jacek Gibert
:
Functional Programming with Combinators.
269-293
Stéphane Kaplan
:
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence.
295-334
Aziz Hilali
:
On the Algebraic and Differential Newton-Puiseux Polygons.
335-349
Sabine Stifter
:
A Generalization of Reduction Rings.
351-364
Douglas A. Young
,
Paul S. Wang
:
GI/S: A Graphical User Interface For Symbolic Computation Systems.
365-380
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
Isaac E. Elishakoff
,
Brian Couch
:
Application of Symbolic Algebra to the Instability of a Nonconservative System.
391-396
S. Bandyopadhyay
,
John S. Devitt
:
SIS - A Symbolic Information Management System.
397-408
Last update Mon May 20 01:23:17 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page