| [1] |
S. A. Abramov and H. Q. Le.
Applicability of Zeilberger's algorithm to rational functions.
In Formal Power Series and Algebraic Combinatorics, LNCS, pages
91-102. Springer-Verlag, 2000. [ bib ] |
| [2] |
Bernhard Beckermann and George Labahn.
Numeric and symbolic computation of problems defined by structured
linear systems.
Reliable Computing, 6:365-390, 2000. [ bib ] |
| [3] |
Bernhard Beckermann and George Labahn.
Fraction-free computation of matrix rational interpolants and matrix
GCD's.
SIAM J. Matrix Analysis and Applications, 22(1):114-144, 2000. [ bib ] |
| [4] |
François Boulier and François Lemaire.
Computing canonical representatives of regular differential ideals.
In Carlo Traverso, editor, Proceedings of ISSAC 2000, pages
37-46, St Andrews, Scotland, 2000. ACM Press. [ bib ] |
| [5] |
Yury A. Brychkov.
Evaluation of some classes of integrals.
Report at the NATO Conference on Special Functions, Arizona,
May-June 2000. [ bib ] |
| [6] |
Howard Cheng and Eugene Zima.
On accelerated methods to evaluate sums of products of rational
numbers.
In Carlo Traverso, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 54-61, St. Andrew's, Scotland,
2000. ACM Press, New York. [ bib ] |
| [7] |
Robert M. Corless.
HIV and antiviral therapy.
Technical Report TR-00-21, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000.
Maple worksheet. [ bib | http ] |
| [8] |
Robert M. Corless and David J. Jeffrey.
Still more fun results on the Lambert W function.
Technical Report TR-00-20, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000.
Maple worksheet. [ bib | http ] |
| [9] |
Robert M. Corless, James H. Davenport, David J. Jeffrey, and Stephen M. Watt.
According to Abramowitz and Stegun, or, Arccoth needn't be
uncouth.
SIGSAM Bulletin: Communications on Computer Algebra,
34(2), June 2000.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-17, at http://www.orcca.on.ca/TechReports. [ bib ] |
| [10] |
Robert M. Corless, James H. Davenport, David J. Jeffrey, G. Litt, and
Stephen M. Watt.
Reasoning about the elementary functions of complex analysis.
In Proceedings AISC Madrid, volume 1930 of Lecture Notes
in AI. Springer, 2000.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-18, at http://www.orcca.on.ca/TechReports. [ bib ] |
| [11] |
Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, and Stephen M. Watt.
Numerical implicitization of parametric hypersurfaces with linear
algebra.
In Proceedings AISC 2000, Madrid, volume 1930 of Lecture
Notes in AI, pages 174-183. Springer, 2000.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-03, http://www.orcca.on.ca/TechReports. [ bib ] |
| [12] |
Robert M. Corless and David J. Jeffrey.
On the Lambert W function and the Wright omega function.
Technical Report TR-00-12, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [13] |
Robert M. Corless and Josef Schicho.
Iterative improvement and the SVD for singular systems.
Technical Report TR-00-09, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [14] |
Wayne Eberly and Mark W. Giesbrecht.
Efficient decomposition of associative algebras over finite fields.
Journal of Symbolic Computation, 29:441-458, March 2000. [ bib ] |
| [15] |
Wayne Eberly and Mark W. Giesbrecht.
Efficient decomposition of separable algebras.
Journal of Symbolic Computation, page 41, Submitted.
ORCCA Tech Report TR-00-02, at http://www.orcca.on.ca/TechReports. [ bib ] |
| [16] |
Wayne Eberly, Mark W. Giesbrecht, and Gilles Villard.
On computing the determinant and Smith form of an integer matrix.
In Proceedings of the 41st Annual IEEE Symposium on the
Foundations of Computer Science (FOCS '2000), 2000. [ bib ] |
| [17] |
Mark W. Giesbrecht and Arne Storjohann.
Computing rational forms of integer matrices.
Technical Report TR-00-04, Ontario Research Centre for Computer
Algebra, 2000. [ bib | http ] |
| [18] |
David J. Jeffrey, Mark W. Giesbrecht, and Robert M. Corless.
Integer roots for integer power content calculations.
In Proceedings ASCM, Thailand, Dec 2000.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-19, at http://www.orcca.on.ca/TechReports. [ bib ] |
| [19] |
E. Kaltofen.
Challenges of symbolic computation: My favourite open problems.
Journal of Symbolic Computation, 29(6):891-919, 2000.
With an additional open problem by Robert M. Corless and David
J. Jeffrey. [ bib ] |
| [20] |
Ilias S. Kotsireas.
Homotopy and polynomial system solving.
Technical Report TR-00-23, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [21] |
Ilias S. Kotsireas and Josef Schicho.
A computer algebra solution to a planar Newtonian 4-body problem
with unequal masses.
Technical Report 00-16/2000, RISC-Linz, 2000. [ bib | ftp ] |
| [22] |
H. Q. Le.
On the differential-integral analogue of Zeilberger's algorithm to
rational functions.
In Proceedings ASCM2000, Lecture Notes Series on Computing,
volume 8, pages 204-213. World Scientific, 2000. [ bib ] |
| [23] |
H. Q. Le.
Communication-oriented representation of mathematical objects.
Programming and Comput. Software Programmirovanie, 26(1),
Jan-Feb 2000. [ bib ] |
| [24] |
H. Q. Le.
Mathematical graphical object representation.
Programming and Comput. Software Programmirovanie,
26(6):73-80, Nov-Dec 2000. [ bib ] |
| [25] |
Ian G. Lisle and Gregory J. Reid.
Cartan Structure of Infinite Lie Pseudogroups.
In Peter J. Vassiliou and Ian G. Lisle, editors, Geometric
Approaches to Differential Equations, pages 116-1450. Cambridge University
Press, 2000. [ bib ] |
| [26] |
Ian G. Lisle and Gregory J. Reid.
Symmetry classification using invariant moving frames.
Technical Report TR-00-08, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [27] |
Xianping Liu, Robert M. Corless, and K. O. Geddes.
Computation of center manifolds.
Technical Report TR-00-15, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000.
12 pages. [ bib | http ] |
| [28] |
Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M.
Vorkoetter, and James McCarron.
Maple 6 Programming Guide.
Waterloo Maple Inc., Waterloo, Ontario, Canada, 2000.
585 pages. [ bib ] |
| [29] |
Marc Moreno Maza.
On Triangular Decompositions of Algebraic Varieties.
Technical Report 1999-04, NAG, 2000.
(presented at the MEGA2000 conference). [ bib ] |
| [30] |
Gregory J. Reid and Allan D. Wittkopf.
Determination of maximal dimensional symmetry groups of differential
systems.
In Carlo Traverso, editor, ACM International Symposium on
Symbolic and Algebraic Computation, pages 272-280, St. Andrew's, Scotland,
2000. ACM Press, New York.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-11 at http://www.orcca.on.ca/TechReports. [ bib ] |
| [31] |
Gregory J. Reid, Ian G. Lisle, and Alan Boulton.
Characterising Lie systems by their infinitesimal symmetries.
Technical Report TR-00-13, at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [32] |
Lawrence F. Shampine.
Variable order Adams codes.
Technical Report TR-00-05 at http://www.orcca.on.ca/TechReports,
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [33] |
Lawrence F. Shampine and Robert M. Corless.
Initial value problems for ODEs in problem solving environments.
J. Computational & Applied Mathematics, 125(1-2):31-40,
2000. [ bib ] |
| [34] |
Sree Ram Valluri, Robert M. Corless, and David J. Jeffrey.
Some applications of the Lambert W function to physics.
Canadian Journal of Physics, 78:823-831, 2000.
Ontario Research Centre for Computer Algebra Technical Report
TR-00-16 at http://www.orcca.on.ca/TechReports/, Jan 2000. On the NRC
Research Press Web Site on October 6, 2000. [ bib ] |
| [35] |
Allan D. Wittkopf and Gregory J. Reid.
Fast differential elimination algorithms in C.
Technical Report TR-00-06 at http://www.orcca.on.ca/TechReports, The
Ontario Research Centre for Computer Algebra, 2000. [ bib | http ] |
| [36] |
Hualiang Zhang.
Non-harmonic Fourier series and applications.
PhD thesis, University of Western Ontario, London, Canada,
January 2000. [ bib ] |
| [37] |
E. Zima.
On acceleration of multiprecision computation of products and sums of
products of rational numbers.
In Carlo Traverso, editor, Proc. of the 12th
Intern. Conference on Formal Power Series and Algebraic Combinatorics,
pages 775-784. Springer-Verlag, 2000. [ bib ] |