orcca2004.bib

@PREAMBLE{{{
}}}


@ARTICLE{ACGL:2004:TSM,
  AUTHOR = {S.A.~Abramov and J.J.~Carette and K.O.~Geddes and H.Q.~Le},
  TITLE = {Telescoping in the context of symbolic summation in {M}aple},
  JOURNAL = {Journal of Symbolic Computation},
  VOLUME = {38},
  NUMBER = {4},
  MONTH = {October},
  YEAR = {2004},
  PAGES = {1303--1326},
  NOTE = {},
  ANNOTE = {}
}


@ARTICLE{AbramovLe:2004:ORCT,
  AUTHOR = {S.A.~Abramov and H.Q.~Le},
  TITLE = {On the order of the recurrence produced by the method of
                 creative telescoping},
  JOURNAL = {Discrete Mathematics},
  YEAR = {2004},
  VOLUME = {},
  NUMBER = {},
  PAGES = {},
  MONTH = {},
  NOTE = {To appear},
  ANNOTE = {}
}


@INPROCEEDINGS{Amiraslani:2004:DPV,
  AUTHOR = {Amirhossein~Amiraslani},
  TITLE = {Dividing polynomials when you only know their values},
  BOOKTITLE = {Proceedings of EACA},
  ADDRESS = {Santander, Spain},
  EDITOR = {Laureano Gonzalez-Vega},
  PUBLISHER = {},
  YEAR = {2004},
  PAGES = {5--10}
}


@TECHREPORT{Amiraslani:2004:PABV,
  AUTHOR = {Amirhossein~Amiraslani and Robert~M.~Corless and
                  Laureano Gonzalez-Vega and Azar Shakoori},
  TITLE = {Polynomial Algebra by Values},
  INSTITUTION = {Ontario Research Centre for Computer Algebra},
  NUMBER = {TR-04-01},
  YEAR = {2004},
  URL = {http://www.orcca.on.ca/techrep}
}


@INPROCEEDINGS{Aruliah:2004:NPAV,
  AUTHOR = {Dhavide~Aruliah and Robert~M.~Corless},
  TITLE = {Numerical Parameterization of Affine Varieties using {ODE}s},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Santander, Spain},
  EDITOR = {Jaime Gutierrez},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2004},
  PAGES = {12--18}
}


@PHDTHESIS{Benghorbal:2004:PSFDE,
  AUTHOR = {Mhenni~M.~Benghorbal},
  TITLE = {Power Series Solutions of Fractional Differential Equations
                  and Symbolic Derivatives},
  SCHOOL = {The University of Western Ontario},
  YEAR = {2004},
  ADDRESS = {London}
}


@ARTICLE{Benghorbal:2004:MLT,
  AUTHOR = {Mhenni~M.~Benghorbal},
  TITLE = {The {M}ittag-{L}effler theorem and integer order symbolic
                  derivative formulas of meromorphic functions},
  JOURNAL = {International Journal of Computation and Numerical Analysis and Applications},
  VOLUME = {},
  NUMBER = {},
  ISSUE = {to appear},
  PAGES = {},
  YEAR = {2004}
}


@ARTICLE{Benghorbal:2004:PSS,
  AUTHOR = {Mhenni~M.~Benghorbal and Robert~M.~Corless},
  TITLE = {Power series solutions of Fractional Differential Equations},
  JOURNAL = {International Journal of Pure and Applied Mathematics},
  VOLUME = {},
  NUMBER = {},
  ISSUE = {to appear},
  PAGES = {},
  YEAR = {2004}
}


@ARTICLE{Benghorbal:2004:UFA,
  AUTHOR = {Mhenni~M.~Benghorbal and Robert~M.~Corless},
  TITLE = {A unified formula for arbitrary order symbolic 
                  derivatives and integrals of a rational polynomial},
  JOURNAL = {International Journal of Pure and Applied Mathematics},
  VOLUME = {},
  NUMBER = {},
  ISSUE = {to appear},
  PAGES = {},
  YEAR = {2004}
}


@ARTICLE{Bonasia:2004:DAS,
  AUTHOR = {Joe Bonasia and Fran\c cois Lemaire and Greg Reid and Robin Scott and Lihong Zhi},
  TITLE = {Determination of Approximate Symmetries of Differential Equations},
  JOURNAL = {CRM Proceedings and Lecture Notes},
  PUBLISHER = {Centre de Recherches Math\'ematiques},
  VOLUME = {39},
  NUMBER = {},
  ISSUE = {},
  PAGES = {233--250},
  YEAR = {2004}
}


@INPROCEEDINGS{BoulierMorenoMazaOancea:2004:EACA,
  AUTHOR = {F.~Boulier and M.~{Moreno Maza} and C.{Oancea}},
  TITLE = {A new Henselian construction and its application to polynomial gcds over direct products of fields},
  BOOKTITLE = {Proceedings of EACA},
  ADDRESS = {Santander, Spain},
  EDITOR = {Laureano Gonzalez-Vega},
  PUBLISHER = {Universidad de Cantabria},
  MONTH = {June},
  YEAR = {2004}
}


@ARTICLE{Bronstein:2004:APW,
  AUTHOR = {Manuel Bronstein and Robert M.~Corless and James H.~Davenport and David J.~Jeffrey},
  TITLE = {Algebraic Properties of the {L}ambert~{$W$} Function},
  JOURNAL = {submitted},
  YEAR = {2004}
}


@INPROCEEDINGS{BrychGed:2004:DHP,
  AUTHOR = {Yu.A.~Brychkov and K.O.~Geddes},
  TITLE = {Differentiation of hypergeometric functions with
                 respect to parameters},
  BOOKTITLE = {International Conference on Abstract and Applied Analysis},
  ADDRESS = {},
  EDITOR = {N.M.~Chuong and L.~Nirenberg and W.~Tutschke},
  PUBLISHER = {World Scientific},
  YEAR = {2004},
  PAGES = {15--28},
  NOTE = {},
  ANNOTE = {}
}


@INPROCEEDINGS{burger,
  AUTHOR = {R.~Burger and G.~Labahn and M.~van~Hoeij},
  TITLE = {Closed-form Solutions of Linear {ODE}s having Elliptic
                  Function Coefficients},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Santander, Spain},
  EDITOR = {Jaime Gutierrez},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2004},
  PAGES = {58--64}
}


@INPROCEEDINGS{Cai:2004:DALUI,
  AUTHOR = {J.~Cai and M.Moreno~Maza and S.M.~Watt and M.~Dunstan},
  TITLE = {Debugging A High-Level Language via a Unified Interpreter
                  and Compiler Runtime Enviroment (Extended Version)},
  BOOKTITLE = {Proceedings of ACA, Beaumont},
  PUBLISHER = {Lamar University},
  MONTH = {July},
  YEAR = {2004},
  PAGES = {125--138}
}


@INPROCEEDINGS{Cai:2004:DALUIC,
  AUTHOR = {J.~Cai and M.Moreno~Maza and S.M.~Watt and M.~Dunstan},
  TITLE = {Debugging A High-Level Language via a Unified Interpreter
                  and Compiler Runtime Enviroment},
  BOOKTITLE = {Proceedings of EACA, Santander},
  PUBLISHER = {Universidad de Cantabria},
  MONTH = {July},
  YEAR = {2004},
  PAGES = {119--124}
}


@MASTERSTHESIS{Carvajal:2004:MITP,
  AUTHOR = {Orlando~A.~Carvajal},
  TITLE = {A Hybrid Symbolic-Numeric Method for Multiple Integration
                  Based on Tensor-Product Series Approximations},
  NOTE = {Co-supervised by K.O.~Geddes and F.W.~Chapman.
                  Available online through the National Library of Canada,
                  and through University Microfilms International. 88 pages.},
  SCHOOL = {School of Computer Science, University of Waterloo},
  ADDRESS = {Waterloo, \textsc{Canada}},
  TYPE = {M.{Math} thesis},
  MONTH = {May},
  YEAR = {2004}
}


