orcca2002.bib
@PREAMBLE{{{
}}}
@TECHREPORT{ACGL:2002:SSM,
AUTHOR = {S.A.~Abramov and J.J.~Carette and K.O.~Geddes and H.Q.~Le},
TITLE = {Symbolic summation in {M}aple},
NUMBER = {CS-2002-32},
YEAR = {2002},
INSTITUTION = {School of Computer Science, University of Waterloo}
}
@INPROCEEDINGS{Abramov:2002:CAL,
AUTHOR = {S.A.~Abramov and K.O.~Geddes and H.Q.~Le},
TITLE = {Computer algebra library for the construction of the
minimal telescopers},
BOOKTITLE = { International Congress of Mathematical Software},
EDITOR = {A.M. Cohen and X. Gao and N. Takayama},
PUBLISHER = {World Scientific},
YEAR = {2002},
PAGES = {319--329},
ANNOTE = {}
}
@INPROCEEDINGS{AL:2002:ALB,
AUTHOR = {S.A.~Abramov and H.Q.~Le},
TITLE = {A Lower Bound for the Order of Telescopers for a
Hypergeometric Term},
BOOKTITLE = { Formal Power Series and Algebraic Combinatorics},
ADDRESS = {},
EDITOR = {A.M. Cohen and X. Gao and N. Takayama},
PUBLISHER = {},
YEAR = {2002},
PAGES = {},
VOLUME = {},
SERIES = {},
TYPE = {},
EDITION = {},
MONTH = {},
NOTE = {on CD},
ANNOTE = {}
}
@INPROCEEDINGS{Beckermann:2002:FRR,
AUTHOR = {Bernhard Beckermann and Howard Cheng and George Labahn},
TITLE = {Fraction-free Row Reduction of Matrices of Skew
Polynomials},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {Lille, France},
EDITOR = {Teo Mora},
PUBLISHER = {ACM Press, New York},
YEAR = {2002},
PAGES = {8--15}
}
@ARTICLE{BenghorbalCorless:2002:TND,
AUTHOR = {Mhenni Benghorbal and Robert M.~Corless},
TITLE = {The $n$th derivative},
JOURNAL = { \textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
VOLUME = {36},
NUMBER = {1},
ISSUE = {139},
PAGES = {10--14},
YEAR = {2002}
}
@INPROCEEDINGS{Brychkov:2002:DII,
AUTHOR = {Yury A.~Brychkov},
TITLE = {Evaluation of some classes of definite and indefinite
integrals},
BOOKTITLE = {Integral Transforms and Special Functions},
VOLUME = {13},
EDITOR = {},
PUBLISHER = {},
YEAR = {2002},
PAGES = {163--167},
ANNOTE = {}
}
@TECHREPORT{Cheng:2002:GCD,
AUTHOR = {Howard Cheng and George Labahn},
TITLE = {A Modular Greatest Common Divisor Algorithm for
Matrix Polynomial},
NUMBER = {CS-2002-04},
YEAR = {2002},
INSTITUTION = {Department of Computer Science, University of Waterloo}
}
@PHDTHESIS{Chicha:2002:PAI,
AUTHOR = {Yannis Chicha},
TITLE = {Practical Aspects of Interacting Garbage Collectors},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
TYPE = {Ph.{D.} Thesis},
YEAR = {2002},
SUPERVISOR = {Stephen M.~Watt}
}
@BOOK{Corless:2002:EM7,
AUTHOR = {Robert M.~Corless},
TITLE = {Essential {M}aple~7},
PUBLISHER = {Springer-Verlag},
YEAR = {2002},
MONTH = {March},
EDITION = {2nd}
}
@TECHREPORT{Corless:2002:NVC,
AUTHOR = {Robert M.~Corless},
TITLE = {A New View of the computational complexity of
{IVP} for {ODE}},
NUMBER = {TR-01-05, at http://www.orcca.on.ca/TechReports},
YEAR = {2002},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NOTE = {accepted for publication in Num. Alg. 2002}
}
@INPROCEEDINGS{Corless:2002:WOF,
AUTHOR = {Robert M.~Corless and David J.~Jeffrey},
TITLE = {The {Wright} $\omega$ function},
BOOKTITLE = {Proceedings AISC Marseille},
EDITOR = {},
PUBLISHER = {},
YEAR = {2002},
PAGES = {}
}
@INCOLLECTION{CGK:2002:SNA,
AUTHOR = {R.M.~Corless and E.L.~Kaltofen and S.M.~Watt},
TITLE = {Symbolic/Numeric Algorithms},
CHAPTER = {2.12.3},
BOOKTITLE = {Handbook of Computer Algebra},
NUMBER = {},
EDITOR = {J.~Grabmeier, E.~Kaltofen, V.~Weispfennig},
PUBLISHER = {Springer Verlag, Heidelberg},
YEAR = {2002},
PAGES = {113--127},
ADDRESS = {},
ANOTE = {}
}
@INPROCEEDINGS{Corless:2002:GNA,
AUTHOR = {Robert M.~Corless and Ilias S.~Kotsireas and
Andr\'e Galligo and Stephen M.~Watt},
TITLE = {A Geometric-Numeric Algorithm for Factoring Multivariate
Polynomials},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {Lille, France},
EDITOR = {Teo Mora},
PUBLISHER = {ACM Press, New York},
YEAR = {2002},
PAGES = {37--45}
}
@CONFERENCE{LinBox:2002,
AUTHOR = {J.-G. Dumas and T. Gautier and M. Giesbrecht and P. Giorgi
and B. Hovinen and E. Kaltofen and B.D. Saunders
and W.J. Turner and G. Villard},
TITLE = {LinBox: A Generic Library for Exact Linear Algebra},
BOOKTITLE = {International Congress of Mathematical Software},
ADDRESS = {Beijing, China},
EDITOR = {},
PUBLISHER = {},
YEAR = {2002},
PAGES = {},
NOTE = {To appear}
}
@TECHREPORT{Egorychev:2002:IR,
AUTHOR = {G.~Egorychev and E.~Zima},
TITLE = {On integral representation and algorithmic approaches to
the evaluation of combinatorial sums},
TYPE = {},
INSTITUTION = {Department of Computer Science, University of Waterloo},
URL = {ftp://cs-archive.uwaterloo.ca/cs-archive/CS-2002-02},
NUMBER = {CS-2002-02},
YEAR = {2002}
}
@INPROCEEDINGS{Geddes:2002:AMT,
AUTHOR = {K.O.~Geddes and H.Q.~Le},
TITLE = {An algorithm to compute the minimal telescopers for
rational functions ({D}ifferential -- integral case)},
BOOKTITLE = { International Congress of Mathematical Software},
EDITOR = {A.M. Cohen and X. Gao and N. Takayama},
PUBLISHER = {World Scientific},
YEAR = {2002},
PAGES = {453--463},
ANNOTE = {}
}
@TECHREPORT{GedZheng:2002:EFH,
AUTHOR = {K.O.~Geddes and W.W.~Zheng},
TITLE = {Exploiting fast hardware floating point in high
precision computation},
NUMBER = {CS-2002-41},
YEAR = {2002},
INSTITUTION = {School of Computer Science, University of Waterloo}
}
@INPROCEEDINGS{GKL:2002:AFC,
AUTHOR = {M.~Giesbrecht and E.~Kaltofen and W.-s.~Lee},
TITLE = {Algorithms for computing the sparsest shifts for polynomials
via the Berlekamp/Massey algorithm},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {Lille, France},
EDITOR = {Teo Mora},
PUBLISHER = {ACM Press, New York},
YEAR = {2002},
PAGES = {101--108},
NUMBER = {},
ANOTE = {}
}
@TECHREPORT{GLL:2002,
AUTHOR = {M.~Giesbrecht and G.~Labahn and W.-s.~Lee},
TITLE = {On the Equivalence Between Prony's and Ben-Or's/Tiwari's Methods
},
NUMBER = {CS-2002023},
YEAR = {2002},
INSTITUTION = {School of Computer Science, University of Waterloo},
URL = {}
}
@CONFERENCE{GRZ:2002,
AUTHOR = {M. Giesbrecht and G. Reid and Y. Zhang},
TITLE = {Non-commutative {Gr\"obner} Bases in
{Poincar\'e-Burkhoff-Witt} Extensions},
BOOKTITLE = {Conference on Computer Algebra and Scientific
Computation (CASC'2002)},
ADDRESS = {Yalta, Ukraine},
EDITOR = {{Victor G. Ganzha} and {Ernst W. Mayr} and
{Evgenii V. Vorozhtsov}},
PUBLISHER = {{Instit{\"u}t f{\"u}r Informatik, Technische
Universit{\"a}t M{\"u}nchen}},
YEAR = {2002},
PAGES = {97--106}
}
@ARTICLE{GS:2002,
AUTHOR = {M. Giesbrecht and A. Storjohann},
TITLE = {Computing rational forms of integer matrices},
JOURNAL = {Journal of Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {157--172},
YEAR = {2002}
}
@INPROCEEDINGS{HRW:2002:CFT,
AUTHOR = {S.~Huerter and I.~Rodionov and S.M.~Watt},
TITLE = {Content--Faithful Transformations for {Math}{ML}},
BOOKTITLE = {Proc. International Conference on MathML and Math on the Web},
ADDRESS = {Chicago},
EDITOR = {},
PUBLISHER = {Wolfram Research},
MONTH = {June},
YEAR = {2002},
PAGES = {},
NUMBER = {},
ANOTE = {}
}
@TECHREPORT{Jeannerod:2002:ARF,
AUTHOR = {Claude{-}Pierre~Jeannerod},
TITLE = {A reduced form for perturbed matrix polynomials},
TYPE = {},
INSTITUTION = {Department of Computer Science, University of Waterloo},
URL = {ftp://cs-archive.uwaterloo.ca/cs-archive/CS-2002-03},
NUMBER = {CS-2002-03},
YEAR = {2002}
}
@INPROCEEDINGS{SNAP:2002:ICMS,
AUTHOR = {C.P.~Jeannerod and G.~Labahn},
TITLE = {The {SNAP} Package for Arithmetic with Numeric Polynomials},
BOOKTITLE = { International Congress of Mathematical Software},
EDITOR = {},
PUBLISHER = {World Scientific},
YEAR = {2002},
PAGES = {61--71}
}
@TECHREPORT{Le:2002:SDS,
AUTHOR = {H.Q.~Le},
TITLE = {Simplification of Definite Sums of Rational Functions},
TYPE = {},
INSTITUTION = {Department of Computer Science, University of Waterloo},
URL = {ftp://cs-archive.uwaterloo.ca/cs-archive/CS-2002-06},
NUMBER = {CS-2002-06},
YEAR = {2002}
}
@TECHREPORT{Le:2001:HAMo,
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},
NUMBER = {CS-2001-24},
YEAR = {2001},
INSTITUTION = {School of Computer Science, University of Waterloo}
}
@INPROCEEDINGS{Lemaire:2002:CPGA,
AUTHOR = {Fran\c{c}ois Lemaire},
TITLE = {{Les classements les plus g{\'e}n{\'e}raux
assurant l'analycit{\'e} des syst{\`e}mes orthonomes
pour des conditions initiales analytiques}},
BOOKTITLE = {Proceedings of Computer Algebra in Scientific
Computation 2002},
ADDRESS = {Yalta, Ukraine},
EDITOR = {{Victor G. Ganzha} and {Ernst W. Mayr} and
{Evgenii V. Vorozhtsov}},
PUBLISHER = {{Instit{\"u}t f{\"u}r Informatik, Technische
Universit{\"a}t M{\"u}nchen}},
YEAR = {2002},
PAGES = {207--219}
}
@INPROCEEDINGS{LST:2002:FZI,
AUTHOR = {Z.~Li and F.\ Schwarz and S.\ Tsarev},
TITLE = {Factoring Zero-dimensional Ideals of Linear Partial
Differential Operators},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {Lille, France},
EDITOR = {Teo Mora},
PUBLISHER = {ACM Press, New York},
YEAR = {2002},
PAGES = {168--175},
NUMBER = {},
ANOTE = {}
}
@MASTERSTHESIS{Lu:2002:OPJ,
AUTHOR = {Huanling Lu},
TITLE = {Run-time parameterized classes for {Java}},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
TYPE = {M.{Sc.} thesis},
YEAR = {2002},
SUPERVISOR = {Stephen M.~Watt}
}
@BOOK{Monagan:2002:M8IP,
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 8 Introductory Programming Guide},
PUBLISHER = {Waterloo Maple Inc.},
YEAR = {2002},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {Waterloo, Ontario, Canada}
}
@BOOK{Monagan:2002:M8AP,
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 8 Advanced Programming Guide},
PUBLISHER = {Waterloo Maple Inc.},
YEAR = {2002},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {Waterloo, Ontario, Canada}
}
@CONFERENCE{Naylor:2002:MBP,
AUTHOR = {W.N.~Naylor},
TITLE = {Mappings between presentation markup and semantic
markup for variable size objects},
BOOKTITLE = {Proc. International Conference on MathML and Math on the Web},
ADDRESS = {Chicago},
EDITOR = {},
PUBLISHER = {Wolfram Research},
MONTH = {June},
YEAR = {2002},
PAGES = {},
NUMBER = {},
ANOTE = {}
}
@ARTICLE{Naylor:2002:MSC,
AUTHOR = {W.N.~Naylor and S.M.~Watt},
TITLE = {Meta-Stylesheets for the Conversion of
Mathematical Documents into Multiple Forms},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PAGES = {},
PUBLISHER = {},
YEAR = {2002},
VOLUME = {},
SERIES = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {to appear},
ANNOTE = {}
}
@CONFERENCE{Padovani:2002:ASA,
AUTHOR = {Luca Padovani},
TITLE = {A Stand-Alone Rendering Engine for {Math}{ML}},
BOOKTITLE = {Proc. International Conference on MathML and Math on the Web},
ADDRESS = {Chicago},
EDITOR = {},
PUBLISHER = {Wolfram Research},
MONTH = {June},
YEAR = {2002},
PAGES = {},
NUMBER = {},
ANOTE = {}
}
@TECHREPORT{Reid:2002:GCD,
AUTHOR = {Greg Reid and Chris Smith and Jan Verschelde},
TITLE = {Geometric Completion of Differential Systems using
Numeric-Symbolic Continuation},
TYPE = {},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-02-01, at http://www.orcca.on.ca/TechReports},
YEAR = {2002}
}
@ARTICLE{Reid:2002:GCD-Sigsam,
AUTHOR = {Greg Reid and Chris Smith and Jan Verschelde},
TITLE = {Geometric Completion of Differential Systems using
Numeric-Symbolic Continuation},
JOURNAL = {\textsc{SIGSAM Bulletin}},
VOLUME = {36},
ISSUE = {140},
YEAR = {2002},
PAGES = {1--17}
}
@INPROCEEDINGS{Storjohann:2002:HOL,
AUTHOR = {A. Storjohann},
TITLE = {High-Order Lifting ({E}xtended {A}bstract)},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {Lille, France},
EDITOR = {Teo Mora},
PUBLISHER = {ACM Press, New York},
YEAR = {2002},
PAGES = {246--254}
}
@CONFERENCE{Wan:2002:IMH,
AUTHOR = {B. Wan and S.M. Watt},
TITLE = {An Interactive Mathematical Handwriting Recognizer for
the {P}ocket {PC}},
BOOKTITLE = {Proc. International Conference on MathML and Math on the Web},
ADDRESS = {Chicago},
EDITOR = {},
PUBLISHER = {Wolfram Research},
MONTH = {June},
YEAR = {2002},
PAGES = {},
NUMBER = {},
ANOTE = {}
}
@CONFERENCE{Watt:2002:SIC,
AUTHOR = {S.M.~Watt},
TITLE = {A Study in the Integration of Computer Algebra Systems:
Memory Management in a {Maple}--{Aldor} Environment},
BOOKTITLE = {Proc.International Congress of Mathematical Software},
ADDRESS = {Beijing, China},
EDITOR = {},
PUBLISHER = {World Scientific},
MONTH = {August},
YEAR = {2002},
PAGES = {}
}
@BOOK{Watt:2002:AUG,
AUTHOR = {S.M.~Watt},
TITLE = {Aldor Users Guide},
PUBLISHER = {Aldor.org},
YEAR = {2002},
MONTH = {},
EDITION = {2nd},
URL = {http://www.aldor.org/AldorUserGuide/},
ANOTE = {preprint}
}
@INCOLLECTION{Watt:2002:HCA,
AUTHOR = {S.M.~Watt},
TITLE = {Aldor},
BOOKTITLE = {Handbook of Computer Algebra},
ADDRESS = {},
EDITOR = {J.~Grabmeier and E.~Kaltofen and V.~Weispfennig},
PUBLISHER = {Springer Verlag, Heidelberg},
YEAR = {2002},
CHAPTER = {4.1.2},
PAGES = {260--267},
MONTH = {},
ANOTE = {}
}
@INPROCEEDINGS{Watt:2002:CIM,
AUTHOR = {S.M.~Watt},
TITLE = {Conserving implicit mathematical semantics in conversion
between {\TeX{}} and {Math}{ML}},
BOOKTITLE = {{\TeX{}} Users Group 23rd Annual Meeting and Conference},
EDITOR = {},
PUBLISHER = {TUG},
MONTH = {September},
YEAR = {2002},
PAGES = {},
ANOTE = {}
}
@MASTERSTHESIS{Xie:2002:AFM,
AUTHOR = {Yuzhen Xie},
TITLE = {A Modular {XML} Schema for {Math}{ML}},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}},
TYPE = {M.{Sc.} thesis},
YEAR = {2002},
SUPERVISOR = {Stephen M.~Watt}
}
@INPROCEEDINGS{XWP:2002:LSB,
AUTHOR = {Y.~Xie and S.M.~Watt and L.~Padovani},
TITLE = {A {Lisp} Subset Based on {Math}{ML}},
BOOKTITLE = {Proc. International Conference on MathML and Math on the Web},
ADDRESS = {Chicago},
EDITOR = {},
PUBLISHER = {Wolfram Research},
MONTH = {June},
YEAR = {2002},
PAGES = {},
NUMBER = {},
ANOTE = {}
}
@MASTERSTHESIS{Zheng:2002:HFHP,
AUTHOR = {W.W.~Zheng},
TITLE = {Exploiting Fast Hardware Floating Point in High Precision
Computation},
SCHOOL = {University of Waterloo},
ADDRESS = {Waterloo, \textsc{Canada}},
TYPE = {M.{Math.} essay},
MONTH = {September},
YEAR = {2002},
SUPERVISOR = {K.O.~Geddes}
}
This file has been generated by
bibtex2html 1.61