orcca2005.bib

@PREAMBLE{{{
}}}


@ARTICLE{Beckermann1:2005:JSC,
  AUTHOR = {B. Beckermann and H. Cheng and G. Labahn},
  TITLE = {Fraction-free Row Reduction of Matrices of {O}re Polynomials},
  YEAR = {2005},
  JOURNAL = {Journal of Symbolic Computation},
  NOTE = {To appear}
}


@ARTICLE{Beckermann3:2005:NM,
  AUTHOR = {B. Beckermann and G. Golub and G. Labahn},
  TITLE = {On the Numerical Condition of a generalized {H}ankel Eigenvalue Problem},
  YEAR = {2005},
  JOURNAL = {Numerische Mathematik},
  NOTE = {Submitted}
}


@ARTICLE{Beckermann2:2005:JSC,
  AUTHOR = {B. Beckermann and G. Labahn and G. Villard},
  TITLE = {Normal Forms for General Polynomial Matrices},
  YEAR = {2005},
  JOURNAL = {Journal of Symbolic Computation},
  NOTE = {To appear}
}


@ARTICLE{BrychkovGeddes:2005:DBSO,
  AUTHOR = {Yu.A.~Brychkov and K.O.~Geddes},
  TITLE = {On the derivatives of the {B}essel and {S}truve functions
                 with respect to the order},
  JOURNAL = {Integral Transforms and Special Functions},
  VOLUME = {16},
  NUMBER = {3},
  MONTH = {April},
  YEAR = {2005},
  PAGES = {187--198},
  NOTE = {},
  ANNOTE = {}
}


@INPROCEEDINGS{Carvajal:2005:ITPS,
  AUTHOR = {O.A.~Carvajal and F.W.~Chapman and K.O.~Geddes},
  TITLE = {Hybrid Symbolic-Numeric Integration in Multiple Dimensions
                 via Tensor-Product Series},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {84--91}
}


@INPROCEEDINGS{ChenStorjohann:2005:ISSAC05,
  AUTHOR = {Z.~Chen and A.~Storjohann},
  TITLE = {A {BLAS} based {C} library for exact linear algebra on
                  integer matrices},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {92--99}
}


@MASTERSTHESIS{Chen:2005:BBC,
  AUTHOR = {Zhuliang Chen},
  TITLE = {A  {BLAS} based {C} library for exact linear algebra on 
  		  integer matrices},
  SCHOOL = {School of Computer Science, University of Waterloo},
  ADDRESS = {Waterloo, \textsc{Canada}},
  TYPE = {M.{Math.} thesis},
  MONTH = {May},
  YEAR = {2005},
  SUPERVISOR = {A.~Storjohann}
}


