default search action
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 - Richard Kennaway
, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Comparing Curried and Uncurried Rewriting. 15-39 - Peter Padawitz:
Inductive Theorem Proving for Design Specification. 41-99 - Mark Sofroniou:
Order Stars and Linear Stability Theory. 101-131
Volume 21, Number 2, February 1996
- David Casperson, David Ford, John McKay:
Ideal Decompositions and Subfields. J. Symb. Comput. 21(2): 133-137 (1996) - Lyn J. Miller:
Analogs of Gröbner Bases in Polynomial Rings over a Ring. 139-153 - Franz Pauer, Sandro Zampieri
Gröbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem. 155-168 - Aloysius G. Helminck
Computing B-Orbits on G/H. 169-209 - Franz Baader
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. 211-243 - Nestor E. Sanchez:
The Method of Multiple Scales: Asymptotic Solutions and Normal Forms for Nonlinear Oscillatory Problems. 245-252
Volume 21, Number 3, March 1996
- Claude Marché:
Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations. 253-288 - Benedetto Intrigila, Marisa Venturini Zilli:
A Remark on Infinite Matching vs Infinite Unification. 289-292 - Giuseppe Attardi
Memory Management in the PoSSo Solver. 293-311 - George E. Collins, Mark J. Encarnación:
Improved Techniques for Factoring Univariate Polynomials. 313-327 - George J. Fix, Chih-Ping Hsu, Tie Luo:
Implicitization of Rational Parametric Surfaces. 329-336 - Vladimir P. Gerdt, Vladimir V. Kornyak:
Construction of Finitely Presented Lie Algebras and Superalgebras. 337-349 - Gregor Kemper:
Calculating Invariant Rings of Finite Groups over Arbitrary Fields. 351-366 - Nigel P. Smart:
Solving Discriminant Form Equations Via Unit Equations. 367-374
Volume 21, Number 4, April/May/June 1996
Parallel Computer Algebra
- Hirokazu Murao, Tetsuro Fujise:
Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. 377-396 - Paul S. Wang:
Parallel Polynomial Operations on SMPs: an Overview. 397-410 - Giuseppe Attardi, Carlo Traverso:
Strategy-Accurate Parallel Buchberger Algorithms. 411-425 - Stéphane Dalmas, Marc Gaëtano, Alain Sausse:
A Distributed and Cooperative Environment for Computer Algebra. 427-439
- Werner Krandick, Tudor Jebelean:
Bidirectional Exact Integer Division. 441-455 - Kenneth Weber:
Parallel Implementation of the Accelerated Integer GCD Algorithm. 457-466 - Giovanni Cesari, Roman Maeder:
Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures. 467-473
- Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Strategy Compliant Multi-Threaded Term Completion. 475-505 - Maria Paola Bonacina
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method. 507-522 - Jörg Denzinger, Stephan Schulz:
Recording and Analysing Knowledge-Based Distributed Deduction Processes. 523-541 - Hantao Zhang, Maria Paola Bonacina
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. 543-560
- Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat:
Parallelizing Imperative Functional Programs: the Vectorization Monad. 561-576 - Katia Gladitz, Herbert Kuchen:
Shared Memory Implementation of the Gamma-Operation. 577-591 - Wolfgang Schreiner
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. 593-614 - Angela C. Sodan:
A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs. 615-634
- Jean-Marc Andreoli, Uwe M. Borghoff
The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. 635-667 - Koenraad De Bosschere, Jean-Marie Jacquet:
Extending the µLog Framework with Local and Conditional Blackboard Operations. 669-697 - Ho-fung Leung
Constraint Satisfaction in Distributed Concurrent Logic Programming. 699-714 - Pedro López-García, Manuel V. Hermenegildo
A Methodology for Granularity-Based Control of Parallelism in Logic Programs. 715-734
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: