| [1] |
B. Beckermann, H. Cheng, and G. Labahn.
Fraction-free row reduction of matrices of Ore polynomials.
Journal of Symbolic Computation, 2005.
To appear. [ bib ] |
| [2] |
B. Beckermann, G. Golub, and G. Labahn.
On the numerical condition of a generalized Hankel eigenvalue
problem.
Numerische Mathematik, 2005.
Submitted. [ bib ] |
| [3] |
B. Beckermann, G. Labahn, and G. Villard.
Normal forms for general polynomial matrices.
Journal of Symbolic Computation, 2005.
To appear. [ bib ] |
| [4] |
Yu.A. Brychkov and K.O. Geddes.
On the derivatives of the Bessel and Struve functions with
respect to the order.
Integral Transforms and Special Functions, 16(3):187-198,
April 2005. [ bib ] |
| [5] |
O.A. Carvajal, F.W. Chapman, and K.O. Geddes.
Hybrid symbolic-numeric integration in multiple dimensions via
tensor-product series.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 84-91, Beijing, China, 2005. ACM
Press, New York. [ bib ] |
| [6] |
Z. Chen and A. Storjohann.
A BLAS based C library for exact linear algebra on integer
matrices.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 92-99, Beijing, China, 2005. ACM
Press, New York. [ bib ] |
| [7] |
Zhuliang Chen.
A BLAS based C library for exact linear algebra on integer
matrices.
M.Math. thesis, School of Computer Science, University of Waterloo,
Waterloo, Canada, May 2005. [ bib ] |
| [8] |
Robert M. Corless.
On a generalized companion matrix pencil for matrix polynomials
expressed in the Lagrange basis.
In Dongming Wang and Lihong Zhi, editors, International Workshop
on Symbolic-Numeric Computation, pages 1-18, Xi'an, China, 2005. [ bib ] |
| [9] |
Jichao Zhao, Robert M. Corless, and Matt Davison.
Financial applications of symbolically-generated compact finite
difference formulae.
In Dongming Wang and Lihong Zhi, editors, International Workshop
on Symbolic-Numeric Computation, pages 220-234, Xi'an, China, 2005. [ bib ] |
| [10] |
X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie.
Lifting techniques for triangular decompositions.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 108-115, Beijing, China, 2005.
ACM Press, New York. [ bib ] |
| [11] |
Mike Dewar, Elena Smirnova, and Stephen M. Watt.
XML in mathematical web services.
In Proc. XML 2005 Conference - Syntax to Semantics, Atlanta,
USA, 2005. IDEAlliance. [ bib ] |
| [12] |
Laurentiu Dragan and Stephen M. Watt.
Parametric polymorphism optimization for deeply nested types in
computer algebra.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
243-259, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [13] |
Laurentiu Dragan and Stephen M. Watt.
Performance analysis of generics for scientific computing.
In Proc. 7th Internatioanl Symposium on Symbolic and Numeric
Algorithms in Scientific Computing, pages 66-73, Timisoara, Romania,
2005. IeAT. [ bib ] |
| [14] |
M. Giesbrecht, G. Labahn, and Y. Zhang.
Computing valuation Popov forms.
In CASA'2005, pages 619-626. Springer, 2005. [ bib ] |
| [15] |
Silvana Ilie.
The Computational Complexity of Differential-Algebraic
Equations.
Ph.d. thesis, Dept Applied Maths, UWO, London, Canada,
November 2005. [ bib ]
Keywords: |
| [16] |
Silvana Ilie and David J. Jeffrey.
A note on Laplace's equation inside a cylinder.
Applied Mathematics Letters, 18:55-59, 2005. [ bib ] |
| [17] |
David J. Jeffrey and Silvana Ilie.
An inclusion in a microchannel of a porous medium.
In S.N. Bora, editor, Environmental Fluid Mechanics, pages
112-116. Allied publishers, 2005. [ bib ] |
| [18] |
David J. Jeffrey, Pratibha, and Kelly B. Roach.
Affine transformations of algebraic numbers.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 193-199, Beijing, China, 2005.
ACM Press, New York. [ bib ] |
| [19] |
G. Labahn and T. Humphries.
Symbolic integration of Jacobi elliptic functions.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
331-339, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [20] |
F. Lemaire, M. Moreno Maza, and Y. Xie.
The RegularChains library.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
355-368, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [21] |
Xin Li.
Efficient management of symbolic computations with polynomials.
M.Sc. thesis, Department of Computer Science, University of Western
Ontario, London, Canada, August 2005. [ bib ] |
| [22] |
Songxin Liang, David J. Jeffrey, and Stephen M. Watt.
An abstract, coordinate-free, vector algebra package.
In Proc. Asian Symposium on Computer Mathematics (ASCM 2005),
Seoul, Korea, 2005. Accepted. [ bib ] |
| [23] |
I.G. Lisle and G.J. Reid.
Symmetry classification using invariant differential operators.
Foundations of Computational Mathematics, 2005.
To appear. [ bib ] |
| [24] |
Andrea Doeschl, Matt Davison, Henning Rasmussen, and Greg Reid.
Assessing Cellular Automata Based Models using Partial
Differential Equations.
conditionally accepted by Mathematical and Computer Modelling 2004. [ bib ] |
| [25] |
M.B. Monagan, K.O. Geddes, K.M. Heal, G. Labahn, S.M. Vorkoetter, J. McCarron,
and P. DeMarco.
Maple 10 Introductory Programming Guide.
Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario,
Canada, 2005.
388 pages. [ bib ] |
| [26] |
M.B. Monagan, K.O. Geddes, K.M. Heal, G. Labahn, S.M. Vorkoetter, J. McCarron,
and P. DeMarco.
Maple 10 Advanced Programming Guide.
Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario,
Canada, 2005.
442 pages. [ bib ] |
| [27] |
Francois Lemaire, Greg Reid, and Yang Zhang.
Noncommutative existence and uniqueness theory for analytic systems
of nonlinear partial differential equations.
2005.
submitted, 37 pages. [ bib ] |
| [28] |
M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
On approximate triangular decompositions I. Dimension zero.
In International Workshop on Symbolic-Numeric Computation,
pages 250-275, 2005. [ bib ] |
| [29] |
M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
On approximate triangular decompositions II. Linear systems.
In International Workshop on Symbolic-Numeric Computation,
pages 276-296, 2005. [ bib ] |
| [30] |
C. Oancea, J.W.A. Selby, M.W. Giesbrecht, and S.M. Watt.
Distributed models of thread-level speculation.
In Proc. 2005 International Conference on Parallel and
Distributed Processing Techniques and Applications, pages 920-927, Las
Vagas, USA, 2005. CSREA Press. [ bib ] |
| [31] |
Cosmin Oancea, Clare So, and Stephen M. Watt.
Generalization in Maple.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
377-382, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [32] |
Cosmin Oancea and Stephen M. Watt.
Domains and expressions: An interface between two approaches to
computer algebra.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 261-268, Beijing, China, 2005.
ACM Press, New York. [ bib ] |
| [33] |
Cosmin Oancea and Stephen M. Watt.
Parametric polymorphism for software component architectures.
In Proc. 20th Annual ACM Conference on Object Oriented
Programming, Systems, Languages and Applications, pages 147-166, San Diego,
USA, 2005. ACM Press. [ bib ] |
| [34] |
Pratibha and David J. Jeffrey.
Stokes-flow problem solved using Maple.
In A. Inglesias, editor, LNCS 3516: Proceedings CASA 2005.
Springer, 2005. [ bib ] |
| [35] |
G. Reid, J. Verschelde, W. Wu, and A. Wittkopf.
Symbolic-numeric completion of differential systems by homotopy
continuation.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 269-276, Beijing, China, 2005.
ACM Press, New York. [ bib ] |
| [36] |
Greg Reid, Jianliang Tang, Jianping Yu, and Lihong Zhi.
Hybrid method for solving new pose estimation equation system.
In H. Li, P.J. Olver, and G. Sommer, editors, LNCS 3519:
Proceedings IWMM-GIAE 2005, pages 44-55. Springer, 2005. [ bib ] |
| [37] |
Greg Reid and Lihong Zhi.
Solving nonlinear polynomial system via symbolic-numeric elimination
method.
In J.C. Faugère and F. Rouillier, editors, Proceedings of the
International Conference on Polynomial System Solving, pages 50-53, 2004. [ bib ] |
| [38] |
Nargol Rezvani and Robert M. Corless.
The nearest polynomial with a given zero, revisited.
SIGSAM Bulletin: Communications on Computer Algebra,
34(3):71-77, September 2005. [ bib ] |
| [39] |
Nargol Rezvani.
Approximate polynomials in different bases.
M.sc. thesis, Dept. Applied Math, University of Western Ontario,
London, Canada, November 2005. [ bib ] |
| [40] |
Tom Robinson.
Automated generation of numerical evaluation routines.
M.Math. thesis, School of Computer Science, University of Waterloo,
Waterloo, Canada, May 2005. [ bib ] |
| [41] |
Tom Robinson and K.O. Geddes.
Automated generation of numerical evaluation routines.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
383-398, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [42] |
Elena Smirnova and Stephen M. Watt.
A context for pen-based mathematical computing.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
409-422, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [43] |
Clare M. So.
An analysis of mathematical expressions used in practice.
M.Sc. thesis, Department of Computer Science, University of Western
Ontario, London, Canada, September 2005. [ bib ] |
| [44] |
Clare M. So, Mark Perry, and Stephen M. Watt.
Toward an acessible web through semantic web standards.
In Proc. 2005 International Conference on Computers for People
with Special Needs, pages 10-16, Las Vagas, USA, 2005. CSREA Press. [ bib ] |
| [45] |
Clare M. So and Stephen M. Watt.
Determining empirical properties of mathematical expression use.
In Proc. Fourth International Conference on Mathematical
Knowledge Management, Bremen, Germany, 2005. Springer Verlag (to appear). [ bib ] |
| [46] |
A. Storjohann.
The shifted number system for fast linear algebra on integer
matrices.
Journal of Complexity, 21(4):609-650, 2005. [ bib ] |
| [47] |
A. Storjohann and G. Villard.
Computing the rank and a small nullspace basis of a polynomial
matrix.
In Manuel Kauers, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 309-316, Beijing, China, 2005.
ACM Press, New York. [ bib ] |
| [48] |
Stephen M. Watt and Xiaofang Xie.
Prototype pruning by feature extraction in handwritten mathematical
symbol recognition.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages
423-437, Waterloo, Ontario, 2005. Maplesoft. [ bib ] |
| [49] |
Stephen M. Watt and Xiaofang Xie.
Recognition for large sets of handwritten mathematical symbols.
In Proc. IEEE International Conference on Document Analysis and
Recognition, pages 740-744, Seoul, Korea, 2005. IEEE Press. [ bib ] |
| [50] |
Stephen M. Watt.
Manuel Eric Bronstein: August 18 1963-june 6 2005, in memoriam.
In Sigsam Bulletin, pages 144-145, 2005. [ bib ] |
| [51] |
Wenqin Zhou, David J. Jeffrey, and Greg J. Reid.
An algebraic method for analyzing open-loop dynamic systems.
In A. Inglesias, editor, LNCS 3516: Proceedings CASA'2005.
Springer, 2005. [ bib ] |
| [52] |
Wenqin Zhou, David J. Jeffrey, Greg J. Reid, Chad Schmitke, and John McPhee.
Implicit reduced involutive forms and their application to
engineering multibody systems.
In H. Li, P.J. Olver, and G. Sommer, editors, LNCS 3519:
Proceedings IWMM-GIAE 2005, pages 31-43. Springer, 2005. [ bib ] |