default search action
Journal of Symbolic Computation, Volume 7, 1989
Volume 7, Number 1, January 1989
- Hans W. Scholten, Mark H. Overmars:
General Methods for Adding Range Restrictions to Decomposable Searching Problems. 1-10 - Richard Cole, Micha Sharir:
Visibility Problems for Polyhedral Terrains. 11-30 - Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. 31-48 - Stephen R. Czapor:
Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization. 49-53 - Luquan Pan:
On the D-Bases of Polynomial Ideals Over Principal Ideal Domains. 55-69 - Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver:
Solving Symbolic Equations with PRESS. 71-84 - Ph. Tombal, A. Moussiaux:
Algebraic Programming of Geometrical Calculus and Clifford Algebra. 85-91 - Tze Beng Ng:
Computation of the Cohomology of BSO_n<16> for 23 <= n <= 26 Using REDUCE. 93-99
Volume 7, Number 2, February 1989
- Richard Statman:
The Word Problem for Smullyan's Lark Combinator is Decidable. 103-112 - Masako Takahashi:
Parallel Reductions in lambda-Calculus. 113-123 - Danny De Schreye
, Maurice Bruynooghe:
On the Transformation of Logic Programs with Instantiation Based Computation Rules. 125-154 - Marilena Pittaluga, Elisabetta Strickland:
A Computer Oriented Algorithm for the Determination of the Dimension and Character of a Modular Irreducible SL(n, K)-Module. 155-161 - Ronald D. Dutton, Robert C. Brigham, Fernando Gomez:
INGRID: A Graph Invariant Manipulator. 163-177 - S. A. Vorontsov:
An Example of Application of Symbolic Computation in Solid State Physics. 179-181 - B. Autin, J. Bengtsson:
Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory. 183-187 - Jerry F. Magnan:
A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection. 189-197 - Wolfgang Hirschberg, Dieter Schramm
Application of NEWEUL in Robot Dynamics. 199-204
Volume 7, Number 3/4, March/April 1989
- Jörg H. Siekmann:
Unification Theory. 207-274 - Ursula Martin
Boolean Unification - The Story So Far. 275-293 - Werner Nutt, Pierre Réty, Gert Smolka:
Basic Narrowing Revisited. 295-317 - Jia-Huai You:
Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. 319-341 - Gert Smolka, Hassan Aït-Kaci:
Inheritance Hierarchies: Semantics and Unification. 343-370 - Hubert Comon, Pierre Lescanne:
Equational Problems and Disunification. 371-425 - Paris C. Kanellakis, Peter Z. Revesz
On the Relationship of Congruence Closure and Unification. 427-444
Volume 7, Number 5, May 1989
- Dexter Kozen, Susan Landau:
Polynomial Decomposition Algorithms. 445-456 - Paliath Narendran, Colm Ó'Dúnlaing:
Cancellativity in Finitely Presented Semigroups. 457-472 - Clement W. H. Lam, Larry H. Thiel:
Backtrack Search with Isomorph Rejection and Consistency Check. 473-485 - Eyal Mozes:
A Deductive Database Based on Aristotelian Logic. 487-507 - Catherine Lassez, Ken McAloon, Graeme S. Port:
Stratification and Knowledge Base Management. 509-522 - Renato P. dos Santos
Using Reduce in Supersymmetry. 523-525
Volume 7, Number 6, June 1989
- Bernd Martin, Gerhard Pfister:
The Kernel of the Kodaira-Spencer Map of the Versal µ-Constant Deformation of an Irreducible Plane Curve Singularity with C^r-Action. 527-531 - Jonathan Traugott:
Deductive Synthesis of Sorting Programs. 533-572 - Patrick Suppes, Shuzo Takahashi:
An Interactive Calculus Theorem-Prover for Continuity Properties. 573-590 - Teofilo F. Gonzalez, Si-Qing Zheng:
Inproved Bounds for Rectangular and Guillotine Partitions. 591-610 - W. I. Fushchich, Vladimir V. Kornyak:
Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations. 611-619
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-22 19:04 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: