![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Symbolic Computation, Volume 12, 1991
Volume 12, Number 1, July 1991
- Chee-Keng Yap:
A New Lower Bound Construction for Commutative Thue Systems with aApplications. 1-28 - Yukihide Takayama:
Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs. 29-70 - L. Lambe:
Resolution via Homological Perturbation. 71-88 - Marc Garbey, Hans G. Kaper, Gary K. Leaf, B. J. Matkowsky:
Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion. 89-114 - N. E. Oussous:
Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite. 115-126
Volume 12, Number 2, August 1991
- Daniel Richardson:
Wu's Method and the Khovanskii Finiteness Theorem. 127-142 - Huub M. M. ten Eikelder, J. C. F. Wilmont:
Normal Forms for a Class of Formulas. 143-160 - Jan Willem Klop, Aart Middeldorp
:
Sequentiality in Orthogonal Term Rewriting Systems. 161-196 - Jean-Marc Champarnaud, Georges Hansel:
AUTOMATE, a Computing Package for Automata and Finite Semigroups. 197-220 - P. Pasini, F. Semeria, Claudio Zannoni
:
Symbolic Computation of Orientational Correlation Function Moments. 221-232 - Dongming Wang:
Mechanical Manipulation for a Class of Differential Systems. 233-254
Volume 12, Number 3, September 1991
- Friedrich Otto:
When is an Extension of a Specification Consistent? Decidable and Undecidable Cases. 255-274 - B. Schend:
A Methodology for Detecting Shared Variable Dependencies in Logic Programs. 275-298 - George E. Collins, Hoon Hong:
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. 299-328 - G. Björck, G. Fröberg:
A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic n-Roots. 329-336 - C. Jacobsson, C. Löfwall:
Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem. 337-372 - V. Sailer, Guillermo Morales-Luna:
On the Polynomial Representation of Generalized Liouville Operators. 373-380 - Waldir L. Roque, Renato P. dos Santos
:
Computer Algebra in Spacetime Embedding. 381-389
Volume 12, Number 4/5, October/November 1991
- David B. A. Epstein, Derek F. Holt, Sarah Rees:
The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. 397-414 - Steve Linton:
Double Coset Enumeration. 415-426 - Steve Linton:
Constructing Matrix Representations of Finitely Presented Groups. 427-438 - Charles C. Sims:
The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration. 439-442 - Gregory Butler, John J. Cannon:
Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers. 443-458 - Peter J. Cameron
, John J. Cannon:
Fast Recognition of Doubly Transitive Groups. 459-474 - Gene Cooperman, Larry Finkelstein:
A Strong Generating Test and Short Presentation for Permutation Groups. 475-498 - Derek F. Holt:
The Computation of Normalizers in Permutation Groups. 499-516 - William M. Kantor:
Finding Composition Factors of Permutation Groups of Degree n < 10^6. 517-526 - Charles R. Leedham-Green, Cheryl E. Praeger
, Leonard H. Soicher:
Computing with Group Homomorphisms. 527-532 - Jeffrey S. Leon:
Permutation Group Algorithms Based on Partitions, I: Theory and Algorithms. 533-583
Volume 12, Number 6, December 1991
- W. Herfort, H. Penz:
A New Notion of Reduction: General Universal Gröbner Basis for K[x, y]. 585-606 - J. Rafael Sendra
, Franz Winkler:
Symbolic Parametrization of Curves. 607-632 - Tobias Nipkow
:
Combining Matching Algorithms: The Regular Case. 633-654 - David Hartley, R. W. Tucker:
A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems. 655-668 - R. J. Yamartino, Richard Pavelle:
An Application of Computer Algebra to a Problem in Stratified Fluid Flow. 669-672 - Kurt Bernardo Wolf, G. Krötzsch:
Group-Classified Polynomials of Phase Space in Higher-Order Aberration Expansions. 673-694 - C. M. Andersen, J. F. Geer:
Investigating a Hybrid Perturbation-Galerkin Technique Using Computer Algebra. 695-714
![](https://dblp.org/img/cog.dark.24x24.png)
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.