Search dblp for Publications

export results for "stream:streams/conf/cm:"

 download as .bib file

@inproceedings{DBLP:conf/cm/AgerRD89,
  author       = {Tryg A. Ager and
                  R. A. Ravaglia and
                  Sam Dooley},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Representation of Inference in Computer Algebra Systems with Applications
                  to Intelligent Tutoring},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {215--227},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_26},
  doi          = {10.1007/978-1-4613-9647-5\_26},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/AgerRD89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Akritas89,
  author       = {Alkiviadis G. Akritas},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Exact Algorithms for the Matrix-Triangularization Subresultant {PRS}
                  Method},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {145--155},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_19},
  doi          = {10.1007/978-1-4613-9647-5\_19},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Akritas89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Baddoura89,
  author       = {Jamil Baddoura},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Integration in Finite Terms and Simplification with Dilogarithms:
                  {A} Progress Report},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {166--171},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_21},
  doi          = {10.1007/978-1-4613-9647-5\_21},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Baddoura89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Beeson89,
  author       = {Michael J. Beeson},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Logic and Computation in {MATHPERT:} An Expert System for Learning
                  Mathematics},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {202--214},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_25},
  doi          = {10.1007/978-1-4613-9647-5\_25},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Beeson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Bergeron89,
  author       = {Fran{\c{c}}ois Bergeron},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {A Story About Computing with Roots of Unity},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {140--144},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_18},
  doi          = {10.1007/978-1-4613-9647-5\_18},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Bergeron89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/CoopermanFP89,
  author       = {Gene Cooperman and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Fast Group Membership Using a Strong Generating Test for Permutation
                  Groups},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {27--36},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_4},
  doi          = {10.1007/978-1-4613-9647-5\_4},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/CoopermanFP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/CostaW89,
  author       = {Peter J. Costa and
                  Ruth Hampton Westlake},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {An Example of Computer Enhanced Analysis},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {100--108},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_13},
  doi          = {10.1007/978-1-4613-9647-5\_13},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/CostaW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Duval89,
  author       = {Dominique Duval},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Simultaneous Computations in Fields of Different Characteristics},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {321--326},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_36},
  doi          = {10.1007/978-1-4613-9647-5\_36},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Duval89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/FellowsKL89,
  author       = {Michael R. Fellows and
                  Nancy G. Kinnersley and
                  Michael A. Langston},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Finite-Basis Theorems and a Computation-Integrated Approach to Obstruction
                  Set Isolation},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {37--45},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_5},
  doi          = {10.1007/978-1-4613-9647-5\_5},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/FellowsKL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/FeurzeigHB89,
  author       = {Wallace Feurzeig and
                  Paul Horwitz and
                  Albert Boulanger},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal
                  Geometry, and Nonlinear Systems},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {240--249},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_28},
  doi          = {10.1007/978-1-4613-9647-5\_28},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/FeurzeigHB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/FreireGP89,
  author       = {Emilio Freire and
                  Estanislao Gamero and
                  Enrique Ponce},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {An Algorithm for Symbolic Computation of Hopf Bifurcation},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {109--118},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_14},
  doi          = {10.1007/978-1-4613-9647-5\_14},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/FreireGP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GalligoT89,
  author       = {Andr{\'{e}} Galligo and
                  Carlo Traverso},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Practical Determination of the Dimension of an Algebraic Variety},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {46--52},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_6},
  doi          = {10.1007/978-1-4613-9647-5\_6},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/GalligoT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GanzhaL89,
  author       = {Victor G. Ganzha and
                  Richard Liska},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Application of the {REDUCE} Computer Algebra System to Stability Analysis
                  of Difference Schemes},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {119--129},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_15},
  doi          = {10.1007/978-1-4613-9647-5\_15},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/GanzhaL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GeddesS89,
  author       = {Keith O. Geddes and
                  Tony C. Scott},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Recipes for Classes of Definite Integrals Involving Exponentials and
                  Logarithms},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {192--201},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_24},
  doi          = {10.1007/978-1-4613-9647-5\_24},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/GeddesS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GerdtK89,
  author       = {Vladimir P. Gerdt and
                  N. A. Kostov},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Computer Algebra in the Theory of Ordinary Differential Equations
                  of Halphen Type},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {279--288},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_32},
  doi          = {10.1007/978-1-4613-9647-5\_32},
  timestamp    = {Wed, 27 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cm/GerdtK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GraciNO89,
  author       = {Craig Graci and
                  Jack Narayan and
                  Randy Odendahl},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Bunny Numerics},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {228--239},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_27},
  doi          = {10.1007/978-1-4613-9647-5\_27},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/GraciNO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/HefezT89,
  author       = {Abramo Hefez and
                  Anders Thorup},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Symmetric Matrices with Alternating Blocks},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {66--72},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_9},
  doi          = {10.1007/978-1-4613-9647-5\_9},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/HefezT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/HildebrandW89,
  author       = {Martin Hildebrand and
                  Jeffrey R. Weeks},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {A Computer Generated Census of Cusped Hyperbolic 3-Manifolds},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {53--59},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_7},
  doi          = {10.1007/978-1-4613-9647-5\_7},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/HildebrandW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Hoover89,
  author       = {H. James Hoover},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Why Integration is Hard},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {172--181},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_22},
  doi          = {10.1007/978-1-4613-9647-5\_22},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Hoover89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Johnstone89,
  author       = {John K. Johnstone},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Working with ruled surfaces in solid modeling},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {260--268},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_30},
  doi          = {10.1007/978-1-4613-9647-5\_30},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Johnstone89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/KapurM89,
  author       = {Deepak Kapur and
                  Klaus Madlener},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_1},
  doi          = {10.1007/978-1-4613-9647-5\_1},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/KapurM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/LeitesP89,
  author       = {D. Leites and
                  G. Post},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Cohomology to Compute},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {73--81},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_10},
  doi          = {10.1007/978-1-4613-9647-5\_10},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/LeitesP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/MillsV89,
  author       = {Harry S. D. Mills and
                  Micheal H. Vernon},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Using MACSyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian
                  Manifold},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {269--278},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_31},
  doi          = {10.1007/978-1-4613-9647-5\_31},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/MillsV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Rector89,
  author       = {D. L. Rector},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Semantics in Algebraic Computation},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {299--307},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_34},
  doi          = {10.1007/978-1-4613-9647-5\_34},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Rector89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Rickert89,
  author       = {Neil W. Rickert},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Efficient Reduction of Quadratic Forms},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {135--139},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_17},
  doi          = {10.1007/978-1-4613-9647-5\_17},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Rickert89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Rockrmore89,
  author       = {Daniel Rockrmore},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Computation of Fourier Transforms on the Symmetric Group},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {156--165},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_20},
  doi          = {10.1007/978-1-4613-9647-5\_20},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Rockrmore89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Sakkalis89,
  author       = {Takis Sakkalis},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Signs of Algebraic Numbers},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {130--134},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_16},
  doi          = {10.1007/978-1-4613-9647-5\_16},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Sakkalis89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/SavioLL89,
  author       = {Dominic Y. Savio and
                  Edmund A. Lamagna and
                  Shing{-}Min Liu},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Summation of Harmonic Numbers},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {12--20},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_2},
  doi          = {10.1007/978-1-4613-9647-5\_2},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/SavioLL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Singer89,
  author       = {Michael F. Singer},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Liouvillian Solutions of Linear Differential Equations with Liouvillian
                  Coefficients},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {182--191},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_23},
  doi          = {10.1007/978-1-4613-9647-5\_23},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Singer89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Strauss89,
  author       = {Nicholas Strauss},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Algorithm and Implementation for Computation of Jordan Form over A[x
                  1, ..., x m {]}},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {21--26},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_3},
  doi          = {10.1007/978-1-4613-9647-5\_3},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Strauss89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Tan89,
  author       = {H. Q. Tan},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Symbolic Derivation of Equations for Mixed Formulation in Finite Element
                  Analysis},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {289--298},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_33},
  doi          = {10.1007/978-1-4613-9647-5\_33},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Tan89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Trotter89,
  author       = {Hale F. Trotter},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Use of symbolic methods in analyzing an integral operator},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {82--90},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_11},
  doi          = {10.1007/978-1-4613-9647-5\_11},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Trotter89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Valibouze89,
  author       = {Annick Valibouze},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Symbolic Computation with Symmetric Polynomials an Extension to {MACSYMA}},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {308--320},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_35},
  doi          = {10.1007/978-1-4613-9647-5\_35},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Valibouze89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Viana89,
  author       = {Paulo Viana},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Classicality of Trigonal Curves of Genus Five},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {60--65},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_8},
  doi          = {10.1007/978-1-4613-9647-5\_8},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/Viana89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/VrscayR89,
  author       = {Edward R. Vrscay and
                  Christopher J. Roehrig},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Iterated Function Systems and the Inverse Problem of Fractal Construction
                  Using Moments},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {250--259},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_29},
  doi          = {10.1007/978-1-4613-9647-5\_29},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/VrscayR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/Wang89,
  author       = {Dongming Wang},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Computer Algebraic Methods for Investigating Plane Differential Systems
                  of Center and Focus Type},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {91--99},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_12},
  doi          = {10.1007/978-1-4613-9647-5\_12},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cm/Wang89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cm/1989,
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5},
  doi          = {10.1007/978-1-4613-9647-5},
  isbn         = {978-0-387-97019-6},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics