orcca2000.bib
@PREAMBLE{{{
}}}
@INPROCEEDINGS{Abramov:2000:AZA,
AUTHOR = {S.~A.~Abramov and H.~Q.~Le},
TITLE = {Applicability of {Zeilberger's} algorithm to rational
functions},
BOOKTITLE = { Formal Power Series and Algebraic Combinatorics},
EDITOR = {},
PUBLISHER = {Spring{\-}er-Ver{\-}lag},
YEAR = {2000},
PAGES = {91--102},
SERIES = {LNCS},
VOLUME = {},
TYPE = {},
ADDRESS = {},
EDITION = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Beckermann:2000:NSC,
AUTHOR = {Bernhard Beckermann and George Labahn},
TITLE = {Numeric and Symbolic Computation of problems defined by
Structured Linear Systems},
JOURNAL = {Reliable Computing},
YEAR = {2000},
VOLUME = {6},
NUMBER = {},
PAGES = {365--390},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Beckermann:2000:FCM,
AUTHOR = {Bernhard Beckermann and George Labahn},
TITLE = {Fraction-free Computation of Matrix Rational Interpolants
and Matrix {GCD}'s},
JOURNAL = {SIAM J.~Matrix Analysis and Applications},
YEAR = {2000},
VOLUME = {22},
NUMBER = {1},
PAGES = {114--144},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Boulier:2000:CCRRDI,
AUTHOR = {Fran{\c{c}}ois Boulier and Fran{\c{c}}ois Lemaire},
TITLE = {Computing canonical representatives of regular
differential ideals},
BOOKTITLE = {Proceedings of ISSAC 2000},
ADDRESS = {St Andrews, Scotland},
EDITOR = {Carlo Traverso},
PUBLISHER = {ACM Press},
YEAR = {2000},
PAGES = {37--46}
}
@ARTICLE{Brychkov:2000:ESVC,
AUTHOR = {Yury A.~Brychkov},
TITLE = {Evaluation of some classes of integrals},
JOURNAL = {Report at the NATO Conference on Special Functions, Arizona},
YEAR = {2000},
VOLUME = {},
NUMBER = {},
PAGES = {},
MONTH = {May-June},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Cheng:2000:AME,
AUTHOR = {Howard Cheng and Eugene Zima},
TITLE = {On accelerated methods to evaluate sums of products of
rational numbers},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {St.~Andrew's, Scotland},
EDITOR = {Carlo Traverso},
PUBLISHER = {ACM Press, New York},
YEAR = {2000},
PAGES = {54--61},
ANNOTE = {}
}
@TECHREPORT{Corless:2000:HIV,
AUTHOR = {Robert M.~Corless},
TITLE = {{HIV} and Antiviral therapy},
NUMBER = {TR-00-21, at http://www.orcca.on.ca/TechReports},
YEAR = {2000},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NOTE = {Maple worksheet}
}
@TECHREPORT{Corless:2000:SMF,
AUTHOR = {Robert M.~Corless and David J.~Jeffrey},
TITLE = {Still more fun results on the {Lambert~$W$} function},
NUMBER = {TR-00-20, at http://www.orcca.on.ca/TechReports},
YEAR = {2000},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NOTE = {Maple worksheet}
}
@ARTICLE{Corless:2000:AAS,
AUTHOR = {Robert M.~Corless and James H.~Davenport and
David J.~Jeffrey and Stephen M.~Watt},
TITLE = {According to {Abramowitz} and {Stegun}, or,
{Arccoth} needn't be Uncouth},
JOURNAL = { \textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
YEAR = {2000},
VOLUME = {34},
NUMBER = {2},
PAGES = {},
MONTH = {June},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-17, at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@INPROCEEDINGS{Corless:2000:REF,
AUTHOR = {Robert M.~Corless and James H.~Davenport and
{David J.~Jeffrey} and G.~Litt and Stephen M.~Watt},
TITLE = {Reasoning about the Elementary Functions of Complex Analysis},
BOOKTITLE = {Proceedings AISC Madrid},
EDITOR = {},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in AI},
VOLUME = {1930},
YEAR = {2000},
PAGES = {},
NUMBER = {},
MONTH = {},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-18, at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@INPROCEEDINGS{Corless:2000:NIP,
AUTHOR = {Robert M.~Corless and Mark W.~Giesbrecht and
Ilias S.~Kotsireas and Stephen M.~Watt},
TITLE = {Numerical Implicitization of parametric hypersurfaces
with linear algebra},
BOOKTITLE = {Proceedings AISC 2000, Madrid},
EDITOR = {},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in AI},
VOLUME = {1930},
YEAR = {2000},
PAGES = {174--183},
NUMBER = {},
MONTH = {},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-03, http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@TECHREPORT{Corless:2000:LWo,
AUTHOR = {Robert M.~Corless and David J.~Jeffrey},
TITLE = {On the {Lambert}~{$W$} function and the {Wright}~$\omega$
function},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
TYPE = {},
NUMBER = {TR-00-12, at http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@TECHREPORT{Corless:2000:IIS,
AUTHOR = {Robert M.~Corless and Josef Schicho},
TITLE = {Iterative Improvement and the {SVD} for Singular Systems},
TYPE = {},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-09, at http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@ARTICLE{Eberly:2000:EDA,
AUTHOR = {Wayne Eberly and Mark W.~Giesbrecht},
TITLE = {Efficient decomposition of associative algebras over
finite fields},
JOURNAL = { Journal of Symbolic Computation},
YEAR = {2000},
VOLUME = {29},
NUMBER = {},
PAGES = {441--458},
MONTH = {March},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Eberly:2000:EDS,
AUTHOR = {Wayne Eberly and Mark W.~Giesbrecht},
TITLE = {Efficient decomposition of separable algebras},
JOURNAL = { Journal of Symbolic Computation},
YEAR = {Submitted},
VOLUME = {},
NUMBER = {},
PAGES = {41},
MONTH = {},
NOTE = {ORCCA Tech Report TR-00-02,
at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@INPROCEEDINGS{Eberly:2000:FCS,
AUTHOR = {Wayne Eberly and {Mark W.~Giesbrecht} and Gilles Villard},
TITLE = {On computing the determinant and {Smith} form of an
integer matrix},
BOOKTITLE = {Proceedings of the 41st Annual IEEE Symposium on the
Foundations of Computer Science (FOCS '2000)},
EDITOR = {},
PUBLISHER = {},
YEAR = {2000},
PAGES = {},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@TECHREPORT{Giesbrecht:2000:CRF,
AUTHOR = {Mark W.~Giesbrecht and Arne Storjohann},
TITLE = {Computing rational forms of integer matrices},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-04},
YEAR = {2000},
ANNOTE = {}
}
@INPROCEEDINGS{Jeffrey:2000:IRI,
AUTHOR = {David J.~Jeffrey and Mark W.~Giesbrecht and
Robert M.~Corless},
TITLE = {Integer Roots for Integer Power Content Calculations},
BOOKTITLE = {Proceedings ASCM, Thailand},
EDITOR = {},
PUBLISHER = {},
YEAR = {2000},
PAGES = {},
VOLUME = {},
NUMBER = {},
MONTH = {Dec},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-19, at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@ARTICLE{Kaltofen:2000:CSC,
AUTHOR = {E.~Kaltofen},
TITLE = {Challenges of Symbolic Computation: My Favourite Open
Problems},
JOURNAL = { Journal of Symbolic Computation},
YEAR = {2000},
VOLUME = {29},
NUMBER = {6},
PAGES = {891--919},
MONTH = {},
NOTE = {With an additional open problem by {Robert M.~Corless} and
David J.~Jeffrey},
ANNOTE = {}
}
@TECHREPORT{Kotsireas:2000:HPS,
AUTHOR = {Ilias S.~Kotsireas},
TITLE = {Homotopy and Polynomial System Solving},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-23, at http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@TECHREPORT{Kotsireas:2000:DSF,
AUTHOR = {Ilias S.~Kotsireas and Josef Schicho},
TITLE = {A Computer Algebra solution to a planar
{Newtonian} 4-body problem with unequal masses},
INSTITUTION = {RISC-Linz},
YEAR = {2000},
URL = {ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/},
NUMBER = {00-16/2000}
}
@INPROCEEDINGS{Le:2000:DIA,
AUTHOR = {H.~Q.~Le},
TITLE = {On the differential-integral analogue of
{Zeilberger's} algorithm to rational functions},
BOOKTITLE = {Proceedings ASCM2000, Lecture Notes Series on Computing},
VOLUME = {8},
EDITOR = {},
PUBLISHER = {World Scientific},
YEAR = {2000},
PAGES = {204--213},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Le:2000:PCS,
AUTHOR = {H.~Q.~Le},
TITLE = {Communication-Oriented Representation of Mathematical
Objects},
JOURNAL = {Programming and Comput.~Software {Programmirovanie}},
YEAR = {2000},
VOLUME = {26},
NUMBER = {1},
PAGES = {},
MONTH = {Jan-Feb},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Le:2000:MGO,
AUTHOR = {H.~Q.~Le},
TITLE = {Mathematical Graphical Object Representation},
JOURNAL = {Programming and Comput.~Software {Programmirovanie}},
YEAR = {2000},
VOLUME = {26},
NUMBER = {6},
PAGES = {73--80},
MONTH = {Nov-Dec},
NOTE = {},
ANNOTE = {}
}
@INPROCEEDINGS{Lisle:2000:CSIP,
AUTHOR = {Ian G.~Lisle and Gregory J.~Reid},
TITLE = {{C}artan {S}tructure of {I}nfinite {L}ie {P}seudogroups},
BOOKTITLE = {Geometric Approaches to Differential Equations},
EDITOR = {{Peter J.~Vassiliou} and {Ian G.~Lisle}},
PUBLISHER = {Cambridge University Press},
YEAR = {2000},
PAGES = {116--1450},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@TECHREPORT{Lisle:2000:SCI,
AUTHOR = {Ian G.~Lisle and Gregory J.~Reid},
TITLE = {Symmetry Classification using invariant moving frames},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-08, at http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@TECHREPORT{Liu:2000:CCM,
AUTHOR = {Xianping Liu and {Robert M.~Corless} and K.~O.~Geddes},
TITLE = {Computation of Center Manifolds},
PUBLISHER = {},
YEAR = {2000},
VOLUME = {},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-15, at http://www.orcca.on.ca/TechReports},
MONTH = {},
NOTE = {12 pages},
ANNOTE = {}
}
@BOOK{Monagan:2000:M6P,
AUTHOR = {Michael B.~Monagan and Keith O.~Geddes and
K.~Michael Heal and George Labahn and Stefan M.~Vorkoetter
and James McCarron},
TITLE = {Maple 6 Programming Guide},
PUBLISHER = {Waterloo Maple Inc., Waterloo, Ontario, Canada},
YEAR = {2000},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {585 pages},
ANNOTE = {}
}
@TECHREPORT{MorenoMaza:2000:OTDAV,
AUTHOR = {Marc {Moreno Maza}},
TITLE = {{On Triangular Decompositions of Algebraic Varieties}},
INSTITUTION = {NAG},
NUMBER = {1999--04},
NOTE = {(presented at the MEGA2000 conference)},
YEAR = {2000}
}
@INPROCEEDINGS{Reid:2000:DMD,
AUTHOR = {Gregory J.~Reid and Allan D.~Wittkopf},
TITLE = {Determination of maximal dimensional symmetry groups of
differential systems},
BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
ADDRESS = {St.~Andrew's, Scotland},
EDITOR = {Carlo Traverso},
PUBLISHER = {ACM Press, New York},
YEAR = {2000},
PAGES = {272--280},
NOTE = {Ontario Research Centre for Computer Algebra Technical
Report TR-00-11 at http://www.orcca.on.ca/TechReports},
ANNOTE = {}
}
@TECHREPORT{Reid:2000:CLS,
AUTHOR = {Gregory J.~Reid and Ian G.~Lisle and Alan Boulton},
TITLE = {Characterising {Lie} systems by their infinitesimal
symmetries},
TYPE = {},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
NUMBER = {TR-00-13, at http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@TECHREPORT{Shampine:2000:VOA,
AUTHOR = {Lawrence F.~Shampine},
TITLE = {Variable Order {Adams} Codes},
INSTITUTION = {Ontario Research Centre for Computer Algebra},
URL = {http://www.orcca.on.ca/TechReports},
YEAR = {2000},
VOLUME = {},
NUMBER = {TR-00-05 at http://www.orcca.on.ca/TechReports},
PAGES = {},
MONTH = {},
NOTE = {},
KEY = {},
ANNOTE = {Done while LFS was the Ontario Research Chair in
Computer Algebra, May 2000}
}
@ARTICLE{Shampine:2000:IVP,
AUTHOR = {Lawrence F.~Shampine and Robert M.~Corless},
TITLE = {Initial Value Problems for {ODE}s in Problem Solving
Environments},
JOURNAL = {J.~Computational \& Applied Mathematics},
YEAR = {2000},
VOLUME = {125},
NUMBER = {1--2},
PAGES = {31--40},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
@ARTICLE{Valluri:2000:LWP,
AUTHOR = {Sree Ram Valluri and Robert M.~Corless and David J.~Jeffrey},
TITLE = {Some Applications of the {Lambert~$W$} function to physics},
JOURNAL = {Canadian Journal of Physics},
VOLUME = {78},
PAGES = {823--831},
NOTE = {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.},
YEAR = {2000}
}
@TECHREPORT{Wittkopf:2000:FDE,
AUTHOR = {Allan D.~Wittkopf and Gregory J.~Reid},
TITLE = {Fast Differential Elimination Algorithms in {C}},
INSTITUTION = {The Ontario Research Centre for Computer Algebra},
NUMBER = {TR-00-06 at http://www.orcca.on.ca/TechReports},
URL = {http://www.orcca.on.ca/TechReports},
YEAR = {2000}
}
@PHDTHESIS{Zhang:2000:NFS,
AUTHOR = {Hualiang Zhang},
TITLE = {Non-harmonic {Fourier} series and applications},
YEAR = {2000},
MONTH = {January},
SCHOOL = {University of Western Ontario},
ADDRESS = {London, \textsc{Canada}}
}
@INPROCEEDINGS{Zima:2000:AMC,
AUTHOR = {E.~Zima},
TITLE = {On acceleration of multiprecision computation of products
and sums of products of rational numbers},
BOOKTITLE = {{\it Proc.~of the 12th Intern.~Conference on Formal Power
Series and Algebraic Combinatorics}},
EDITOR = {Carlo Traverso},
PUBLISHER = {Spring{\-}er-Ver{\-}lag},
YEAR = {2000},
PAGES = {775--784},
VOLUME = {},
NUMBER = {},
MONTH = {},
NOTE = {},
ANNOTE = {}
}
This file has been generated by
bibtex2html 1.61