| [1] |
S.A. Abramov, J.J. Carette, K.O. Geddes, and H.Q. Le.
Symbolic summation in Maple.
Technical Report CS-2002-32, School of Computer Science, University
of Waterloo, 2002. [ bib ] |
| [2] |
S.A. Abramov, K.O. Geddes, and H.Q. Le.
Computer algebra library for the construction of the minimal
telescopers.
In A.M. Cohen, X. Gao, and N. Takayama, editors, International
Congress of Mathematical Software, pages 319-329. World Scientific, 2002. [ bib ] |
| [3] |
S.A. Abramov and H.Q. Le.
A lower bound for the order of telescopers for a hypergeometric term.
In A.M. Cohen, X. Gao, and N. Takayama, editors, Formal Power
Series and Algebraic Combinatorics, 2002.
on CD. [ bib ] |
| [4] |
Bernhard Beckermann, Howard Cheng, and George Labahn.
Fraction-free row reduction of matrices of skew polynomials.
In Teo Mora, editor, ACM International Symposium on Symbolic and
Algebraic Computation, pages 8-15, Lille, France, 2002. ACM Press, New
York. [ bib ] |
| [5] |
Mhenni Benghorbal and Robert M. Corless.
The nth derivative.
SIGSAM Bulletin: Communications on Computer Algebra,
36(1):10-14, 2002. [ bib ] |
| [6] |
Yury A. Brychkov.
Evaluation of some classes of definite and indefinite integrals.
In Integral Transforms and Special Functions, volume 13, pages
163-167, 2002. [ bib ] |
| [7] |
Howard Cheng and George Labahn.
A modular greatest common divisor algorithm for matrix polynomial.
Technical Report CS-2002-04, Department of Computer Science,
University of Waterloo, 2002. [ bib ] |
| [8] |
Yannis Chicha.
Practical Aspects of Interacting Garbage Collectors.
Ph.D. thesis, University of Western Ontario, London,
Canada, 2002. [ bib ] |
| [9] |
Robert M. Corless.
Essential Maple 7.
Springer-Verlag, 2nd edition, March 2002. [ bib ] |
| [10] |
Robert M. Corless.
A new view of the computational complexity of IVP for ODE.
Technical Report TR-01-05, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2002.
accepted for publication in Num. Alg. 2002. [ bib | http ] |
| [11] |
Robert M. Corless and David J. Jeffrey.
The Wright omega function.
In Proceedings AISC Marseille, 2002. [ bib ] |
| [12] |
R.M. Corless, E.L. Kaltofen, and S.M. Watt.
Symbolic/numeric algorithms.
In V. Weispfennig J. Grabmeier, E. Kaltofen, editor, Handbook of
Computer Algebra, chapter 2.12.3, pages 113-127. Springer Verlag,
Heidelberg, 2002. [ bib ] |
| [13] |
Robert M. Corless, Ilias S. Kotsireas, André Galligo, and Stephen M. Watt.
A geometric-numeric algorithm for factoring multivariate polynomials.
In Teo Mora, editor, ACM International Symposium on Symbolic and
Algebraic Computation, pages 37-45, Lille, France, 2002. ACM Press, New
York. [ bib ] |
| [14] |
J.-G. Dumas, T. Gautier, M. Giesbrecht, P. Giorgi, B. Hovinen, E. Kaltofen,
B.D. Saunders, W.J. Turner, and G. Villard.
Linbox: A generic library for exact linear algebra.
In International Congress of Mathematical Software, Beijing,
China, 2002.
To appear. [ bib ] |
| [15] |
G. Egorychev and E. Zima.
On integral representation and algorithmic approaches to the
evaluation of combinatorial sums.
Technical Report CS-2002-02, Department of Computer Science,
University of Waterloo, 2002. [ bib | ftp ] |
| [16] |
K.O. Geddes and H.Q. Le.
An algorithm to compute the minimal telescopers for rational
functions (Differential - integral case).
In A.M. Cohen, X. Gao, and N. Takayama, editors, International
Congress of Mathematical Software, pages 453-463. World Scientific, 2002. [ bib ] |
| [17] |
K.O. Geddes and W.W. Zheng.
Exploiting fast hardware floating point in high precision
computation.
Technical Report CS-2002-41, School of Computer Science, University
of Waterloo, 2002. [ bib ] |
| [18] |
M. Giesbrecht, E. Kaltofen, and W. s. Lee.
Algorithms for computing the sparsest shifts for polynomials via the
berlekamp/massey algorithm.
In Teo Mora, editor, ACM International Symposium on Symbolic and
Algebraic Computation, pages 101-108, Lille, France, 2002. ACM Press, New
York. [ bib ] |
| [19] |
M. Giesbrecht, G. Labahn, and W. s. Lee.
On the equivalence between prony's and ben-or's/tiwari's methods.
Technical Report CS-2002023, School of Computer Science, University
of Waterloo, 2002. [ bib | www ] |
| [20] |
M. Giesbrecht, G. Reid, and Y. Zhang.
Non-commutative Gröbner bases in Poincaré-Burkhoff-Witt
extensions.
In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov,
editors, Conference on Computer Algebra and Scientific Computation
(CASC'2002), pages 97-106, Yalta, Ukraine, 2002. Institüt für
Informatik, Technische Universität München. [ bib ] |
| [21] |
M. Giesbrecht and A. Storjohann.
Computing rational forms of integer matrices.
Journal of Symbolic Computation, 34(3):157-172, 2002. [ bib ] |
| [22] |
S. Huerter, I. Rodionov, and S.M. Watt.
Content-faithful transformations for MathML.
In Proc. International Conference on MathML and Math on the
Web, Chicago, June 2002. Wolfram Research. [ bib ] |
| [23] |
Claude-Pierre Jeannerod.
A reduced form for perturbed matrix polynomials.
Technical Report CS-2002-03, Department of Computer Science,
University of Waterloo, 2002. [ bib | ftp ] |
| [24] |
C.P. Jeannerod and G. Labahn.
The SNAP package for arithmetic with numeric polynomials.
In International Congress of Mathematical Software, pages
61-71. World Scientific, 2002. [ bib ] |
| [25] |
H.Q. Le.
Simplification of definite sums of rational functions.
Technical Report CS-2002-06, Department of Computer Science,
University of Waterloo, 2002. [ bib | ftp ] |
| [26] |
H.Q. Le, S.A. Abramov, and K.O. Geddes.
Hypergeometricsum: A Maple package for finding closed forms of
indefinite and definite sums of hypergeometric type.
Technical Report CS-2001-24, School of Computer Science, University
of Waterloo, 2001. [ bib ] |
| [27] |
François Lemaire.
Les classements les plus généraux assurant l'analycité
des systèmes orthonomes pour des conditions initiales analytiques.
In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov,
editors, Proceedings of Computer Algebra in Scientific Computation
2002, pages 207-219, Yalta, Ukraine, 2002. Institüt für
Informatik, Technische Universität München. [ bib ] |
| [28] |
Z. Li, F. Schwarz, and S. Tsarev.
Factoring zero-dimensional ideals of linear partial differential
operators.
In Teo Mora, editor, ACM International Symposium on Symbolic and
Algebraic Computation, pages 168-175, Lille, France, 2002. ACM Press, New
York. [ bib ] |
| [29] |
Huanling Lu.
Run-time parameterized classes for Java.
M.Sc. thesis, University of Western Ontario, London,
Canada, 2002. [ bib ] |
| [30] |
Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M.
Vorkoetter, James McCarron, and Paul DeMarco.
Maple 8 Introductory Programming Guide.
Waterloo Maple Inc., 2002. [ bib ] |
| [31] |
Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M.
Vorkoetter, James McCarron, and Paul DeMarco.
Maple 8 Advanced Programming Guide.
Waterloo Maple Inc., 2002. [ bib ] |
| [32] |
W.N. Naylor.
Mappings between presentation markup and semantic markup for variable
size objects.
In Proc. International Conference on MathML and Math on the
Web, Chicago, June 2002. Wolfram Research. [ bib ] |
| [33] |
W.N. Naylor and S.M. Watt.
Meta-stylesheets for the conversion of mathematical documents into
multiple forms.
Annals of Mathematics and Artificial Intelligence, 2002.
to appear. [ bib ] |
| [34] |
Luca Padovani.
A stand-alone rendering engine for MathML.
In Proc. International Conference on MathML and Math on the
Web, Chicago, June 2002. Wolfram Research. [ bib ] |
| [35] |
Greg Reid, Chris Smith, and Jan Verschelde.
Geometric completion of differential systems using numeric-symbolic
continuation.
Technical Report TR-02-01, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2002. [ bib | http ] |
| [36] |
Greg Reid, Chris Smith, and Jan Verschelde.
Geometric completion of differential systems using numeric-symbolic
continuation.
SIGSAM Bulletin, 36:1-17, 2002. [ bib ] |
| [37] |
A. Storjohann.
High-order lifting (Extended Abstract).
In Teo Mora, editor, ACM International Symposium on Symbolic and
Algebraic Computation, pages 246-254, Lille, France, 2002. ACM Press, New
York. [ bib ] |
| [38] |
B. Wan and S.M. Watt.
An interactive mathematical handwriting recognizer for the Pocket
PC.
In Proc. International Conference on MathML and Math on the
Web, Chicago, June 2002. Wolfram Research. [ bib ] |
| [39] |
S.M. Watt.
A study in the integration of computer algebra systems: Memory
management in a Maple-Aldor environment.
In Proc.International Congress of Mathematical Software,
Beijing, China, August 2002. World Scientific. [ bib ] |
| [40] |
S.M. Watt.
Aldor Users Guide.
Aldor.org, 2nd edition, 2002. [ bib | http ] |
| [41] |
S.M. Watt.
Aldor.
In J. Grabmeier, E. Kaltofen, and V. Weispfennig, editors,
Handbook of Computer Algebra, chapter 4.1.2, pages 260-267. Springer
Verlag, Heidelberg, 2002. [ bib ] |
| [42] |
S.M. Watt.
Conserving implicit mathematical semantics in conversion between
TEX and MathML.
In TEX Users Group 23rd Annual Meeting and Conference.
TUG, September 2002. [ bib ] |
| [43] |
Yuzhen Xie.
A modular XML schema for MathML.
M.Sc. thesis, University of Western Ontario, London,
Canada, 2002. [ bib ] |
| [44] |
Y. Xie, S.M. Watt, and L. Padovani.
A Lisp subset based on MathML.
In Proc. International Conference on MathML and Math on the
Web, Chicago, June 2002. Wolfram Research. [ bib ] |
| [45] |
W.W. Zheng.
Exploiting fast hardware floating point in high precision
computation.
M.Math. essay, University of Waterloo, Waterloo, Canada,
September 2002. [ bib ] |