Research Catalog

  • Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / Jacques Calmet, John A. Campbell, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 I567 1995Off-site
  • Modern computer algebra / Joachim von zur Gathen and Jürgen Gerhard.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A43 Z873 1999Off-site
  • The analysis of complex nonlinear mechanical systems : a computer algebra assisted approach / Martin Lesser.

    • Text
    • Singapore ; River Edge, NJ : World Scientific, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA808 .L477 1995Off-site
  • Symbolic computation : applications to scientific computing / edited by Robert Grossman.

    • Text
    • Philadelphia : Society for Industrial and Applied Mathematics, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text TA331 .S95 1989Off-site
  • Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings / R. Janssen, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA155.7.E4 T74 1988Off-site
  • Applicable algebra, error-correcting codes, combinatorics and computer algebra : proceedings / 4th international conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986 ; Th. Beth, M. Clausen (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA268 .A35 1986Off-site
  • Mathematics for large scale computing / edited by J.C. Díaz.

    • Text
    • New York : M. Dekker, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 M388 1989Off-site
  • Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings / H.F. Mattson, T. Mora, T.R.N. Rao, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA268 .A35 1991Off-site
  • Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy / edited by Vladimir Lifschitz.

    • Text
    • Boston : Academic Press, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text Q335.5 .A77 1991Off-site
  • Introduction to Maple / André Heck.

    • Text
    • New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA155.7.E4 H43 1993Off-site
  • Computer algebra : systems and algorithms for algebraic computation / J.H. Davenport, Y. Siret, E. Tournier ; translated from the French by A. Davenport and J.H. Davenport.

    • Text
    • London ; San Diego : Academic Press, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA155.7.E4 D39 1993Off-site
  • Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .I5488 1992Off-site
  • Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.58 .P3785 1993Off-site
  • Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox, John Little, Donal O'Shea.

    • Text
    • New York : Springer-Verlag, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA564 .C688 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta