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
22
, Issue
3
235
--
246
Dexter Kozen
,
Susan Landau
,
Richard Zippel
.
Decomposition of Algebraic Functions
247
--
277
Takeshi Shimoyama
,
Kazuhiro Yokoyama
.
Localization and Primary Decomposition of Polynomial Ideals
279
--
314
Jordi Levy
,
Jaume Agustí-Cullell
.
Bi-Rewrite Systems
315
--
344
Manfred Schmidt-Schauß
.
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
345
--
354
Jun Zhang
.
Symbolic Computation on Complex Polynomial Solution of Differential Equations