orcca2001.bib
@PREAMBLE{{{
}}}
@ARTICLE{Abramov:2001:NDS,
AUTHOR = {S.A.~Abramov},
TITLE = {A Note on the Number of Division Steps in
the {Euclidean} Algorithm},
JOURNAL = { \textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
PAGES = {1--2},
PUBLISHER = {},
YEAR = {2001},
VOLUME = {},
SERIES = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Abramov:2001:ODI,
AUTHOR = {S.A.~Abramov and M.~Petkov\v sek},
TITLE = {Optimal Decomposition of Indefinite Hypergeometric Sums},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {},
EDITOR = {Bernard Mourrain},
PUBLISHER = {ACM Press, New York},
YEAR = {2001},
PAGES = {7--14},
VOLUME = {},
SERIES = {},
TYPE = {},
EDITION = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Abramov:2001:POA,
AUTHOR = {S.A.~Abramov and M.~Petkov\v sek},
TITLE = {Proof of a Conjecture of {Wilf} and {Zeilberger}},
JOURNAL = {Preprint series, University of Ljubljana},
YEAR = {2001},
VOLUME = {39},
NUMBER = {748},
PAGES = {},
MONTH = {},
NOTE = {ISSN 1318--4865},
ANNOTE = {}
}
@ARTICLE{W3C:2001:MML,
AUTHOR = {R.~Ausbrooks and S.~Buswell and S.~Dalmas and S.~Devitt and
A.~Diaz and R.~Hunter and B.~Smith and N.~Soiffer and
R.~Sutor and S.~Watt},
TITLE = {Mathematical {Markup} {Language} ({Math}{ML}) {Version} 2.0},
JOURNAL = {World Wide Web Consortium W3C Recommendation 21-February 2001},
PAGES = {},
PUBLISHER = {},
YEAR = {2001},
VOLUME = {},
SERIES = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {http://www.w3.org/TR/2001/REC-MathML2-20010221},
EDITORS = {D.~Carlisle and P.~Ion and N.~Poppelier and R.~Miner}
}
@ARTICLE{Brychkov:2001:ESC,
AUTHOR = {Yury A.~Brychkov},
TITLE = {Evaluation of some classes of integrals},
JOURNAL = {Integral Transforms and Special Functions},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {},
NOTE = {Accepted},
ANNOTE = {}
}
@ARTICLE{Brychkov:2001:GCDF,
AUTHOR = {Yury A.~Brychkov},
TITLE = {Generalization of {Cook's} duplication formulas for
{Bessel} functions},
JOURNAL = {Fractional Calculus and Applied Analysis},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {},
NOTE = {Accepted},
ANNOTE = {}
}
@MASTERSTHESIS{Burger:2001:ESLO,
AUTHOR = {R.F.~Burger},
TITLE = {Exact Solutions of Linear ODEs having Doubly Periodic
Coefficients},
SCHOOL = {University of Waterloo},
ADDRESS = {Waterloo, \textsc{Canada}},
TYPE = {M.{Sc.} (Thesis)},
YEAR = {2001},
SUPERVISOR = {G.~Labahn}
}
@INPROCEEDINGS{Cheng:2001:CAF,
AUTHOR = {Howard Cheng and George Labahn},
TITLE = {Computing All Factorizations in $\mathbb{Z}_N[x]$},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {London, Ontario},
EDITOR = {Bernard Mourrain},
PUBLISHER = {ACM Press, New York},
YEAR = {2001},
PAGES = {64--71},
ANNOTE = {}
}
@INPROCEEDINGS{Corless:2001:MEP,
AUTHOR = {Robert M.~Corless},
TITLE = {Symbolic-Numeric Algorithms for Polynomials:
some recent results},
BOOKTITLE = {Proceedings Dagstuhl-Seminar 99471, Symbolic-algebraic
Methods and Verification Methods -- Theory and Applications},
EDITOR = {G\"otz Alefeld and Jiri Rohn and Sigfried Rump
and ? Yamamoto},
PUBLISHER = {Springer},
YEAR = {2001},
PAGES = {21--33},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-21, at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@ARTICLE{Corless:2001:ESM,
AUTHOR = {Robert M.~Corless},
TITLE = {An elementary solution of a minimax problem
arising in algorithms for automatic mesh selection},
JOURNAL = { \textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
YEAR = {2001},
ISSUE = {134},
VOLUME = {34},
NUMBER = {4},
PAGES = {7--15},
MONTH = {December}
}
@CONFERENCE{Corless:2001:APF,
AUTHOR = {Robert M.~Corless and Mark W.~Giesbrecht and
Mark van~Hoeij and Stephen M.~Watt},
TITLE = {Towards Factoring Bivariate Approximate Polynomials},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
EDITOR = {Bernard Mourrain},
PUBLISHER = {ACM Press, New York},
YEAR = {2001},
PAGES = {85--92}
}
@ARTICLE{Corless:2001:REF2,
AUTHOR = {Robert M.~Corless and James H.~Davenport and David
J.~Jeffrey and R.J.~Bradford and Stephen M.~Watt},
TITLE = {Reasoning about the Elementary Functions of Complex
Analysis},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PAGES = {},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {to appear},
ANNOTE = {}
}
@ARTICLE{D'Alessio:2001:TIF,
AUTHOR = {Serge J.D.~D'Alessio and Frederick W.~Chapman},
TITLE = {The Initial Flow Past a Uniformly Accelerating Inclined
Elliptic Cylinder},
JOURNAL = {Canadian Applied Mathematics Quarterly},
YEAR = {2001},
VOLUME = {8},
NUMBER = {2},
PAGES = {},
MONTH = {Summer},
NOTE = {},
ANNOTE = {}
}
@TECHREPORT{Drexler:2001:LFB,
AUTHOR = {Josef Drexler},
TITLE = {Low-frequency {F}arley-{B}uneman {W}aves in a
non-uniform medium},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-01-04, at http://www.orcca.on.ca/TechReports},
YEAR = {2001}
}
@INPROCEEDINGS{Geddes:2001:IDI,
AUTHOR = {K.O.~Geddes},
TITLE = {Algorithms for indefinite and definite integration
in {Maple}},
BOOKTITLE = {Applications of Computer Algebra (Proceedings of the
International Symposium on Applications of Computer Algebra,
Kolhapur, India, October 2000)},
EDITOR = {R. Akerkar},
PUBLISHER = {Allied Publishers Ltd, Mumbai},
YEAR = {2001},
PAGES = {51--84},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Geddes:2001:HDO,
AUTHOR = {K.O.~Geddes},
TITLE = {Hybrid symbolic-numeric methods applied to definite
integrals and {ODE}s},
BOOKTITLE = {Applications of Computer Algebra (Proceedings of the
International Symposium on Applications of Computer Algebra,
Kolhapur, India, October 2000)},
EDITOR = {R. Akerkar},
PUBLISHER = {Allied Publishers Ltd, Mumbai},
YEAR = {2001},
PAGES = {85--108},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Giesbrecht:2001:SSF,
AUTHOR = {Mark W.~Giesbrecht},
TITLE = {Fast Computational of the {S}mith form of a Sparse
Integer Matrix},
JOURNAL = {Computational Complexity},
YEAR = 2001,
VOLUME = 10,
PAGES = {41--69}
}
@CONFERENCE{Giesbrecht:2001:LIL,
AUTHOR = {Mark W.~Giesbrecht and {Michael Jacobson, Jr.} and
Arne Storjohann},
TITLE = {Algorithms for Large Integer Matrix Problems},
BOOKTITLE = {Proc. AAECC-14},
EDITOR = {},
PUBLISHER = {},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {2227},
YEAR = {2001},
PAGES = {297--307},
NOTE = {Also appears as ORCCA TR-01-01}
}
@ARTICLE{Kotsireas:2001:HPSI,
AUTHOR = {Ilias S.~Kotsireas},
TITLE = {Homotopies and polynomial system solving {I.} {B}asic principles},
JOURNAL = {SIGSAM Bulletin},
YEAR = {2001},
VOLUME = {35},
NUMBER = {1},
PAGES = {19--32},
MONTH = {},
NOTE = {March},
ANNOTE = {}
}
@ARTICLE{Kotsireas:2001:CCN,
AUTHOR = {Ilias S.~Kotsireas},
TITLE = {Central Configurations in the {Newtonian} $N$-body
problem of Celestial Mechanics},
JOURNAL = {Contemporary Mathematics},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {},
NOTE = {To appear},
ANNOTE = {}
}
@TECHREPORT{Kotsireas:2001:AWS,
AUTHOR = {Ilias S.~Kotsireas and Gregory J. Reid},
TITLE = {Alternative Ways of Solving {P}olynomial {S}ystems},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-01-03, at http://www.orcca.on.ca/TechReports},
YEAR = {2001}
}
@ARTICLE{Le:2001:MTD,
AUTHOR = {H.Q.~Le},
TITLE = {Computing the Minimal Telescoper for Sums of Hypergeometric Terms},
JOURNAL = { \textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
YEAR = {2001},
VOLUME = {35},
NUMBER = {3},
PAGES = {2--10},
MONTH = {September},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Le:2001:AZR,
AUTHOR = {H.Q.~Le},
TITLE = {A Direct Algorithm to Construct {Zeilberger}'s
Recurrences for Rational Functions},
BOOKTITLE = { Formal Power Series and Algebraic Combinatorics},
EDITOR = {},
PUBLISHER = {},
YEAR = {2001},
PAGES = {303--312},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Le:2001:QZA,
AUTHOR = {H.Q.~Le},
TITLE = {On the {\em q}-analogue of {Zeilberger's} algorithm to
rational functions},
JOURNAL = {Programming and Comput.~Software {Programmirovanie}},
YEAR = {2001},
VOLUME = {27},
NUMBER = {1},
PAGES = {49--58},
MONTH = {Jan-Feb},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{LAG:2001:ADA,
AUTHOR = {H.Q.~Le and S.A.~Abramov and K.O.~Geddes},
TITLE = {A Direct Algorithm to Construct The Minimal Telescopers
for Rational Functions (q-Difference Case)},
JOURNAL = {Technical Report CS-2001-25, Department of Computer Science,
University of Waterloo, Ontario, Canada},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Le:2001:HAM,
AUTHOR = {H.Q.~Le and S.A.~Abramov and K.O.~Geddes},
TITLE = {HypergeometricSum: A {M}aple Package for Finding Closed Forms
of Indefinite and Definite Sums of Hypergeometric Type},
JOURNAL = {Technical Report CS-2001-24, Department of Computer Science,
University of Waterloo, Ontario, Canada},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@PHDTHESIS{Lee:2001:ETS,
AUTHOR = {Wen{-}shin Lee},
TITLE = {Early Termination Strategies in Sparse Interpolation
Algorithms},
SCHOOL = {North Carolina State University},
ADDRESS = {Raleigh, NC \textsc{USA}},
TYPE = {Ph.{D.} Thesis},
YEAR = {2001},
SUPERVISOR = {Erich~Kaltofen}
}
@MASTERSTHESIS{Lemac:2001:ETF,
AUTHOR = {G.~Le~Mac},
TITLE = {The Eccentric Trigonometric Functions},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
TYPE = {M.{Sc.} (Thesis)},
YEAR = {2001},
SUPERVISOR = {D.J.~Jeffrey}
}
@ARTICLE{Li:2001:RSR,
AUTHOR = {Z.~Li and F.~Schwarz},
TITLE = {Rational Solutions of Riccati-like Partial Differential
Equations},
JOURNAL = { Journal of Symbolic Computation},
YEAR = {2001},
VOLUME = {31},
NUMBER = {},
PAGES = {691--719},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@MASTERSTHESIS{Liu:2001:NST,
AUTHOR = {Dicheng Liu},
TITLE = {Notation selection tools for mathematical stylesheets},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
TYPE = {M.{Sc.} (project)},
YEAR = {2001},
SUPERVISOR = {Stephen M.~Watt}
}
@BOOK{Monagan:2001:M7P,
AUTHOR = {Michael B.~Monagan and Keith O.~Geddes and
K.~Michael Heal and George Labahn and Stefan M.~Vorkoetter
and James McCarron and Paul DeMarco},
TITLE = {Maple 7 Programming Guide},
PUBLISHER = {Waterloo Maple Inc., Waterloo, Ontario, Canada},
YEAR = {2001},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {628 pages},
ANNOTE = {}
}
@INPROCEEDINGS{Naylor:2001:MSCMD,
AUTHOR = {W.N.~Naylor and Stephen M.~Watt},
TITLE = {Meta stylesheets for the conversion of mathematical documents
into multiple forms},
BOOKTITLE = {Proc. Int'l Workshop on Math. Knowledge Management},
ADDRESS = {RISC-Linz},
EDITOR = {},
PUBLISHER = {},
YEAR = {2001},
PAGES = {},
ANNOTE = {}
}
@INPROCEEDINGS{Naylor:2001:ROM,
AUTHOR = {W.N.~Naylor and Stephen M.~Watt},
TITLE = {On the Relationship between {Open}{Math} and {Math}{ML}},
BOOKTITLE = {E-Proc.Internet Accessible Mathematical
Communication (IAMC 2001)},
ADDRESS = {},
EDITOR = {},
PUBLISHER = {},
YEAR = {2001},
PAGES = {},
NOTE = {http://icm.mcs.kent.edu/research/iamc2001.papers/nay.pdf}
}
@MASTERSTHESIS{Obeid:2001:SSTE,
AUTHOR = {N. Obeid},
TITLE = {Simplification of symbolic tensor expressions},
YEAR = {2001},
MONTH = {},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
SUPERVISOR = {Stephen M.~Watt}
}
@ARTICLE{Reid:2001:DEC,
AUTHOR = {Gregory J.~Reid and Ping Lin and Allan D.~Wittkopf},
TITLE = {{D}ifferential {E}limination-{C}ompletion {A}lgorithms
for {DAE} and {PDAE}},
JOURNAL = {Studies in Applied Mathematics},
YEAR = {2001},
VOLUME = {106},
NUMBER = {1},
PAGES = {1--45},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@MASTERSTHESIS{Rodionov:2001:TML,
AUTHOR = {I. Rodionov},
TITLE = {Tools for {Math}{ML}},
YEAR = {2001},
MONTH = {},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
SUPERVISOR = {Stephen M.~Watt}
}
@MASTERSTHESIS{Schnider:2001:CASWB,
AUTHOR = {C.~Schnider},
TITLE = {Math{ML}: From Computer Algebra Systems to the Web and Back},
SCHOOL = {University of Waterloo},
ADDRESS = {Waterloo, \textsc{Canada}},
TYPE = {M.{Sc.} (Thesis)},
YEAR = {2001},
SUPERVISOR = {G.~Labahn}
}
@ARTICLE{Sommese:2001:NDS,
AUTHOR = {Andrew J.~Sommese and Jan Verschelde and Charles W. Wampler},
TITLE = {Numerical {D}ecomposition of the {S}olution {S}ets
of {P}olynomial {S}ystems into {I}rreducible {C}omponents},
JOURNAL = {SIAM J. Numer. Anal.},
YEAR = {2001},
VOLUME = {38},
NUMBER = {6},
PAGES = {2022--2046}
}
@INPROCEEDINGS{Storjohann:2001:FDF,
AUTHOR = {A.~Storjohann},
TITLE = {Deterministic Computation of the {F}robenius Form
({E}xtended {A}bstract)},
BOOKTITLE = {Proc.\ 42nd Annual Symp.\ Foundations of Comp.\ Sci.},
ADDRESS = {Las Vegas, Nevada},
EDITOR = {},
PUBLISHER = {IEEE Computer Society Press, Los Alamitos, California},
YEAR = {2001},
PAGES = {368--377}
}
@ARTICLE{vanHoeij:2001:FPK,
AUTHOR = {Mark van~Hoeij},
TITLE = {Factoring polynomials and the knapsack problem},
JOURNAL = {Journal of Number Theory},
PAGES = {},
PUBLISHER = {},
YEAR = {2001},
VOLUME = {},
SERIES = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {To appear},
ANNOTE = {}
}
@MASTERSTHESIS{Wan:2001:IMH,
AUTHOR = {Bo Wan},
TITLE = {An Interactive Mathematical Handwriting Recognizer
for the {P}ocket {PC}},
YEAR = {2001},
MONTH = {},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
SUPERVISOR = {Stephen M.~Watt}
}
@ARTICLE{Wittkopf:2001:FDE,
AUTHOR = {Allan D.~Wittkopf and Gregory J.~Reid},
TITLE = {Fast {D}ifferential {E}limination in {C}: {T}he
{CD}iff{E}lim {E}nvironment},
JOURNAL = {Computer Physics Communications},
PAGES = {192--217},
PUBLISHER = {},
YEAR = {2001},
VOLUME = {139},
NUMBER = {2},
SERIES = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@MASTERSTHESIS{Xie:2001:SCA,
AUTHOR = {Xiaofang Xie},
TITLE = {Symbolic Circuit Analysis in {Maple}},
YEAR = {2001},
MONTH = {January},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}}
}
@INPROCEEDINGS{Zima:2001:AME,
AUTHOR = {Eugene Zima},
TITLE = {On computational properties of chains of
recurrences},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {London, Ontario, Canada},
EDITOR = {Bernard Mourrain},
PUBLISHER = {ACM Press, New York},
YEAR = {2001},
PAGES = {345--352},
ANNOTE = {}
}
This file has been generated by
bibtex2html 1.61