Journal of Symbolic Computation, Volume 11, 1991

Volume 11, Number 1/2, January/February 1991

John Pais, Gerald E. Peterson: Using Forcing to Prove Completeness of Resolution and Paramodulation. 3-19
Michaël Rusinowitch: Theorem-Proving with Resolution and Superposition. 21-49
Harald Ganzinger: A Completion Procedure for Conditional Equations. 51-81
Deepak Kapur, Paliath Narendran, Hantao Zhang: Automating Inductionless Induction Using Test Sets. 81-111
Emmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. 113-127
Rolf Socher: On the Relation Between Resolution Based and Completion Based Theorem Proving. 129-147
David A. Plaisted, Richard C. Potter: Term Rewriting: Some Experimental Results. 149-180

Jacques Chazarain, Agustín Riscos Gonzáles, José Antonio Alonso Jimenez, Emilio Briales Morales: Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. 181-194
Doron Zeilberger: The Method of Creative Telescoping. 195-204
Andrea Sattler-Klein: Elimination of Composite Superpositions May Cause Abortion. 205-211
Graziano Gentili, Michael A. O'Connor: Rational Geometry in Space. 213-229
Jean C. Piquette: A Method for Symbolic Evaluation of Indefinite Integrals Containing Special Functions or their Products. 231-249
Michael F. Singer: Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. 251-273
D. A. Diver: Modelling Waves with Computer Algebra. 275-289
H. I. Cohen, John Fitch: Uses Made of Computer Algebra in Physics. 291-305

Carl Ponder: Parallel Multiplication and Powering of Polynomials. 307-320
Alain Laville: Comparison of Priority Rules in Pattern Matching and Term Rewriting. 321-347
Hubert Comon, Denis Lugiez, Ph. Schnoebelen: A Rewrite-Based Type Discipline for a Subset of Computer Algebra. 349-368
Steven G. Krantz, William H. Paulsen: Asymptotic Eigenfrequency Distributions for the N-Beam Euler-Bernoulli Coupled Beam Equation with Dissipative Joints. 369-418

Neil L. White: Multilinear Cayley Factorization. 421-438
Bernd Sturmfels, Walter Whiteley: On the Synthetic Factorization of Projectively Invariant Polynomials. 439-453
Jacques Morgenstern: Invariant and Geometric Aspects of Algebraic Complexity Theory I. 455-469
Tim McMillan, Neil L. White: The Dotted Straightening Algorithm. 471-482
Michael Clausen: Multivariate Polynomials, Standard Tableaux, and Representations of Symmetric Groups. 483-522
Henry Crapo: Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics. 523-548
Walter Whiteley: Invariant Computations for Analytic Projective Geometry. 549-578
Timothy F. Havel: Some Examples of the Use of Distances as Coordinates for Euclidean Geometry. 579-593
Bernd Sturmfels: Computational Algebraic Geometry of Projective Configurations. 595-618