@ARTICLE{Cheng:2004:JSC,
  AUTHOR = {H. Cheng and G. Labahn},
  TITLE = {Output-sensitive Modular Algorithms for Polynomial Matrix Normal Forms},
  JOURNAL = {Journal of Symbolic Computation},
  NOTE = {submitted},
  YEAR = {2004}
}


@INPROCEEDINGS{Chicha:2004:PPCA,
  AUTHOR = {Y.~Chicha and M.~Lloyd and C.~Oancea and S.M.~Watt},
  TITLE = {Parametric Polymorphism for Computer Algebra Software
                  Components},
  BOOKTITLE = {Proceedings of SYNASC, Timisoara},
  PUBLISHER = {MITRON Press},
  MONTH = {September},
  YEAR = {2004},
  PAGES = {119--130}
}


@INPROCEEDINGS{Corless:2004:GCM,
  AUTHOR = {Robert M.~Corless},
  TITLE = {The Generalized Companion Matrix in the {L}agrange basis},
  BOOKTITLE = {Proceedings of EACA},
  ADDRESS = {Santander, Spain},
  EDITOR = {Laureano Gonzalez-Vega},
  PUBLISHER = {},
  YEAR = {2004},
  PAGES = {317--322}
}


@ARTICLE{Corless:2004:CAw,
  AUTHOR = {Robert M.~Corless and D.J.Jeffrey},
  TITLE = {Computer algebra support for the {W}right~$\omega$ function},
  JOURNAL = {submitted},
  YEAR = {2004}
}


@ARTICLE{Corless:2004:CNV,
  AUTHOR = {Robert M.~Corless and D.J.Jeffrey},
  TITLE = {Complex numerical values of the {W}right~$\omega$ function},
  JOURNAL = {submitted},
  YEAR = {2004}
}


@INPROCEEDINGS{Corless:2004:LBB,
  AUTHOR = {Robert M.~Corless and Stephen M.~Watt},
  TITLE = {Bernstein bases are optimal, but, sometimes, {L}agrange
                  bases are better},
  BOOKTITLE = {Proceedings of SYNASC, Timisoara},
  PUBLISHER = {MITRON Press},
  MONTH = {September},
  YEAR = {2004},
  PAGES = {141--153}
}


@ARTICLE{Corless:2004:QRGCD,
  AUTHOR = {Robert M.~Corless and Stephen M.~Watt and Lihong Zhi},
  TITLE = {{$QR$} factoring to compute the {GCD} of univariate 
                  approximate polynomials},
  JOURNAL = {IEEE Transactions on Signal Processing},
  VOLUME = {52},
  NUMBER = {12},
  YEAR = {2004},
  MONTH = {December},
  PAGES = {3394--3402},
  NOTE = {accepted December 2003}
}


@INPROCEEDINGS{DahanMorenoMazaSchostWuXie:2004:ICPSS,
  AUTHOR = {X. {Dahan} and M. {{Moreno Maza}} and {\'E}. {Schost} and W. {Wu} and Y. {Xie}},
  TITLE = {Equiprojectable decompositions of zero-dimensional varieties},
  BOOKTITLE = {International Conference on Polynomial System Solving},
  ADDRESS = {Paris, France},
  EDITOR = {A. Valibouze},
  YEAR = {2004},
  PAGES = {69--72}
}


@ARTICLE{Doeschl:2004:ACAB,
  AUTHOR = {Andrea~Doeschl and Matt~Davison and Henning~Rasmussen
                  and Greg~Reid},
  TITLE = {Assessing Cellular Automata Based Models using Partial
                  Differential Equations},
  JOURNAL = {Mathemathical and Computer Modelling},
  YEAR = {2004},
  VOLUME = {},
  NUMBER = {},
  PAGES = {28 pages},
  MONTH = {July},
  NOTE = {},
  ANNOTE = {}
}


@MASTERSTHESIS{Durdle:2004:MSc,
  AUTHOR = {Kevin Durdle},
  TITLE = {Supporting Mathematical Handwriting Recognition through an Extended Digital Ink Framework},
  SCHOOL = {Department of Computer Science, University of Western Ontario},
  ADDRESS = {London, \textsc{Canada}},
  TYPE = {M.{Sc.} thesis},
  MONTH = {December},
  YEAR = {2004},
  SUPERVISOR = {S.M.~Watt}
}


@INPROCEEDINGS{GeddesLeLi:2004:DRNF,
  AUTHOR = {K.O.~Geddes and H.Q.~Le and Z.~Li},
  TITLE = {Differential rational normal forms and a reduction
                  algorithm for hyperexponential functions},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Santander, Spain},
  EDITOR = {Jaime Gutierrez},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2004},
  PAGES = {183--190}
}


@INPROCEEDINGS{Giesbrecht-Labahn-Lee1,
  AUTHOR = {M.~Giesbrecht and G.~Labahn and W-s.~Lee},
  TITLE = {Symbolic-Numeric Sparse Polynomial Interpolation in Chebyshev Basis 
                  and Trigonometric Interpolation},
  BOOKTITLE = {CASA'2004},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2004}
}


@INPROCEEDINGS{Giesbrecht-Labahn-Lee2,
  AUTHOR = {M.~Giesbrecht and G.~Labahn and W-s.~Lee},
  TITLE = {Symbolic-Numeric Sparse Polynomial Interpolation of Multivariate 
                  Polynomials},
  BOOKTITLE = {9-th Rhine Workshop on Computer Algebra},
  YEAR = {2004}
}


@ARTICLE{Heffernan:2004:DDE,
  AUTHOR = {Jane M.~Heffernan and Robert M.~Corless},
  TITLE = {Solution of some delay differential equations with {M}aple},
  YEAR = {2004},
  JOURNAL = {submitted}
}


@ARTICLE{Ilie:2004:DAE,
  AUTHOR = {Silvana Ilie and Robert M.~Corless and Greg Reid},
  TITLE = {Numerical solution of index-$1$ {DAE} is polynomial cost
                  in the number of bits of accuracy requested},
  JOURNAL = {submitted},
  YEAR = {2004}
}


@ARTICLE{Jeffrey:2004:NSR,
  AUTHOR = {D.J.~Jeffrey and A.C.~Norman},
  TITLE = {Not seeing the roots for the branches},
  JOURNAL = {\textsc{SIGSAM Bulletin}: Communications on Computer Algebra},
  YEAR = {2004},
  VOLUME = {38},
  NUMBER = {3},
  ISSUE = {149},
  PAGES = {57--66}
}


@INPROCEEDINGS{li-labahn,
  AUTHOR = {George Labahn and Ziming Li},
  TITLE = {Hyperexponential Solutions of Finite-rank Ideals in
                  Orthogonal {O}re Rings},
  BOOKTITLE = {ACM International Symposium on Symbolic and Algebraic Computation},
  ADDRESS = {Santander, Spain},
  EDITOR = {Jaime Gutierrez},
  PUBLISHER = {ACM Press, New York},
  YEAR = {2004},
  PAGES = {213--220}
}


@MASTERSTHESIS{Liong:2004:RDE,
  AUTHOR = {S.~Ming~Liong},
  TITLE = {On {B}ronstein's algorithm to solve the {R}isch
                  differential equation and its implementation in {M}aple},
  SCHOOL = {School of Computer Science, University of Waterloo},
  ADDRESS = {Waterloo, \textsc{Canada}},
  TYPE = {M.{Math.} essay},
  MONTH = {August},
  YEAR = {2004},
  SUPERVISOR = {K.O.~Geddes}
}


@ARTICLE{Mulders:2004:CDL,
  AUTHOR = {T.~Mulders and A.~Storjohann},
  TITLE = {Certified Dense Linear System Solving},
  JOURNAL = {Journal of Symbolic Computation},
  YEAR = {2004},
  VOLUME = {37},
  NUMBER = {4},
  PAGES = {485--510}
}


@INPROCEEDINGS{Oancea:2004:AFUA,
  AUTHOR = {C.~Oancea and S.M.~Watt},
  TITLE = {A Framework for Using {A}ldor Libraries with {M}aple},
  BOOKTITLE = {Proceedings of EACA},
  ADDRESS = {Santander, Spain},
  EDITOR = {Laureano Gonzalez-Vega},
  PUBLISHER = {Universidad de Cantabria},
  MONTH = {June},
  YEAR = {2004},
  PAGES = {219--224}
}


@ARTICLE{Saunders:2004:MRC,
  AUTHOR = {D.~Saunders and A.~Storjohann and G.~Villard},
  TITLE = {Matrix Rank Certification},
  YEAR = {2004},
  JOURNAL = {Electronic Journal of Linear Algebra},
  VOLUMNE = {11},
  PAGES = {16--23}
}


@INPROCEEDINGS{Shakoori:2004:BMLB,
  AUTHOR = {Azar Shakoori},
  TITLE = {The {B}\'ezout matrix in the {L}agrange basis},
  BOOKTITLE = {Proceedings of EACA},
  ADDRESS = {Santander, Spain},
  EDITOR = {Laureano Gonzalez-Vega},
  PUBLISHER = {Universidad de Cantabria},
  MONTH = {June},
  YEAR = {2004},
  PAGES = {295--299}
}


@INPROCEEDINGS{Watt:2004:AADM,
  AUTHOR = {Elena~Smirnova and Clare~So and Stephen M.~Watt},
  TITLE = {An Architecture for Distributed MathematicaL Web Services},
  BOOKTITLE = {Proceedings of the Third Interiational Conference {MKM},
                  Bia{\l}owe\.{z}a},
  PUBLISHER = {Springer-Verlag},
  MONTH = {September},
  YEAR = {2004},
  PAGES = {363--377}
}


@INPROCEEDINGS{Watt:2004:OC,
  AUTHOR = {Stephen M.~Watt},
  TITLE = {Optimizing Compilers for Symbolic-Numeric Computation},
  BOOKTITLE = {Proceedings of SYNASC, Timisoara},
  PUBLISHER = {MITRON Press},
  MONTH = {September},
  YEAR = {2004},
  PAGES = {18}
}


@PHDTHESIS{Wittkopf:2004:AID,
  AUTHOR = {A.~Wittkopf},
  TITLE = {Algoritms and Implementations for Differential Elimination},
  SCHOOL = {Simon Fraser University},
  ADDRESS = {},
  TYPE = {Ph.{D.} Thesis},
  YEAR = {2004},
  SUPERVISOR = {M.B.~Monagan and Greg~Reid}
}


@MASTERSTHESIS{Wu:2004:MSc,
  AUTHOR = {Xiaojie},
  TITLE = {Achieving Interoperability of Pen Computing among Heterogeneous Devices and Digital Ink Form},
  SCHOOL = {Department of Computer Science, University of Western Ontario},
  ADDRESS = {London, \textsc{Canada}},
  TYPE = {M.{Sc.} thesis},
  MONTH = {December},
  YEAR = {2004},
  SUPERVISOR = {S.M.~Watt}
}


@ARTICLE{Xie:2004:ANM,
  AUTHOR = {F.~Xie and Greg~Reid and S.~R.~Valluri},
  TITLE = {A numerical method for one-dimensional action functionals of photonic band-gap
structures},
  YEAR = {2004},
  JOURNAL = {Canadian Journal of Physics},
  VOLUMNE = {15},
  PAGES = {423--437}
}


@PHDTHESIS{zhang:2004:AND,
  AUTHOR = {Y.~Zhang},
  TITLE = {Algorithms for Noncommutative Differential Operators},
  SCHOOL = {University of Western Ontario},
  ADDRESS = {},
  TYPE = {Ph.{D.} Thesis},
  YEAR = {2004},
  SUPERVISOR = {M.W.~Giesbrecht and Greg~Reid}
}