Journal of Symbolic Computation, Volume 21, 1996

Volume 21, Number 1, January 1996

• Chung-Jen Ho, Chee-Keng Yap: The Habicht Approch to Subresultants. 1-14 BibTeX
• Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Comparing Curried and Uncurried Rewriting. 15-39 BibTeX
• Peter Padawitz: Inductive Theorem Proving for Design Specification. 41-99 BibTeX
• Mark Sofroniou: Order Stars and Linear Stability Theory. 101-131 BibTeX

Volume 21, Number 2, February 1996

• David Casperson, David Ford, John McKay: Ideal Decompositions and Subfields. 133-137 BibTeX
• Lyn J. Miller: Analogs of Gröbner Bases in Polynomial Rings over a Ring. 139-153 BibTeX
• Franz Pauer, Sandro Zampieri: Gröbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem. 155-168 BibTeX
• Aloysius G. Helminck: Computing B-Orbits on G/H. 169-209 BibTeX
• Franz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. 211-243 BibTeX
• Nestor E. Sanchez: The Method of Multiple Scales: Asymptotic Solutions and Normal Forms for Nonlinear Oscillatory Problems. 245-252 BibTeX

Volume 21, Number 3, March 1996

• Claude Marché: Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations. 253-288 BibTeX
• Benedetto Intrigila, Marisa Venturini Zilli: A Remark on Infinite Matching vs Infinite Unification. 289-292 BibTeX
• Giuseppe Attardi, Tito Flagella: Memory Management in the PoSSo Solver. 293-311 BibTeX
• George E. Collins, Mark J. Encarnación: Improved Techniques for Factoring Univariate Polynomials. 313-327 BibTeX
• George Fix, Chih-Ping Hsu, Tie Luo: Implicitization of Rational Parametric Surfaces. 329-336 BibTeX
• Vladimir P. Gerdt, Vladimir V. Kornyak: Construction of Finitely Presented Lie Algebras and Superalgebras. 337-349 BibTeX
• Gregor Kemper: Calculating Invariant Rings of Finite Groups over Arbitrary Fields. 351-366 BibTeX
• Nigel P. Smart: Solving Discriminant Form Equations Via Unit Equations. 367-374 BibTeX

Volume 21, Number 4, April/May/June 1996

• Hirokazu Murao, Tetsuro Fujise: Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. 377-396 BibTeX
• Paul S. Wang: Parallel Polynomial Operations on SMPs: an Overview. 397-410 BibTeX
• Giuseppe Attardi, Carlo Traverso: Strategy-Accurate Parallel Buchberger Algorithms. 411-425 BibTeX
• Stéphane Dalmas, Marc Gaëtano, Alain Sausse: A Distributed and Cooperative Environment for Computer Algebra. 427-439 BibTeX

• Werner Krandick, Tudor Jebelean: Bidirectional Exact Integer Division. 441-455 BibTeX
• Kenneth Weber: Parallel Implementation of the Accelerated Integer GCD Algorithm. 457-466 BibTeX
• Giovanni Cesari, Roman Maeder: Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures. 467-473 BibTeX

• Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin: Strategy Compliant Multi-Threaded Term Completion. 475-505 BibTeX
• Maria Paola Bonacina: On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method. 507-522 BibTeX
• Jörg Denzinger, Stephan Schulz: Recording and Analysing Knowledge-Based Distributed Deduction Processes. 523-541 BibTeX
• Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. 543-560 BibTeX

• Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat: Parallelizing Imperative Functional Programs: the Vectorization Monad. 561-576 BibTeX
• Katia Gladitz, Herbert Kuchen: Shared Memory Implementation of the Gamma-Operation. 577-591 BibTeX
• Wolfgang Schreiner: A Para-Functional Programming Interface for a Parallel Computer Algebra Package. 593-614 BibTeX
• Angela Sodan: A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs. 615-634 BibTeX

• Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi: The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. 635-667 BibTeX
• Koenraad De Bosschere, Jean-Marie Jacquet: Extending the µLog Framework with Local and Conditional Blackboard Operations. 669-697 BibTeX
• Ho-Fung Leung, Keith L. Clark: Constraint Satisfaction in Distributed Concurrent Logic Programming. 699-714 BibTeX
• Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray: A Methodology for Granularity-Based Control of Parallelism in Logic Programs. 715-734 BibTeX