researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Symbolic Computation
Home
Index
Info
Issue
Volume
4
, Issue
3
269
--
293
Jacek Gibert
.
Functional Programming with Combinators
295
--
334
Stéphane Kaplan
.
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence
335
--
349
Aziz Hilali
.
On the Algebraic and Differential Newton-Puiseux Polygons
351
--
364
Sabine Stifter
.
A Generalization of Reduction Rings
365
--
380
Douglas A. Young
,
Paul S. Wang
.
GI/S: A Graphical User Interface For Symbolic Computation Systems
381
--
390
W. A. Beyer
,
L. R. Fawcett
,
R. Daniel Mauldin
,
B. K. Swartz
.
The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically
391
--
396
Isaac Elishakoff
.
Application of Symbolic Algebra to the Instability of a Nonconservative System
397
--
408
S. Bandyopadhyay
,
John S. Devitt
.
SIS - A Symbolic Information Management System