Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 - Michaël Rusinowitch:
Theorem-Proving with Resolution and Superposition. 21-49 - Harald Ganzinger:
A Completion Procedure for Conditional Equations. 51-81 - Deepak Kapur, Paliath Narendran, Hantao Zhang:
Automating Inductionless Induction Using Test Sets. 81-111 - Emmanuel Kounalis, Michaël Rusinowitch:
On Word Problems in Horn Theories. 113-127 - Rolf Socher:
On the Relation Between Resolution Based and Completion Based Theorem Proving. 129-147 - David A. Plaisted, Richard C. Potter:
Term Rewriting: Some Experimental Results. 149-180
Volume 11, Number 3, March 1991
- 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 - Doron Zeilberger:
The Method of Creative Telescoping. 195-204 - Andrea Sattler-Klein:
Elimination of Composite Superpositions May Cause Abortion. 205-211 - Graziano Gentili, Michael A. O'Connor:
Rational Geometry in Space. 213-229 - Jean C. Piquette:
A Method for Symbolic Evaluation of Indefinite Integrals Containing Special Functions or their Products. 231-249 - Michael F. Singer:
Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. 251-273 - D. A. Diver:
Modelling Waves with Computer Algebra. 275-289 - H. Ian Cohen, John P. Fitch:
Uses Made of Computer Algebra in Physics. 291-305
Volume 11, Number 4, April 1991
- Carl Ponder:
Parallel Multiplication and Powering of Polynomials. 307-320 - Alain Laville:
Comparison of Priority Rules in Pattern Matching and Term Rewriting. 321-347 - Hubert Comon, Denis Lugiez, Philippe Schnoebelen:
A Rewrite-Based Type Discipline for a Subset of Computer Algebra. 349-368 - Steven G. Krantz, William H. Paulsen:
Asymptotic Eigenfrequency Distributions for the N-Beam Euler-Bernoulli Coupled Beam Equation with Dissipative Joints. 369-418
Volume 11, Number 5/6, May/June 1991
- Neil L. White:
Multilinear Cayley Factorization. 421-438 - Bernd Sturmfels, Walter Whiteley:
On the Synthetic Factorization of Projectively Invariant Polynomials. 439-453 - Jacques Morgenstern:
Invariant and Geometric Aspects of Algebraic Complexity Theory I. 455-469 - Tim McMillan, Neil L. White:
The Dotted Straightening Algorithm. 471-482 - Michael Clausen:
Multivariate Polynomials, Standard Tableaux, and Representations of Symmetric Groups. 483-522 - Henry Crapo:
Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics. 523-548 - Walter Whiteley:
Invariant Computations for Analytic Projective Geometry. 549-578 - Timothy F. Havel:
Some Examples of the Use of Distances as Coordinates for Euclidean Geometry. 579-593 - Bernd Sturmfels:
Computational Algebraic Geometry of Projective Configurations. 595-618
a service of 
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-05-10 19:52 CEST 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:
