Formal Solutions and Factorization of Differential Operators with Power Series Coefficients
págs. 1-30
A Rational Approach to the Prelle–Singer Algorithm
Malcolm A. H. MacCallum, Yiu-Kwong Man
págs. 31-43
A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration
págs. 45-50
On the Stability of Gröbner Bases Under Specializations
págs. 51-58
Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
págs. 59-101
Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations
págs. 103-111
PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
Juan Félix San Juan Díaz, Alberto Abad Medina
págs. 113-122
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: