| [1] |
S.A. Abramov, J.J. Carette, K.O. Geddes, and H.Q. Le.
Telescoping in the context of symbolic summation in Maple.
Journal of Symbolic Computation, 38(4):1303-1326, October
2004. [ bib ] |
| [2] |
S.A. Abramov and H.Q. Le.
On the order of the recurrence produced by the method of creative
telescoping.
Discrete Mathematics, 2004.
To appear. [ bib ] |
| [3] |
Amirhossein Amiraslani.
Dividing polynomials when you only know their values.
In Laureano Gonzalez-Vega, editor, Proceedings of EACA, pages
5-10, Santander, Spain, 2004. [ bib ] |
| [4] |
Amirhossein Amiraslani, Robert M. Corless, Laureano Gonzalez-Vega, and Azar
Shakoori.
Polynomial algebra by values.
Technical Report TR-04-01, Ontario Research Centre for Computer
Algebra, 2004. [ bib | http ] |
| [5] |
Dhavide Aruliah and Robert M. Corless.
Numerical parameterization of affine varieties using ODEs.
In Jaime Gutierrez, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 12-18, Santander, Spain, 2004.
ACM Press, New York. [ bib ] |
| [6] |
Mhenni M. Benghorbal.
Power Series Solutions of Fractional Differential Equations and
Symbolic Derivatives.
PhD thesis, The University of Western Ontario, London, 2004. [ bib ] |
| [7] |
Mhenni M. Benghorbal.
The Mittag-Leffler theorem and integer order symbolic derivative
formulas of meromorphic functions.
International Journal of Computation and Numerical Analysis and
Applications, 2004. [ bib ] |
| [8] |
Mhenni M. Benghorbal and Robert M. Corless.
Power series solutions of fractional differential equations.
International Journal of Pure and Applied Mathematics, 2004. [ bib ] |
| [9] |
Mhenni M. Benghorbal and Robert M. Corless.
A unified formula for arbitrary order symbolic derivatives and
integrals of a rational polynomial.
International Journal of Pure and Applied Mathematics, 2004. [ bib ] |
| [10] |
Joe Bonasia, François Lemaire, Greg Reid, Robin Scott, and Lihong Zhi.
Determination of approximate symmetries of differential equations.
CRM Proceedings and Lecture Notes, 39:233-250, 2004. [ bib ] |
| [11] |
F. Boulier, M. Moreno Maza, and C.Oancea.
A new henselian construction and its application to polynomial gcds
over direct products of fields.
In Laureano Gonzalez-Vega, editor, Proceedings of EACA,
Santander, Spain, June 2004. Universidad de Cantabria. [ bib ] |
| [12] |
Manuel Bronstein, Robert M. Corless, James H. Davenport, and David J. Jeffrey.
Algebraic properties of the Lambert W function.
submitted, 2004. [ bib ] |
| [13] |
Yu.A. Brychkov and K.O. Geddes.
Differentiation of hypergeometric functions with respect to
parameters.
In N.M. Chuong, L. Nirenberg, and W. Tutschke, editors,
International Conference on Abstract and Applied Analysis, pages 15-28.
World Scientific, 2004. [ bib ] |
| [14] |
R. Burger, G. Labahn, and M. van Hoeij.
Closed-form solutions of linear ODEs having elliptic function
coefficients.
In Jaime Gutierrez, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 58-64, Santander, Spain, 2004.
ACM Press, New York. [ bib ] |
| [15] |
J. Cai, M.Moreno Maza, S.M. Watt, and M. Dunstan.
Debugging a high-level language via a unified interpreter and
compiler runtime enviroment (extended version).
In Proceedings of ACA, Beaumont, pages 125-138. Lamar
University, July 2004. [ bib ] |
| [16] |
J. Cai, M.Moreno Maza, S.M. Watt, and M. Dunstan.
Debugging a high-level language via a unified interpreter and
compiler runtime enviroment.
In Proceedings of EACA, Santander, pages 119-124. Universidad
de Cantabria, July 2004. [ bib ] |
| [17] |
Orlando A. Carvajal.
A hybrid symbolic-numeric method for multiple integration based on
tensor-product series approximations.
M.Math thesis, School of Computer Science, University of Waterloo,
Waterloo, Canada, May 2004.
Co-supervised by K.O. Geddes and F.W. Chapman. Available online
through the National Library of Canada, and through University Microfilms
International. 88 pages. [ bib ] |
| [18] |
H. Cheng and G. Labahn.
Output-sensitive modular algorithms for polynomial matrix normal
forms.
Journal of Symbolic Computation, 2004.
submitted. [ bib ] |
| [19] |
Y. Chicha, M. Lloyd, C. Oancea, and S.M. Watt.
Parametric polymorphism for computer algebra software components.
In Proceedings of SYNASC, Timisoara, pages 119-130. MITRON
Press, September 2004. [ bib ] |
| [20] |
Robert M. Corless.
The generalized companion matrix in the Lagrange basis.
In Laureano Gonzalez-Vega, editor, Proceedings of EACA, pages
317-322, Santander, Spain, 2004. [ bib ] |
| [21] |
Robert M. Corless and D.J.Jeffrey.
Computer algebra support for the Wright omega function.
submitted, 2004. [ bib ] |
| [22] |
Robert M. Corless and D.J.Jeffrey.
Complex numerical values of the Wright omega function.
submitted, 2004. [ bib ] |
| [23] |
Robert M. Corless and Stephen M. Watt.
Bernstein bases are optimal, but, sometimes, Lagrange bases are
better.
In Proceedings of SYNASC, Timisoara, pages 141-153. MITRON
Press, September 2004. [ bib ] |
| [24] |
Robert M. Corless, Stephen M. Watt, and Lihong Zhi.
QR factoring to compute the GCD of univariate approximate
polynomials.
IEEE Transactions on Signal Processing, 52(12):3394-3402,
December 2004.
accepted December 2003. [ bib ] |
| [25] |
X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie.
Equiprojectable decompositions of zero-dimensional varieties.
In A. Valibouze, editor, International Conference on Polynomial
System Solving, pages 69-72, Paris, France, 2004. [ bib ] |
| [26] |
Andrea Doeschl, Matt Davison, Henning Rasmussen, and Greg Reid.
Assessing cellular automata based models using partial differential
equations.
Mathemathical and Computer Modelling, page 28 pages, July 2004. [ bib ] |
| [27] |
Kevin Durdle.
Supporting mathematical handwriting recognition through an extended
digital ink framework.
M.Sc. thesis, Department of Computer Science, University of Western
Ontario, London, Canada, December 2004. [ bib ] |
| [28] |
K.O. Geddes, H.Q. Le, and Z. Li.
Differential rational normal forms and a reduction algorithm for
hyperexponential functions.
In Jaime Gutierrez, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 183-190, Santander, Spain, 2004.
ACM Press, New York. [ bib ] |
| [29] |
M. Giesbrecht, G. Labahn, and W s. Lee.
Symbolic-numeric sparse polynomial interpolation in chebyshev basis
and trigonometric interpolation.
In CASA'2004. Springer-Verlag, 2004. [ bib ] |
| [30] |
M. Giesbrecht, G. Labahn, and W s. Lee.
Symbolic-numeric sparse polynomial interpolation of multivariate
polynomials.
In 9-th Rhine Workshop on Computer Algebra, 2004. [ bib ] |
| [31] |
Jane M. Heffernan and Robert M. Corless.
Solution of some delay differential equations with Maple.
submitted, 2004. [ bib ] |
| [32] |
Silvana Ilie, Robert M. Corless, and Greg Reid.
Numerical solution of index-1 DAE is polynomial cost in the
number of bits of accuracy requested.
submitted, 2004. [ bib ] |
| [33] |
D.J. Jeffrey and A.C. Norman.
Not seeing the roots for the branches.
SIGSAM Bulletin: Communications on Computer Algebra,
38(3):57-66, 2004. [ bib ] |
| [34] |
George Labahn and Ziming Li.
Hyperexponential solutions of finite-rank ideals in orthogonal Ore
rings.
In Jaime Gutierrez, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 213-220, Santander, Spain, 2004.
ACM Press, New York. [ bib ] |
| [35] |
S. Ming Liong.
On Bronstein's algorithm to solve the Risch differential equation
and its implementation in Maple.
M.Math. essay, School of Computer Science, University of Waterloo,
Waterloo, Canada, August 2004. [ bib ] |
| [36] |
T. Mulders and A. Storjohann.
Certified dense linear system solving.
Journal of Symbolic Computation, 37(4):485-510, 2004. [ bib ] |
| [37] |
C. Oancea and S.M. Watt.
A framework for using Aldor libraries with Maple.
In Laureano Gonzalez-Vega, editor, Proceedings of EACA, pages
219-224, Santander, Spain, June 2004. Universidad de Cantabria. [ bib ] |
| [38] |
D. Saunders, A. Storjohann, and G. Villard.
Matrix rank certification.
Electronic Journal of Linear Algebra, pages 16-23, 2004. [ bib ] |
| [39] |
Azar Shakoori.
The Bézout matrix in the Lagrange basis.
In Laureano Gonzalez-Vega, editor, Proceedings of EACA, pages
295-299, Santander, Spain, June 2004. Universidad de Cantabria. [ bib ] |
| [40] |
Elena Smirnova, Clare So, and Stephen M. Watt.
An architecture for distributed mathematical web services.
In Proceedings of the Third Interiational Conference MKM,
Bialoweza, pages 363-377. Springer-Verlag, September 2004. [ bib ] |
| [41] |
Stephen M. Watt.
Optimizing compilers for symbolic-numeric computation.
In Proceedings of SYNASC, Timisoara, page 18. MITRON Press,
September 2004. [ bib ] |
| [42] |
A. Wittkopf.
Algoritms and Implementations for Differential Elimination.
Ph.D. thesis, Simon Fraser University, 2004. [ bib ] |
| [43] |
Xiaojie.
Achieving interoperability of pen computing among heterogeneous
devices and digital ink form.
M.Sc. thesis, Department of Computer Science, University of Western
Ontario, London, Canada, December 2004. [ bib ] |
| [44] |
F. Xie, Greg Reid, and S. R. Valluri.
A numerical method for one-dimensional action functionals of photonic
band-gap structures.
Canadian Journal of Physics, pages 423-437, 2004. [ bib ] |
| [45] |
Y. Zhang.
Algorithms for Noncommutative Differential Operators.
Ph.D. thesis, University of Western Ontario, 2004. [ bib ] |