Journal: Journal of Symbolic Computation

Volume 22, Issue 3

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