@INPROCEEDINGS{Corless:2005:OGCML,
  AUTHOR = {Robert M. Corless},
  TITLE = {On a generalized companion matrix pencil for matrix polynomials expressed in the {Lagrange} basis},
  BOOKTITLE = {International Workshop on Symbolic-Numeric Computation},
  ADDRESS = {Xi'an, China},
  EDITOR = {Dongming Wang and Lihong Zhi},
  YEAR = {2005},
  PAGES = {1--18}
}


@INPROCEEDINGS{Corless:2005:FACFD,
  AUTHOR = {Jichao Zhao and Robert M.~Corless and Matt Davison},
  TITLE = {Financial Applications of Symbolically-Generated Compact Finite Difference Formulae},
  BOOKTITLE = {International Workshop on Symbolic-Numeric Computation},
  ADDRESS = {Xi'an, China},
  EDITOR = {Dongming Wang and Lihong Zhi},
  YEAR = {2005},
  PAGES = {220--234}
}


@INPROCEEDINGS{DahanMorenoMazaSchostWuXie:2005:ISSAC,
  AUTHOR = {X. {Dahan} and M. {{Moreno Maza}} and {\'E}. {Schost} and W. {Wu} and Y. {Xie}},
  TITLE = {Lifting techniques for triangular decompositions},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {108--115}
}


@INPROCEEDINGS{Watt:2005:XMWS,
  AUTHOR = {Mike Dewar and Elena Smirnova and Stephen M. Watt},
  TITLE = {{XML} in Mathematical Web Services},
  BOOKTITLE = {Proc. XML 2005 Conference -- Syntax to Semantics},
  ADDRESS = {Atlanta, USA},
  PUBLISHER = {IDEAlliance},
  YEAR = {2005}
}


@INPROCEEDINGS{Watt:2005:PPO,
  AUTHOR = {Laurentiu Dragan and Stephen M. Watt},
  TITLE = {Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {243--259}
}


@INPROCEEDINGS{Watt:2005:PAG,
  AUTHOR = {Laurentiu Dragan and Stephen M. Watt},
  TITLE = {Performance Analysis of Generics for Scientific Computing},
  PAGES = {66--73},
  BOOKTITLE = {Proc. 7th Internatioanl Symposium on Symbolic and Numeric Algorithms in Scientific Computing},
  ADDRESS = {Timi\c{s}oara, Romania},
  PUBLISHER = {IeAT},
  YEAR = {2005}
}


@INPROCEEDINGS{Zhang:2005:CASA,
  AUTHOR = {M. Giesbrecht and G. Labahn and Y. Zhang},
  TITLE = {Computing Valuation {P}opov Forms},
  BOOKTITLE = {CASA'2005},
  PUBLISHER = {Springer},
  YEAR = {2005},
  PAGES = {619--626}
}


@PHDTHESIS{Ilie:CCDAE,
  AUTHOR = {Silvana Ilie},
  TITLE = {The Computational Complexity of Differential-Algebraic Equations},
  SCHOOL = {Dept Applied Maths, UWO},
  YEAR = {2005},
  TYPE = {Ph.D. thesis},
  ADDRESS = {London, \textsc{Canada}},
  MONTH = {November},
  SUPERVISOR = {Robert M.~Corless and Greg Reid},
  NOTE = {},
  ABSTRACT = {},
  KEYWORDS = {},
  SOURCE = {}
}


@ARTICLE{Jeffrey:2005:LEC,
  AUTHOR = {Silvana Ilie and David J. Jeffrey},
  TITLE = {A note on {L}aplace's equation inside a cylinder},
  JOURNAL = {Applied Mathematics Letters},
  VOLUME = {18},
  PAGES = {55--59},
  YEAR = {2005}
}


@INPROCEEDINGS{Jeffrey:2005:IMPM,
  AUTHOR = {David J. Jeffrey and Silvana Ilie},
  TITLE = {An inclusion in a microchannel of a porous medium},
  BOOKTITLE = {Environmental Fluid Mechanics},
  EDITOR = {S.N. Bora},
  PUBLISHER = {Allied publishers},
  YEAR = {2005},
  PAGES = {112--116},
  ISBN = {81-7764-788-1}
}


@INPROCEEDINGS{Jeffrey:2005:ATAN,
  AUTHOR = {David J. Jeffrey and Pratibha and Kelly B. Roach},
  TITLE = {Affine transformations of algebraic numbers},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {193--199}
}


@INPROCEEDINGS{Humphries:2005:Mconf,
  AUTHOR = {G. Labahn and T. Humphries},
  TITLE = {Symbolic Integration of {J}acobi Elliptic Functions},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {331--339}
}


@INPROCEEDINGS{LemaireMorenoMazaXie:2005:MC,
  AUTHOR = {F. Lemaire and M. {Moreno Maza} and Y. {Xie}},
  TITLE = {The {{{\tt RegularChains}}} library},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {355--368}
}


@MASTERSTHESIS{Li:2005:MSc,
  AUTHOR = {Xin Li},
  TITLE = {Efficient Management of Symbolic Computations with Polynomials},
  SCHOOL = {Department of Computer Science, University of Western Ontario},
  ADDRESS = {London, \textsc{Canada}},
  TYPE = {M.{Sc.} thesis},
  MONTH = {August},
  YEAR = {2005},
  SUPERVISOR = {M. {Moreno Maza}}
}


@INPROCEEDINGS{Jeffrey:2005:CFV,
  AUTHOR = {Songxin Liang and David J. Jeffrey and Stephen M. Watt},
  TITLE = {An Abstract, Coordinate-Free, Vector Algebra Package},
  BOOKTITLE = {Proc. Asian Symposium on Computer Mathematics (ASCM 2005)},
  ADDRESS = {Seoul, Korea},
  PUBLISHER = {Accepted},
  YEAR = {2005}
}


@ARTICLE{LisleReid:2005,
  AUTHOR = {I.G. Lisle and G.J. Reid},
  TITLE = {Symmetry Classification Using Invariant Differential Operators},
  JOURNAL = {Foundations of Computational Mathematics},
  YEAR = {2005},
  VOLUME = {},
  NUMBER = {},
  PAGE = {},
  MONTH = {},
  NOTE = {To appear},
  ANNOTE = {}
}


@ARTICLE{DDRR:2004,
  AUTHOR = {Andrea Doeschl and Matt Davison and Henning Rasmussen and Greg Reid},
  TITLE = {{A}ssessing {C}ellular {A}utomata {B}ased {M}odels using {P}artial {D}ifferential {E}quations},
  NOTE = {conditionally accepted by Mathematical and Computer Modelling 2004}
}


@BOOK{Monagan:2005:M10IP,
  AUTHOR = {M.B.~Monagan and K.O.~Geddes and K.M.~Heal and G.~Labahn
                  and S.M.~Vorkoetter and J.~McCarron and P.~DeMarco},
  TITLE = {Maple 10 Introductory Programming Guide},
  PUBLISHER = {Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario, Canada},
  YEAR = {2005},
  VOLUME = {},
  NUMBER = {},
  MONTH = {},
  NOTE = {388 pages},
  ANNOTE = {}
}


@BOOK{Monagan:2005:M10AP,
  AUTHOR = {M.B.~Monagan and K.O.~Geddes and K.M.~Heal and G.~Labahn
                  and S.M.~Vorkoetter and J.~McCarron and P.~DeMarco},
  TITLE = {Maple 10 Advanced Programming Guide},
  PUBLISHER = {Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario, Canada},
  YEAR = {2005},
  VOLUME = {},
  NUMBER = {},
  MONTH = {},
  NOTE = {442 pages},
  ANNOTE = {}
}


@ARTICLE{LemaireReidZhang:2005,
  AUTHOR = {Francois Lemaire and Greg Reid and Yang Zhang},
  TITLE = {Noncommutative Existence and Uniqueness Theory for analytic systems of
                Nonlinear Partial Differential Equations},
  YEAR = {2005},
  VOLUME = {},
  NUMBER = {},
  PAGE = {},
  MONTH = {},
  NOTE = {submitted, 37 pages},
  ANNOTE = {}
}


@CONFERENCE{MazaReidScottWuI:2005,
  AUTHOR = {M. {Moreno Maza} and G. Reid and R. Scott and W. Wu},
  TITLE = {On Approximate Triangular Decompositions {I}. {D}imension Zero},
  BOOKTITLE = {International Workshop on Symbolic-Numeric Computation},
  YEAR = {2005},
  PAGES = {250--275}
}


@CONFERENCE{MazaReidScottWuII:2005,
  AUTHOR = {M. {Moreno Maza} and G. Reid and R. Scott and W. Wu},
  TITLE = {On Approximate Triangular Decompositions {II}. {L}inear Systems},
  BOOKTITLE = {International Workshop on Symbolic-Numeric Computation},
  YEAR = {2005},
  PAGES = {276--296}
}


@INPROCEEDINGS{Watt:2005:TLS,
  AUTHOR = {C. Oancea and J.W.A. Selby and M.W. Giesbrecht and S.M. Watt},
  TITLE = {Distributed Models of Thread-Level Speculation},
  PAGES = {920--927},
  BOOKTITLE = {Proc. 2005 International Conference on Parallel and Distributed Processing Techniques and Applications},
  ADDRESS = {Las Vagas, USA},
  PUBLISHER = {CSREA Press},
  ISBN = {1-932415-58-0/59-9/60-2/61-0},
  YEAR = {2005}
}


@INPROCEEDINGS{Watt:2005:GM,
  AUTHOR = {Cosmin Oancea and Clare So and Stephen M. Watt},
  TITLE = {Generalization in {M}aple},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {377--382}
}


@INPROCEEDINGS{Watt:2005:DE,
  AUTHOR = {Cosmin Oancea and Stephen M. Watt},
  TITLE = {Domains and Expressions: An interface between two approaches to computer algebra},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {261--268}
}


@INPROCEEDINGS{Watt:2005:PPSCA,
  AUTHOR = {Cosmin Oancea and Stephen M. Watt},
  TITLE = {Parametric Polymorphism for Software Component Architectures},
  PAGES = {147--166},
  BOOKTITLE = {Proc. 20th Annual ACM Conference on Object Oriented Programming, Systems, Languages and Applications},
  ADDRESS = {San Diego, USA},
  PUBLISHER = {ACM Press},
  YEAR = {2005}
}


@INPROCEEDINGS{Jeffrey:2005:SFPSM,
  AUTHOR = {Pratibha and David J. Jeffrey},
  TITLE = {Stokes-flow problem solved using {M}aple},
  BOOKTITLE = {LNCS 3516: Proceedings CASA 2005},
  EDITOR = {A. Inglesias},
  PUBLISHER = {Springer},
  YEAR = {2005},
  PAGES = {}
}


@CONFERENCE{ReidVerscheldeWuWittkopf:2005,
  AUTHOR = {G. Reid and J. Verschelde and W. Wu and A. Wittkopf},
  TITLE = {Symbolic-Numeric Completion of Differential Systems by Homotopy
                  Continuation},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {269--276}
}


@INPROCEEDINGS{ReidTangYuZhi:2005,
  AUTHOR = {Greg Reid and Jianliang Tang and Jianping Yu and Lihong Zhi},
  TITLE = {Hybrid Method for Solving New Pose Estimation Equation System},
  BOOKTITLE = {LNCS 3519: Proceedings IWMM-GIAE 2005},
  EDITOR = {H. Li and P.J. Olver and G. Sommer},
  PUBLISHER = {Springer},
  YEAR = {2005},
  PAGES = {44--55}
}


@INPROCEEDINGS{ReidZhi:2004,
  AUTHOR = {Greg Reid and Lihong Zhi},
  TITLE = {Solving Nonlinear Polynomial System via Symbolic-Numeric Elimination Method},
  BOOKTITLE = {Proceedings of the International Conference on Polynomial System Solving},
  EDITOR = {J.C. Faug\`ere and F. Rouillier},
  YEAR = {2004},
  PAGES = {50--53}
}


@ARTICLE{Rezvani:2005:NPGZR,
  AUTHOR = {Nargol Rezvani and Robert M.~Corless},
  TITLE = {The Nearest Polynomial with a Given Zero, Revisited},
  JOURNAL = {\textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
  VOLUME = {34},
  NUMBER = {3},
  MONTH = {September},
  YEAR = {2005},
  PAGES = {71--77}
}


@MASTERSTHESIS{Rezvani:2005:APDB,
  AUTHOR = {Nargol Rezvani},
  TITLE = {Approximate Polynomials in Different Bases},
  SCHOOL = {Dept. Applied Math, University of Western Ontario},
  ADDRESS = {London, \textsc{Canada}},
  TYPE = {M.Sc. thesis},
  MONTH = {November},
  YEAR = {2005},
  SUPERVISOR = {Robert M.~Corless and Dhavide Aruliah}
}


@MASTERSTHESIS{Robinson:2005:AGN,
  AUTHOR = {Tom~Robinson},
  TITLE = {Automated Generation of Numerical Evaluation Routines},
  SCHOOL = {School of Computer Science, University of Waterloo},
  ADDRESS = {Waterloo, \textsc{Canada}},
  TYPE = {M.{Math.} thesis},
  MONTH = {May},
  YEAR = {2005},
  SUPERVISOR = {K.O.~Geddes}
}


@INPROCEEDINGS{Robinson:2005:Mconf,
  AUTHOR = {Tom~Robinson and K.O.~Geddes},
  TITLE = {Automated Generation of Numerical Evaluation Routines},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {383--398}
}


@INPROCEEDINGS{Watt:2005:CPBC,
  AUTHOR = {Elena Smirnova and Stephen M. Watt},
  TITLE = {A Context for Pen-Based Mathematical Computing},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {409--422}
}


@MASTERSTHESIS{So:2005:MSc,
  AUTHOR = {Clare M. So},
  TITLE = {An Analysis of Mathematical Expressions Used in Practice},
  SCHOOL = {Department of Computer Science, University of Western Ontario},
  ADDRESS = {London, \textsc{Canada}},
  TYPE = {M.{Sc.} thesis},
  MONTH = {September},
  YEAR = {2005},
  SUPERVISOR = {S.M.~Watt}
}


@INPROCEEDINGS{Watt:2005:AW,
  AUTHOR = {Clare M. So and Mark Perry and Stephen M. Watt},
  TITLE = {Toward an Acessible Web through Semantic Web Standards},
  PAGES = {10--16},
  BOOKTITLE = {Proc. 2005 International Conference on Computers for People with Special Needs},
  ADDRESS = {Las Vagas, USA},
  PUBLISHER = {CSREA Press},
  ISBN = {1-932415-78-5},
  YEAR = {2005}
}


@INPROCEEDINGS{Watt:2005:DEMP,
  AUTHOR = {Clare M. So and Stephen M. Watt},
  TITLE = {Determining Empirical Properties of Mathematical Expression Use},
  BOOKTITLE = {Proc. Fourth International Conference on Mathematical Knowledge Management},
  ADDRESS = {Bremen, Germany},
  PUBLISHER = {Springer Verlag (to appear)},
  YEAR = {2005}
}


@ARTICLE{Storjohann:2005:SNS,
  AUTHOR = {A.~Storjohann},
  TITLE = {The shifted number system for fast linear algebra on
                  integer matrices},
  YEAR = {2005},
  VOLUME = {21},
  NUMBER = {4},
  JOURNAL = {Journal of Complexity},
  PAGES = {609--650}
}


@INPROCEEDINGS{StorjohannVillard:2005:ISSAC05,
  AUTHOR = {A.~Storjohann and G.~Villard},
  TITLE = {Computing the rank and a small nullspace basis of a
		 polynomial matrix},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Beijing, China},
  EDITOR = {Manuel Kauers},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2005},
  PAGES = {309--316}
}


@INPROCEEDINGS{Watt:2005:PPFX,
  AUTHOR = {Stephen M. Watt and Xiaofang Xie},
  TITLE = {Prototype Pruning by Feature Extraction in Handwritten Mathematical Symbol Recognition},
  BOOKTITLE = {Maple Conference 2005},
  ADDRESS = {Waterloo, Ontario},
  EDITOR = {Ilias S. Kotsireas},
  PUBLISHER = {Maplesoft},
  YEAR = {2005},
  PAGES = {423--437}
}


@INPROCEEDINGS{Watt:2005:RLS,
  AUTHOR = {Stephen M. Watt and Xiaofang Xie},
  TITLE = {Recognition for Large Sets of Handwritten Mathematical Symbols},
  PAGES = {740--744},
  BOOKTITLE = {Proc. IEEE International Conference on Document Analysis and Recognition},
  ADDRESS = {Seoul, Korea},
  PUBLISHER = {IEEE Press},
  YEAR = {2005}
}


@INPROCEEDINGS{Watt:2005:SIGSAM,
  AUTHOR = {Stephen M. Watt},
  TITLE = {Manuel {E}ric {B}ronstein: August 18 1963--June 6 2005, in memoriam},
  BOOKTITLE = {Sigsam Bulletin},
  PAGES = {144--145},
  YEAR = {2005}
}


@INPROCEEDINGS{Jeffrey:2005:AMADS,
  AUTHOR = {Wenqin Zhou and David J. Jeffrey and Greg J. Reid},
  TITLE = {An algebraic method for analyzing open-loop dynamic systems},
  BOOKTITLE = {LNCS 3516: Proceedings CASA'2005},
  EDITOR = {A. Inglesias},
  PUBLISHER = {Springer},
  YEAR = {2005},
  PAGES = {}
}


@INPROCEEDINGS{Jeffrey:2005:IRIF,
  AUTHOR = {Wenqin Zhou and David J. Jeffrey and Greg J. Reid and
                 Chad Schmitke and John McPhee},
  TITLE = {Implicit Reduced Involutive forms and their application to
                 engineering multibody systems},
  BOOKTITLE = {LNCS 3519: Proceedings IWMM-GIAE 2005},
  EDITOR = {H. Li and P.J. Olver and G. Sommer},
  PUBLISHER = {Springer},
  YEAR = {2005},
  PAGES = {31--43}
}