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 BibTeX
Michaël Rusinowitch: Theorem-Proving with Resolution and Superposition. 21-49 BibTeX
Harald Ganzinger: A Completion Procedure for Conditional Equations. 51-81 BibTeX
Deepak Kapur, Paliath Narendran, Hantao Zhang: Automating Inductionless Induction Using Test Sets. 81-111 BibTeX
Emmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. 113-127 BibTeX
Rolf Socher: On the Relation Between Resolution Based and Completion Based Theorem Proving. 129-147 BibTeX
David A. Plaisted, Richard C. Potter: Term Rewriting: Some Experimental Results. 149-180 BibTeX

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 BibTeX
Doron Zeilberger: The Method of Creative Telescoping. 195-204 BibTeX
Andrea Sattler-Klein: Elimination of Composite Superpositions May Cause Abortion. 205-211 BibTeX
Graziano Gentili, Michael A. O'Connor: Rational Geometry in Space. 213-229 BibTeX
Jean C. Piquette: A Method for Symbolic Evaluation of Indefinite Integrals Containing Special Functions or their Products. 231-249 BibTeX
Michael F. Singer: Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. 251-273 BibTeX
D. A. Diver: Modelling Waves with Computer Algebra. 275-289 BibTeX
H. I. Cohen, John Fitch: Uses Made of Computer Algebra in Physics. 291-305 BibTeX

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

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