%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.05",
%%%     date            = "18 March 2014",
%%%     time            = "07:03:08 MST",
%%%     filename        = "mupad.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "43541 3031 12100 123462",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; MuPAD; symbolic
%%%                        algebra",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This file contains bibliography entries for
%%%                        books and other publications about the
%%%                        MuPAD symbolic algebra system.
%%%
%%%                        At version 1.05, the year coverage looks
%%%                        like this:
%%%
%%%                             1991 (   1)    1998 (   5)    2005 (   3)
%%%                             1992 (   1)    1999 (   7)    2006 (   1)
%%%                             1993 (   4)    2000 (  15)    2007 (   0)
%%%                             1994 (   4)    2001 (  42)    2008 (   1)
%%%                             1995 (  12)    2002 (   1)    2009 (   1)
%%%                             1996 (  14)    2003 (   6)
%%%                             1997 (  16)    2004 (   7)
%%%
%%%                             Article:         44
%%%                             Book:            17
%%%                             InProceedings:   23
%%%                             Manual:          40
%%%                             Misc:             2
%%%                             Periodical:       1
%%%                             Proceedings:     13
%%%                             TechReport:       1
%%%
%%%                             Total entries:  141
%%%
%%%                        This bibliography has been collected from
%%%                        the author's personal bibliography files,
%%%                        from the very large computer science
%%%                        bibliography collection on ftp.ira.uka.de
%%%                        in /pub/bibliography to which many people
%%%                        of have contributed, and from several
%%%                        Internet-accessible library catalogs,
%%%                        notably those of the University of
%%%                        California, Stanford University, Library
%%%                        of Congress, and OCLC, plus the ACM Portal
%%%                        and IEEE Xplore databases.
%%%
%%%                        This bibliography is sorted by year, and
%%%                        within each year, by author and title key,
%%%                        with ``bibsort -byyear''.  Cross-referenced
%%%                        proceedings entries appear at the end,
%%%                        because of a restriction in the current
%%%                        BibTeX.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{"\input bibnames.sty " #
          "\input path.sty " #
          "\hyphenation{ Zeit-schrift }"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Institution abbreviations:

@String{inst-MUPAD              = "MuPAD Research Group"}

@String{inst-MUPAD:adr          = "Universit{\"a}t Paderborn, Paderborn,
                                  Germany"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-ACM-COMM-COMP-ALGEBRA = "ACM Communications in Computer Algebra"}

@String{j-COMPUT-SCI-ENG        = "Computing in Science and Engineering"}

@String{j-EUROMATH-BULL         = "Euromath Bulletin"}

@String{j-LINUX-J               = "Linux Journal"}

@String{j-MATH-COMP-SIM         = "Mathematics and Computers in Simulation"}

@String{j-SIGCHI                = "ACM SIGCHI Bulletin"}

@String{j-SIGSAM                = "SIGSAM Bulletin (ACM Special Interest Group
                                  on Symbolic and Algebraic Manipulation)"}

@String{j-SPEKTRUM-WISSENSCHAFT = "Spektrum der Wissenschaft (German translation
                                  of Scientific American)"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-ACM                 = "ACM Press"}
@String{pub-ACM:adr             = "New York, NY 10036, USA"}

@String{pub-BIRKHAUSER          = "Birkh{\"a}user Verlag"}
@String{pub-BIRKHAUSER:adr      = "Basel, Switzerland"}

@String{pub-IEEE                = "IEEE Computer Society Press"}
@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

@String{pub-SV                  = "Springer-Verlag"}
@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg, Germany~/
                                    London, UK~/ etc."}

@String{pub-TEUBNER             = "Teubner"}
@String{pub-TEUBNER:adr         = "Stuttgart, Germany; Leipzig, Germany"}

@String{pub-VIEWEG              = "Friedrich Vieweg und Sohn"}
@String{pub-VIEWEG:adr          = "Braunschweig, Germany"}

@String{pub-WILEY               = "John Wiley and Sons, Inc."}
@String{pub-WILEY:adr           = "Chichester, UK"}

@String{pub-WORLD-SCI           = "World Scientific Publishing Co."}
@String{pub-WORLD-SCI:adr       = "Singapore, Philadelphia, River Edge, NJ"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@Periodical{Fuchssteiner:1991:MOE,
  editor =       "Benno Fuchssteiner and Andreas Sorgatz and Mirek
                 Majewski",
  key =          "mathPAD",
  title =        "{mathPAD Online Edition: The Magazine of the MuPAD
                 Research Group}",
  publisher =    inst-MUPAD,
  address =      inst-MUPAD:adr,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.mupad.com/mathpad/",
  xxnote =       "Check founding year: volume 14 is in 2005.",
}

@Article{Wiwianka:1992:MMA,
  author =       "W. Wiwianka",
  title =        "{MuPAD} --- Multiprocessing Algebra Data Tool",
  journal =      "{SUGinfo}",
  volume =       "2/92",
  pages =        "31--36",
  year =         "1992",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD",
}

@Article{Anonymous:1993:PCA,
  author =       "Anonymous",
  title =        "Perspectives in Computer Algebra",
  journal =      "Mathematics Quarterly",
  volume =       "2/1993",
  pages =        "3--6",
  year =         "1993",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD",
}

@InProceedings{Anonymous:1993:SBD,
  author =       "Anonymous",
  booktitle =    "{Computeralgebra in Deutschland --- Bestandsaufnahme,
                 M{\"o}glichkeiten, Perspektiven}. ({German})
                 [{Computer} Algebra in {Germany}: Stocktaking,
                 Possibilities, Perspectives]",
  title =        "{Symbolische Behandlung von Differentialgleichungen
                 (p. 61--72), Anwendungen der Computeralgebra: Solitonen
                 (p. 111--116), Computeralgebra-Anwendungen bei
                 nichtlinearen Systemen (p. 123--126), Systeme f{\"u}r
                 parallele Architekturen: MuPAD (p. 180--185),
                 Experimentelle Systeme und Programmpakete: SymmPAD (p.
                 270--274)}. ({German}) [{Symbolic} Treatment of
                 Differential Equations; Use of Computer Algebra:
                 Solitons; Computer Algebra: Use in Nonlinear Systems;
                 System for Parallel Architectures: {MuPAD};
                 Experimental System and Program Complexes (??):
                 {SymmPAD}]",
  publisher =    "Fachgruppe Computeralgebra der GI, DMV, GAMM",
  address =      "Passau und Heidelberg, Germany",
  year =         "1993",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "Differentialgleichungen, Solitonen, MuPAD",
  language =     "German",
}

@Book{Fuchssteiner:1993:MMA,
  author =       "B. Fuchssteiner and others",
  title =        "{MuPAD: multiprocessing algebra data tool:
                 Benutzerhandbuch}. (German) [{MuPAD} User Handbook]",
  publisher =    pub-BIRKHAUSER,
  address =      pub-BIRKHAUSER:adr,
  year =         "1993",
  ISBN =         "3-7643-2872-X",
  ISBN-13 =      "978-3-7643-2872-6",
  LCCN =         "",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Hilfe-Seiten, Parallelit{\"a}t",
  language =     "German",
}

@Article{Wiwianka:1993:CAM,
  author =       "W. Wiwianka",
  title =        "{Das Computer-Algebrasystem MuPAD}. (German) [{The}
                 Computer-Algebra System {MuPAD}]",
  journal =      "{Solaris Magazin}",
  volume =       "1/93",
  pages =        "3",
  year =         "1993",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD",
  language =     "German",
}

@Book{Fuchssteiner:1994:MMP,
  editor =       "Benno Fuchssteiner",
  title =        "{MuPad} multi processing algebra data tool: tutorial,
                 {MuPad} version 1.2",
  publisher =    pub-BIRKHAUSER,
  address =      pub-BIRKHAUSER:adr,
  pages =        "vi + 197",
  year =         "1994",
  ISBN =         "3-7643-5017-2 (Basel), 0-8176-5017-2 (Boston)",
  ISBN-13 =      "978-3-7643-5017-8 (Basel), 978-0-8176-5017-9
                 (Boston)",
  LCCN =         "QA76.95 .M85 1994",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  keywords =     "Domains; Language Structure; MuPAD",
  subject =      "MuPAD; Mathematics; Data processing",
}

@InProceedings{Gottheil:1994:DGB,
  author =       "K. Gottheil",
  booktitle =    "{DMV-Jahrestagung 1994 (Duisburg, 18-24.9.94), Sektion
                 11 --- Computeralgebra}",
  title =        "{Differential-Gr{\"o}bner-Basen im Computer-Algebra
                 System MuPAD}. (German) [{Differential} {Gr{\"o}bner}
                 bases in the computer-algebra system {MuPAD}]",
  publisher =    "????",
  address =      "????",
  year =         "1994",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Parallelit{\"a}t,
                 Gr{\"o}bner-Basen",
  language =     "German",
}

@Article{Heck:1994:HIS,
  author =       "Andr{\'e} Heck",
  title =        "Human interaction for symbolic computation: {RIACA
                 workshop, Amsterdam, March 10--11, 1994}",
  journal =      j-SIGCHI,
  volume =       "26",
  number =       "3",
  pages =        "19--22",
  month =        jul,
  year =         "1994",
  CODEN =        "SGBUD4",
  DOI =          "http://doi.acm.org/10.1145/181518.181521",
  ISSN =         "0736-6906",
  ISSN-L =       "0736-6906",
  bibdate =      "Tue Oct 18 05:55:20 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "The Research Institute for Applications of Computer
                 Algebra (RIACA), in Amsterdam, The Netherlands, has as
                 its goal the research of applications of computer
                 algebra in the fields of mathematics and sciences,
                 engineering, etc. It aims to be an institute with a
                 strong international visibility.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGCHI Bulletin",
  keywords =     "MuPAD",
}

@Article{Morisse:1994:CAS,
  author =       "K. Morisse and A. Kemper",
  title =        "The Computer Algebra System {MuPAD}",
  journal =      j-EUROMATH-BULL,
  volume =       "1",
  number =       "2",
  pages =        "95--102",
  year =         "1994",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  fjournal =     "Euromath Bulletin",
  keywords =     "MuPAD, Computer Algebra, Parallelism",
}

@Article{Anonymous:1995:Ma,
  author =       "Anonymous",
  title =        "{MuPAD 1.2.2}",
  journal =      "{Linux Magazin}",
  volume =       "9/95",
  pages =        "9",
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Mathematiksoftware",
}

@Article{Anonymous:1995:Mb,
  author =       "Anonymous",
  title =        "{MuPAD}",
  journal =      "{Mitteilungen des Hochschulverbandes}",
  volume =       "1/95",
  pages =        "42",
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra",
}

@Article{Anonymous:1995:UPF,
  author =       "Anonymous",
  title =        "{Uni-Programm f{\"u}r Matheprobleme}. (German)
                 [{University} program for math problems]",
  journal =      "{Computer Zeitung}",
  volume =       "48",
  month =        nov,
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Mathematiksoftware, Lehre",
  language =     "German",
}

@InProceedings{Drescher:1995:GBM,
  author =       "K. Drescher and P. Zimmermann",
  booktitle =    "{Proceedings of the PoSSo workshop on software,
                 Paris}",
  title =        "{Gr{\"o}bner} bases in {MuPAD}: state and future",
  publisher =    "????",
  address =      "????",
  pages =        "177--182",
  month =        mar,
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Gr{\"o}bner Bases, Ideal,
                 Parallelism",
}

@Article{Grossman:1995:IIC,
  author =       "Robert Grossman",
  title =        "{1st International IMACS Conference on Applications of
                 Computer Algebra}",
  journal =      j-SIGSAM,
  volume =       "29",
  number =       "3--4",
  pages =        "9--12",
  month =        dec,
  year =         "1995",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/226186.570114",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Sep 06 07:11:07 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "113/114",
  keywords =     "MuPAD",
}

@Article{Hillebrand:1995:MLM,
  author =       "A. Sorgatz und R. Hillebrand",
  title =        "{Mathematik unter Linux: MuPAD --- Ein Computeralgebra
                 System I}. (German) [{Mathematics} in {Linux}: {MuPAD}
                 --- {A} Computer Algebra System, {I}]",
  journal =      "{Linux Magazin}",
  volume =       "12/95",
  pages =        "11--14",
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra",
  language =     "German",
}

@InProceedings{Morisse:1995:NDM,
  author =       "K. Morisse and G. Oevel",
  title =        "New Developments in {MuPAD}",
  crossref =     "Fleischer:1995:CAS",
  pages =        "44--56",
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Parallelism, Domains",
}

@InProceedings{Naundorf:1995:PM,
  author =       "H. Naundorf",
  editor =       "Michael Wester and Stanley Steinberg and Michael
                 Jahn",
  booktitle =    "{Electronic Proceedings of the 1st International IMACS
                 Conference on Applications of Computer Algebra}",
  title =        "Parallelism in {MuPAD}",
  publisher =    "????",
  address =      "????",
  month =        may,
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  series =       "http://math.unm.edu/ACA//1995Proceedings/MainPage.html",
  http =         "http://math.unm.edu/ACA/1995/Proceedings/parallel/
                 Naundorf_paper.ps",
  keywords =     "MuPAD, Computer Algebra, Parallelism",
}

@InProceedings{Oevel:1995:MBW,
  author =       "F. Postel und F. Schwarz G. Oevel",
  editor =       "K. P. M{\"u}ller",
  booktitle =    "{Beitr{\"a}ge zum Mathematikunterricht, Vortr{\"a}ge
                 der 29. Bundestagung f{\"u} Didaktik der Mathematik}",
  title =        "{MuPAD in Bildung und Wissenschaft}. (German) [{MuPAD}
                 in Education and Science]",
  publisher =    "Franz Becker Verlag",
  address =      "Hildesheim, Germany",
  pages =        "356--359",
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Lehre",
  language =     "German",
}

@Article{Zimmermann:1995:WTS,
  author =       "P. Zimmermann",
  title =        "{Wester}'s test suite in {MuPAD 1.2.2}",
  journal =      "Computer Algebra Nederland Nieuwsbrief",
  volume =       "14",
  pages =        "53--64",
  month =        apr,
  year =         "1995",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra, Test Suite, Review",
}

@Book{Anonymous:1996:MUM,
  author =       "Anonymous",
  title =        "{MuPad} user's manual: {Multi-Processing Algebra Data}
                 Tool: {MuPad} version 1.2.2",
  publisher =    "Wiley-Teubner",
  address =      "Chichester, UK",
  pages =        "xiv + 572",
  year =         "1996",
  ISBN =         "0-471-96716-5 (Wiley), 3-519-02114-5 (Teubner)",
  ISBN-13 =      "978-0-471-96716-3 (Wiley), 978-3-519-02114-8
                 (Teubner)",
  LCCN =         "QA76.95 .M86 1996",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "MuPAD; Mathematics; Data processing",
}

@Article{Bernardin:1996:RSS,
  author =       "Laurent Bernardin",
  title =        "A Review of Symbolic Solvers",
  journal =      j-SIGSAM,
  volume =       "30",
  number =       "1",
  pages =        "9--20",
  month =        mar,
  year =         "1996",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:04 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "Solving equations and systems of equations
                 symbolically is a key feature of every Computer Algebra
                 System. This review examines the capabilities of the
                 six best known general purpose systems to date in the
                 area of general algebraic and transcendental equation
                 solving. Areas explicitly not covered by this review
                 are differential equations and numeric or polynomial
                 system solving as special purpose systems exist for
                 these kinds of problems.The aim is to provide a
                 benchmark for comparing Computer Algebra Systems in a
                 specific domain. We do not intend to give a rating of
                 overall capabilities as for example [8].",
  acknowledgement = ack-nhfb,
  classcodes =   "C7310 (Mathematics computing); C6130 (Data handling
                 techniques)",
  corpsource =   "Inst. for Sci. Comput., Eidgenossische Tech.
                 Hochschule, Zurich, Switzerland",
  fjournal =     "SIGSAM Bulletin",
  issue =        "115",
  keywords =     "algebraic; Axiom 2.0; computer algebra system; Derive
                 3.06; equation solving; general purpose systems;
                 Macsyma 420; Maple V R4; Mathematica 2.2; MuPAD; Reduce
                 3.6; review; software reviews; symbol manipulation;
                 symbolic solvers; transcendental equation solving",
  treatment =    "P Practical; R Product Review",
}

@Article{Hillebrand:1996:MLM,
  author =       "A. Sorgatz und R. Hillebrand",
  title =        "{Mathematik unter Linux: MuPAD --- Ein Computeralgebra
                 System II}. (German) [{Mathematics} in {Linux}: {MuPAD}
                 --- {A} Computer Algebra System, {II}]",
  journal =      "{Linux Magazin}",
  volume =       "2/96, 3/96 ({Nachdruck})",
  pages =        "60--67",
  year =         "1996",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Computer Algebra",
  language =     "German",
}

@Book{Kluge:1996:EPF,
  author =       "O. Kluge",
  title =        "{Entwicklung einer Programmierumgebung f{\"u}r die
                 Parallelverarbeitung in der Computer-Algebra}. (German)
                 [{Development} of a programming environment for
                 parallel processing in computer algebra]",
  publisher =    pub-TEUBNER,
  address =      pub-TEUBNER:adr,
  month =        dec,
  year =         "1996",
  ISBN =         "3-519-02196-X",
  ISBN-13 =      "978-3-519-02196-4",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  series =       "MuPAD Reports",
  keywords =     "MuPAD, parallel computing",
  language =     "German",
}

@Article{Kraume:1996:SI,
  author =       "R. Kraume",
  title =        "{Symbolische Integration}. (German) [{Symbolic}
                 integration]",
  journal =      j-SPEKTRUM-WISSENSCHAFT,
  volume =       "3",
  pages =        "95--98",
  year =         "1996",
  CODEN =        "SPEKDI",
  ISSN =         "0170-2971",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  fjournal =     "Spektrum der Wissenschaft (German translation of
                 Scientific American)",
  language =     "German",
}

@Book{MuPAD:1996:MUM,
  author =       "{The MuPAD Group}",
  title =        "{MuPAD} User's Manual --- {MuPAD} Version 1.2.2",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  edition =      "first",
  month =        mar,
  year =         "1996",
  ISBN =         "0-471-96716-5 (Wiley), 3-519-02114-5 (Teubner)",
  ISBN-13 =      "978-0-471-96716-3 (Wiley), 978-3-519-02114-8
                 (Teubner)",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "includes a CD for Apple Macintosh and UNIX",
  keywords =     "MuPAD, Help Pages, Language Structure, Parallelism",
}

@Book{Naundorf:1996:DMF,
  author =       "H. Naundorf",
  title =        "{Ein denotationales Modell f{\"u}r parallele
                 objektbasierte Systeme}. (German) [{A} denotational
                 model for parallel object-based systems]",
  publisher =    pub-TEUBNER,
  address =      pub-TEUBNER:adr,
  month =        dec,
  year =         "1996",
  ISBN =         "3-519-02197-8",
  ISBN-13 =      "978-3-519-02197-1",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  series =       "MuPAD Reports",
  keywords =     "MuPAD, parallel computing",
  language =     "German",
}

@InProceedings{Oevel:1996:CAE,
  author =       "G. Oevel and G. Siek",
  title =        "Computer Algebra in Education",
  crossref =     "Maurer:1995:EMH",
  pages =        "??--??",
  month =        jun,
  year =         "1996",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  http =         "http://www.iicm.tu-graz.ac.at/Cedmedia/",
  keywords =     "MuPAD, Computer Algebra, Education, Software for
                 Mathematics",
}

@InProceedings{Postel:1996:ROS,
  author =       "F. Postel and P. Zimmermann",
  title =        "A review of the {ODE} solvers of {Maple},
                 {Mathematica}, {Macsyma} and {MuPAD}",
  crossref =     "Carriere:1996:PRW",
  year =         "1996",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "updated version includes Axiom, Derive and Reduce",
  keywords =     "Computer Algebra, MuPAD, Ordinary Differential
                 Equation, Review, Solver",
}

@InProceedings{PosZim:96,
  author =       "F. Postel and P. Zimmermann",
  editor =       "L. R. Oudin A. Carri{\`e}re",
  title =        "A review of the {ODE} solvers of {Maple},
                 {Mathematica}, {Macsyma} and {MuPAD}",
  crossref =     "Carriere:1996:PRW",
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "updated version includes Axiom, Derive and Reduce",
  URL =          "http://math-www.uni-paderborn.de/MuPAD/BIB/poszim96.html",
  keywords =     "Computer Algebra, MuPAD, Ordinary Differential
                 Equation, Review, Solver",
}

@Book{Sorgatz:1996:DMV,
  author =       "A. Sorgatz",
  title =        "{Dynamische Module --- Eine Verwaltung f{\"u}r
                 Maschinencode-Objekte zur Steigerung der Effizienz und
                 Flexibilit{\"a}t von Computeralgebra-Systemen}.
                 (German) [{Dynamic} modules --- an administration for
                 machine-code objects for the increase of the efficiency
                 and flexibility of computer algebra systems]",
  volume =       "1",
  publisher =    pub-TEUBNER,
  address =      pub-TEUBNER:adr,
  month =        oct,
  year =         "1996",
  ISBN =         "3-519-02195-1",
  ISBN-13 =      "978-3-519-02195-7",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Das Konzept der Dynamischen Module sowie technische
                 Grundlagen der Implementation in MuPAD",
  series =       "MuPAD Reports",
  keywords =     "MuPAD, Softwareintegration",
  language =     "German",
}

@InProceedings{Tsarev:1996:ACE,
  author =       "S. P. Tsarev",
  title =        "An algorithm for complete enumeration of all
                 factorizations of a linear ordinary differential
                 operator",
  crossref =     "Lakshman:1996:IPI",
  pages =        "226--231",
  year =         "1996",
  bibdate =      "Tue Oct 18 06:10:42 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "ACM order number 505960.",
  acknowledgement = ack-nhfb,
}

@Article{Bachmann:1997:DEM,
  author =       "Olaf Bachmann and Simon Gray",
  title =        "A Demonstration of Exchanging Mathematical Expressions
                 using {MP}",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "3",
  pages =        "50--50",
  month =        sep,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/271130.271203",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Poster abstract only.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "122",
  keywords =     "MuPAD",
}

@InProceedings{Bernardin:1997:MMP,
  author =       "Laurent Bernardin",
  title =        "{Maple} on a massively parallel, distributed memory
                 machine",
  crossref =     "Kaltofen:1997:PPS",
  pages =        "217--222",
  year =         "1997",
  DOI =          "http://doi.acm.org/10.1145/266670.266732",
  bibdate =      "Thu Mar 12 07:28:19 MST 1998",
  bibsource =    "http://www.acm.org/pubs/toc/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/issac/266670/p217-bernardin/",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms; design; languages; MuPAD; performance",
  subject =      "{\bf I.1.3} Computing Methodologies, SYMBOLIC AND
                 ALGEBRAIC MANIPULATION, Languages and Systems, Maple.
                 {\bf C.1.2} Computer Systems Organization, PROCESSOR
                 ARCHITECTURES, Multiple Data Stream Architectures
                 (Multiprocessors), Parallel processors**. {\bf F.2.1}
                 Theory of Computation, ANALYSIS OF ALGORITHMS AND
                 PROBLEM COMPLEXITY, Numerical Algorithms and Problems,
                 Computations on polynomials.",
}

@InProceedings{Cesari:1997:CCA,
  author =       "Giovanni Cesari",
  title =        "{CALYPSO}: a computer algebra library for parallel
                 symbolic computation",
  crossref =     "Kaltofen:1997:PPS",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "204--216",
  year =         "1997",
  DOI =          "http://doi.acm.org/10.1145/266670.266730",
  bibdate =      "Tue Oct 18 05:46:21 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Article{Fee:1997:PPCb,
  author =       "G. J. Fee and M. B. Monagan",
  title =        "Problems, puzzles, challenges",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "4",
  pages =        "48--49",
  month =        dec,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/274888.274891",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Gerdt:1997:MIB,
  author =       "Vladimir P. Gerdt and Yuri A. Blinkov",
  title =        "Minimal Involutive Bases",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "3",
  pages =        "44--44",
  month =        sep,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/271130.271198",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Poster abstract only.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "122",
}

@Article{Greuel:1997:SCA,
  author =       "G.-M. Greuel and G. Pfister and H. Sch{\"o}nemann",
  title =        "{Singular 1.0}: {A} Computer Algebra System for
                 Singularity Theory, Algebraic Geometry and Commutative
                 Algebra",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "3",
  pages =        "48--50",
  month =        sep,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/271130.271202",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Poster abstract only.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "122",
}

@Article{Heckler:1997:PM,
  author =       "Christian Heckler and Oliver Kluge and Torsten Metzner
                 and Andreas Sorgatz and Paul Zimmermann",
  title =        "Parallelism in {MuPAD}",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "3",
  pages =        "48--48",
  month =        sep,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/271130.271201",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Poster abstract only.",
  abstract =     "SINGULAR is a computer algebra system designed to be a
                 power-house for polynomial computations with special
                 features for algebraic geometry and singularity
                 theory.The development of SINGULAR started in 1986,
                 motivated by the question of the existence of complete
                 intersection singularities which are not
                 quasi-homogeneous, but whose Poincare-complex is exact.
                 The existence of such singularities could be shown in
                 1987 with an implementation of Mora's algorithm on an
                 Atari in Modula-2 [11]. In 1990, SINGULAR was ported to
                 Unix, and a first public-domain distribution followed.
                 The code of SINGULAR was rewritten in C/C++. An
                 interpreted user-level programming language and
                 user-written libraries were added in 1993. With the
                 release of version 1.0 in May 1997, many important
                 features were added, including: (*) Polynomial
                 factorization (*) Factorizing Buchberger algorithm (*)
                 FGLM algorithm (*) Primary decomposition of ideals (*)
                 MP links for general and efficient storage and
                 inter-process communications. The goal of the poster is
                 to discuss and demonstrate these new features of
                 SINGULAR where, in combination with the posters on MP
                 and MuPAD, special emphasize will be paid to SINGULAR's
                 MP interface and its resulting possibilities and
                 problems.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "122",
}

@Article{LJS:1997:NP,
  author =       "{Linux Journal Staff}",
  title =        "New Products",
  journal =      j-LINUX-J,
  volume =       "39es",
  number =       "??",
  pages =        "??--??",
  month =        jul,
  year =         "1997",
  CODEN =        "LIJOFX",
  ISSN =         "1075-3583 (print), 1938-3827 (electronic)",
  ISSN-L =       "1075-3583",
  bibdate =      "Tue Oct 18 05:31:04 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Linux Journal",
  journal-URL =  "http://portal.acm.org/citation.cfm?id=J508",
  keywords =     "Automath; MuPAD",
}

@Book{Naundorf:1997:MVS,
  author =       "H. Naundorf",
  title =        "{MAMMUT --- Eine verteilte Speicherverwaltung f{\"u}r
                 symbolische Manipulation}. (German) [{MAMMUT} --- {A}
                 distributed storage management for symbolic
                 manipulation]",
  publisher =    pub-TEUBNER,
  address =      pub-TEUBNER:adr,
  month =        feb,
  year =         "1997",
  ISBN =         "3-519-02198-6",
  ISBN-13 =      "978-3-519-02198-8",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  series =       "MuPAD Reports",
  keywords =     "MuPAD, memory management, garbage collection, parallel
                 computing",
  language =     "German",
}

@TechReport{Postel:1997:NIM,
  author =       "A. Sorgatz F. Postel",
  title =        "New issues in {MuPAD 1.3}",
  institution =  "CAN",
  address =      "Amsterdam, The Netherlands",
  month =        may,
  year =         "1997",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  series =       "MuPAD Reports",
  keywords =     "MuPAD, Improvements, MuPAD PRO, Dynamic Modules",
}

@Misc{Sorgatz:1997:DMC,
  author =       "A. Sorgatz",
  title =        "Dynamic Modules --- The Concept of Software
                 Integration in {MuPAD}",
  howpublished = "Talk and handouts, IMACS'97, Maui, Hawaii, USA.",
  month =        jul,
  year =         "1997",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.mupad.de/BIB/ONLINE/sorgatz97c.ps.gz",
  keywords =     "dynamic linking, C/C++",
}

@Misc{Sorgatz:1997:DMSa,
  author =       "A. Sorgatz",
  title =        "Dynamic Modules --- Software Integration in {MuPAD}",
  howpublished = "Poster Abstracts, ISSAC'97, Maui, Hawaii, USA",
  month =        jul,
  year =         "1997",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.mupad.de/BIB/ONLINE/SORGATZ97b/",
  keywords =     "dynamic linking, C/C++",
}

@Article{Sorgatz:1997:DMSb,
  author =       "Andreas Sorgatz",
  title =        "Dynamic Modules: Software Integration in {MuPAD}",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "3",
  pages =        "45--47",
  month =        sep,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/271130.271200",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:05 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Poster abstract only.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "122",
}

@Article{Sorgatz:1997:MDM,
  author =       "A. Sorgatz",
  title =        "{MuPAD --- Dynamische Module, Spiel (fast) ohne
                 Grenzen}. (German) [{MuPAD} --- Dynamic modules, play
                 (nearly) without limits]",
  journal =      "{Linux Magazin}",
  volume =       "01/97",
  year =         "1997",
  bibdate =      "Mon Oct 17 19:06:00 2005",
  bibsource =    "http://hpc.cs.ehime-u.ac.jp/MuPAD/BIB/bibtex.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  keywords =     "MuPAD, Softwareintegration, Dynamische Module",
  language =     "German",
}

@Book{Benker:1998:ICS,
  author =       "Hans Benker",
  title =        "{Ingenieurmathematik mit Computeralgebra-Systemen:
                 AXIOM, DERIVE, MACSYMA, MAPLE, MATHCAD, MATHEMATICA,
                 MATHLAP und MuPAD in der Anwendung}. ({German})
                 [{Engineering} mathematics with computer algebra
                 systems: {AXIOM}, {DERIVE}, {MACSYMA}, {MAPLE},
                 {MATHCAD}, {MATHEMATICA}, {MATHLAP} and {MuPAD} in
                 their use]",
  publisher =    pub-VIEWEG,
  address =      pub-VIEWEG:adr,
  pages =        "xiii + 439",
  year =         "1998",
  ISBN =         "3-528-05673-8",
  ISBN-13 =      "978-3-528-05673-5",
  LCCN =         "????",
  bibdate =      "Wed Apr 10 15:53:11 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  language =     "German",
}

@InProceedings{Diaz:1998:FSM,
  author =       "Angel D{\'\i}az and Erich Kaltofen",
  title =        "{FOXBOX}: a system for manipulating symbolic objects
                 in black box representation",
  crossref =     "Gloor:1998:IAU",
  pages =        "30--37",
  year =         "1998",
  DOI =          "http://doi.acm.org/10.1145/281508.281538",
  bibdate =      "Tue Oct 18 06:08:56 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@InProceedings{Iglio:1998:SCC,
  author =       "Pietro Iglio and Giuseppe Attardi",
  crossref =     "Gloor:1998:IAU",
  pages =        "62--69",
  year =         "1998",
  DOI =          "http://doi.acm.org/10.1145/281508.281548",
  bibdate =      "Tue Oct 18 05:19:21 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Article{Macsyma:1998:MSI,
  author =       "{Technical Staff at Macsyma, Inc.}",
  title =        "{Macsyma} Solutions to the {ISSAC '97 Challenge
                 Problems}",
  journal =      j-SIGSAM,
  volume =       "32",
  number =       "1",
  pages =        "18--37",
  month =        mar,
  year =         "1998",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/294833.570093",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Mon Jul 27 17:01:40 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "123",
  keywords =     "MuPAD",
}

@InProceedings{Bernardin:1999:SCJ,
  author =       "Laurent Bernardin and Bruce Char and Erich Kaltofen",
  title =        "Symbolic computation in {Java}: an appraisement",
  crossref =     "ACM:1999:IJS",
  pages =        "237--244",
  year =         "1999",
  DOI =          "http://doi.acm.org/10.1145/309831.309946",
  bibdate =      "Tue Oct 18 06:06:53 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Article{Lewis:1999:CPO,
  author =       "Robert H. Lewis and Michael Wester",
  title =        "Comparison of polynomial-oriented computer algebra
                 systems",
  journal =      j-SIGSAM,
  volume =       "33",
  number =       "4",
  pages =        "5--13",
  month =        dec,
  year =         "1999",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/500457.500459",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Tue Oct 18 05:08:13 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "Exact symbolic computation with polynomials and
                 matrices over polynomial rings has wide applicability
                 to many fields [Hereman96, Lewis99]. By ``exact
                 symbolic'', we mean computation with polynomials whose
                 coefficients are integers (of any size), rational
                 numbers, or from finite fields, as opposed to
                 coefficients that are ``floats'' of a certain
                 precision. Such computation is part of most computer
                 algebra (CA) systems. Over the last dozen years,
                 several large CA systems have become widely available,
                 such as Axiom, Derive, Macsyma, Maple, Mathematica and
                 Reduce. They tend to have great breadth, be produced by
                 profit-making companies, and be relatively expensive,
                 at least for a full blown non-student version. However,
                 most if not all of these systems have difficulty
                 computing with the polynomials and matrices that arise
                 in actual research. Real problems tend to produce large
                 polynomials and large matrices that the general CA
                 systems cannot handle [Lewis99].In the last few years,
                 several smaller CA systems focused on polynomials have
                 been produced at universities by individual researchers
                 or small teams. They run on Macs, PCs and workstations.
                 They are freeware or shareware. Several claim to be
                 much more efficient than the large systems at exact
                 polynomial computations. The list of these systems
                 includes CoCoA, Fermat, MuPAD, Pari-Gp and Singular
                 [CoCoA, Fermat, MuPAD, Pari-Gp, Singular].In this
                 paper, we compare these small systems to each other and
                 to two of the large systems (Magma and Maple) on a set
                 of problems involving exact symbolic computation with
                 polynomials and matrices. The problems here involve:
                 (*) the ground rings Z, Q, Z/p and other finite fields
                 (*) basic arithmetic of polynomials over the ground
                 ring (*) basic arithmetic of rational functions over
                 the ground ring (*) polynomial evaluation
                 (substitution) (*) matrix normal forms (*) determinants
                 and characteristic polynomials (*) GCDs of multivariate
                 polynomials (*) resultants.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "130",
}

@Article{McAndrew:1999:M,
  author =       "Alasdair McAndrew",
  title =        "{MuPad}",
  journal =      j-LINUX-J,
  volume =       "63",
  pages =        "??--??",
  month =        jul,
  year =         "1999",
  CODEN =        "LIJOFX",
  ISSN =         "1075-3583 (print), 1938-3827 (electronic)",
  ISSN-L =       "1075-3583",
  bibdate =      "Thu Sep 21 07:44:10 MDT 2000",
  bibsource =    "http://noframes.linuxjournal.com/lj-issues/issue63/index.html;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://noframes.linuxjournal.com/lj-issues/3101.html",
  acknowledgement = ack-nhfb,
  fjournal =     "Linux Journal",
  journal-URL =  "http://portal.acm.org/citation.cfm?id=J508",
}

@Book{Sorgatz:1999:DMU,
  author =       "Andreas Sorgatz",
  title =        "Dynamic modules: user's manual and programming guide
                 for {MuPAD 1.4}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xxiv + 234",
  year =         "1999",
  ISBN =         "3-540-65043-1 (pbk./CD-ROM)",
  ISBN-13 =      "978-3-540-65043-0 (pbk./CD-ROM)",
  LCCN =         "QA76.95 .S632 1999",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "MuPAD; Mathematics; Data processing",
}

@Article{Sorgatz:1999:THP,
  author =       "Andreas Sorgatz and Stefan Wehmeier",
  title =        "Towards high-performance symbolic computing: using
                 {MuPAD} as a problem solving environment",
  journal =      j-MATH-COMP-SIM,
  volume =       "49",
  number =       "3",
  pages =        "235--246",
  month =        aug,
  year =         "1999",
  CODEN =        "MCSIDR",
  DOI =          "http://dx.doi.org/10.1016/S0378-4754(99)00053-1",
  ISSN =         "0378-4754 (print), 1872-7166 (electronic)",
  ISSN-L =       "0378-4754",
  bibdate =      "Tue Sep 13 09:52:49 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "Special issue on high performance symbolic computing",
  abstract =     "This article discusses the approach of developing
                 MuPAD into an open and parallel problem solving
                 environment for mathematical applications. It
                 introduces the key technologies domains and dynamic
                 modules and describes the current state of
                 macroparallelism which covers three fields of parallel
                 programming: message passing, network variables and
                 work groups. First parallel algorithms and examples of
                 using the prototype of the MuPAD problem solving
                 environment are demonstrated.",
  acknowledgement = ack-nhfb,
  fjournal =     "Mathematics and Computers in Simulation",
}

@Article{Volcheck:1997:TRCc,
  author =       "Emil Volcheck",
  title =        "Technical report column",
  journal =      j-SIGSAM,
  volume =       "31",
  number =       "4",
  pages =        "50--53",
  month =        dec,
  year =         "1997",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/274888.570095",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Tue Oct 18 05:41:50 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin (ACM Special Interest Group on
                 Symbolic and Algebraic Manipulation)",
  keywords =     "MuPAD",
}

@Article{Wester:1999:IAC,
  author =       "Michael Wester and Eugenio Roanes-Lozano",
  title =        "{IMACS Applications of Computer Algebra Conference
                 1999}: Summary",
  journal =      j-SIGSAM,
  volume =       "33",
  number =       "2",
  pages =        "53--57",
  month =        jun,
  year =         "1999",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/334714.570086",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Oct 13 10:23:42 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "128",
  keywords =     "MuPAD",
}

@Article{Hare:2000:RCB,
  author =       "K. Hare",
  title =        "Rapid computation of {Bernoulli} and related numbers",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "18--19",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373504",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@InProceedings{Harris:2000:ANM,
  author =       "Jason Harris",
  title =        "Advanced notations in {Mathematica}",
  crossref =     "Traverso:2000:IPI",
  pages =        "153--160",
  year =         "2000",
  DOI =          "http://doi.acm.org/10.1145/345542.345613",
  bibdate =      "Tue Oct 18 05:48:49 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "This paper outlines the functionality and
                 implementation of the Notation package, an extension to
                 the Mathematica front end, allowing the user to
                 introduce advanced notations. Following this, several
                 advanced example notations are presented. These include
                 complete and functioning notations for both Dirac's
                 bra-ket notation as well as for tensorial expressions.
                 Proper functioning notations for both of these objects
                 have not been previously presented in a major symbolic
                 computation system, if at all.",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Article{Huber:2000:CGF,
  author =       "Birkett Huber",
  title =        "Computing {Gr{\"o}bner} fans of toric ideals",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "19--20",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373503",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Kai:2000:HCB,
  author =       "Hiroshi Kai and Matu-Tarow Noda",
  title =        "Hybrid computation of bivariate rational
                 interpolation",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "20--21",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373505",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Ke:2000:SAC,
  author =       "Nainn-Ping Ke",
  title =        "Symbolic and algebraic computation in robust stability
                 analysis",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "21--21",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373506",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Lewis:2000:CPO,
  author =       "Robert H. Lewis and Michael Wester",
  title =        "Comparison of polynomial-oriented computer algebra
                 systems",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "24--24",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373507",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Tue Oct 18 05:08:13 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
}

@Article{Murao:2000:AAE,
  author =       "Hirokazu Murao",
  title =        "{$ 2 W $}-ary algorithm for extended problem of
                 integer {GCD}",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "25--25",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373508",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
}

@Book{Oevel:2000:MTM,
  editor =       "W. (Walter) Oevel",
  title =        "{MuPAD-Tutorium}. {MuPAD} tutorial: a version and
                 platform independent introduction",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xii + 361",
  year =         "2000",
  ISBN =         "3-540-67546-9 (softcover)",
  ISBN-13 =      "978-3-540-67546-4 (softcover)",
  LCCN =         "QA76.95 .M85513 2000",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  language =     "English",
  subject =      "MuPAD; Mathematics; Data processing",
}

@Article{Popov:2000:OSA,
  author =       "Bogdan A. Popov",
  title =        "Optimal starting approximation and iterative algorithm
                 for inverse error function",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "25--26",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373510",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Prieto:2000:MOA,
  author =       "H{\'e}l{\`e}ne Prieto and St{\'e}phane Dalmas and Yves
                 Papegay",
  title =        "{Mathematica} as an {OpenMath} application",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "2",
  pages =        "22--26",
  month =        jun,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/362001.362016",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "Several computer algebra teams around the world have
                 been working on OpenMath since 1994, but in spite of
                 more than six years of work (including a dedicated
                 three years European project), there are not yet any
                 widely available OpenMath applications. There is
                 obviously some sort of boot-strapping problem: people
                 developing mathematical software are not really ready
                 to invest in the OpenMath technology by making their
                 applications OpenMath compliant because there are no
                 interesting OpenMath programs which their own
                 applications can talk to.Our computer algebra team at
                 INRIA (formerly SAFIR and now CAFE) has been involved
                 with the international OpenMath effort since the very
                 first OpenMath meeting. We have produced several
                 prototypes at various stages. With the help of people
                 from Waterloo Maple we have demonstrated a development
                 version of Maple linked with our OpenMath C library in
                 December 1996. This prototype was able to exchange data
                 (including multivariate polynomials in a special
                 representation) with a Reduce OpenMath server (thanks
                 to people at ZIB) and a small Aldor ([11]) program
                 (linked with an Aldor OpenMath library). We have
                 produced a quite complete OpenMath version of Reduce at
                 the end of 1997 (during a sabbatical leave at ZIB). We
                 have used OpenMath in various projects: an algorithm
                 animation system for Aldor programs ([3]), a deductive
                 database for mathematical formulas ([5]), a software
                 component to display and edit formulas ([2]) and as the
                 output format of a system for optical formula
                 recognition. Despite all these efforts and the efforts
                 of the other teams involved in OpenMath which has shown
                 the interest of this technology the future of OpenMath
                 is still not clear. Many people in the mathematical
                 software community remain to be convinced.The advent of
                 MathML ([9]) has complicated the situation, since to
                 some people it seems like an alternative to OpenMath.
                 In practice those defining them see the two standards
                 as complementary rather than competing, but the
                 rationale for this is not always obvious to those
                 outside these communities. With an ever growing number
                 of MathML applications (the latest versions of
                 Mathematica and Reduce are already MathML capable), it
                 is desirable to have applications which demonstrate the
                 advantages of OpenMath. A natural choice for such an
                 application is a major computer algebra system. This
                 would provide a very convenient environment to test
                 OpenMath applications for any mathematical software
                 implementer.Currently the only major system that has a
                 reliable and well tested technology that can be used to
                 make it an OpenMath application without access to the
                 system internals is Mathematica (thanks to the MathLink
                 library, [13]). That is why we choose to build MOMOS,
                 an OpenMath-Mathematica translator. We also considered
                 MuPAD and Maple as possible candidates. MuPAD is a very
                 interesting system. Its ability to dynamically link
                 external libraries would have allowed us to use our C
                 library ([7]) to read and write OpenMath objects, but
                 there are far fewer MuPAD users than Maple or
                 Mathematica users. The last version of Maple also has
                 the same sort of capability but when started to write
                 MOMOS the current Maple version we had access to did
                 not.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "132",
}

@Article{Sato:2000:PCB,
  author =       "Yosuke Sato",
  title =        "Parallel computation of {Boolean Gr{\"o}bner} bases",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "27--28",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373509",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Thiery:2000:AIGa,
  author =       "Nicolas M. Thi{\'e}ry",
  title =        "Algebraic invariants of graphs: a computer aided
                 study",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "29--29",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373511",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Article{Thiery:2000:AIGb,
  author =       "Nicolas M. Thi{\'e}ry",
  title =        "Algebraic invariants of graphs; a study based on
                 computer exploration",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "3",
  pages =        "9--20",
  month =        sep,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/377604.377612",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "133",
  keywords =     "MuPAD",
}

@Article{Tsai:2000:WCI,
  author =       "Harrison Tsai",
  title =        "{Weyl} closure of a {$D$}-ideal",
  journal =      j-SIGSAM,
  volume =       "34",
  number =       "1",
  pages =        "29--30",
  month =        mar,
  year =         "2000",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/373500.373512",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Fri Feb 8 18:27:07 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  keywords =     "MuPAD",
}

@Manual{Anonymous:2001:ACD,
  author =       "Anonymous",
  title =        "Axioms, Categories and Domains",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "69",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#domainref.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:ALA,
  author =       "Anonymous",
  title =        "{\tt adt} --- library for abstract data types",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "15",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#adt.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:APA,
  author =       "Anonymous",
  title =        "{{\tt Ax}} --- predefined axioms",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "9",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Ax.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:CLC,
  author =       "Anonymous",
  title =        "{\tt combinat} --- library for combinatorics",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "15",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#combinat.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:CPC,
  author =       "Anonymous",
  title =        "{{\tt Cat}} --- predefined categories",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "62",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Cat.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:DBM,
  author =       "Anonymous",
  title =        "{\tt datatypes} --- Basic {MuPAD} data types",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "54",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#datatypes.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:DLD,
  author =       "Anonymous",
  title =        "{\tt detools} --- library for differential equations",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "28",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#detools.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:DPD,
  author =       "Anonymous",
  title =        "{{\tt Dom}} --- predefined domains",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "230",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Dom.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:FLF,
  author =       "Anonymous",
  title =        "{\tt fp} --- library for functional programming",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "13",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#fp.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:GGI,
  author =       "Anonymous",
  title =        "{\tt generate} --- generate input to other programs",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "34",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#generate.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:GLG,
  author =       "Anonymous",
  title =        "{\tt groebner} --- library for {Gr{\"o}bner} bases",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "9",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#groebner.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:IID,
  author =       "Anonymous",
  title =        "{\tt import} --- import data",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "8",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#import.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:ITI,
  author =       "Anonymous",
  title =        "{\tt intlib} --- tools for integration",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "10",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#intlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:LLLa,
  author =       "Anonymous",
  title =        "{\tt listlib} --- library for list manipulation",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "15",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#listlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:LLLb,
  author =       "Anonymous",
  title =        "{\tt linopt} --- library for linear optimization",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "47",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#linopt.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:LLLc,
  author =       "Anonymous",
  title =        "{\tt linalg} --- library for linear algebra",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "169",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#linalg.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:MLD,
  author =       "Anonymous",
  title =        "{\tt module} --- library for dynamic modules",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "16",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#module.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:MLP,
  author =       "Anonymous",
  title =        "{\tt matchlib} --- library for pattern matching",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "4",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#matchlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:MMa,
  author =       "Anonymous",
  title =        "{\tt misc} --- miscellanea",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "9",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#misc.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:MMb,
  author =       "Anonymous",
  title =        "From {MuPAD 1.4} to {MuPAD 2.0}",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "59",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#changes.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:MQR,
  author =       "Anonymous",
  title =        "{MuPAD 2.0} Quick Reference",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "16",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#quickref.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:NLG,
  author =       "Anonymous",
  title =        "{{\tt Network}} --- library for graph theory",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "47",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Network.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:NLNa,
  author =       "Anonymous",
  title =        "{\tt numlib} --- library for number theory",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "50",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#numlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:NLNb,
  author =       "Anonymous",
  title =        "{\tt numeric} --- library for numerical algorithms",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "160",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#numeric.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:O,
  author =       "Anonymous",
  title =        "{\tt ode}",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "11",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#ode.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:OLF,
  author =       "Anonymous",
  title =        "{\tt output} --- library for formatted output",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "8",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#output.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:OLO,
  author =       "Anonymous",
  title =        "{\tt orthpoly} --- library for orthogonal
                 polynomials",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "23",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#orthpoly.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:P,
  author =       "Anonymous",
  title =        "{\tt plotlib}",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "23",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#plotlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:PGL,
  author =       "Anonymous",
  title =        "{\tt plot} --- graphics library",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "177",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#plot.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:PLPa,
  author =       "Anonymous",
  title =        "{\tt property} --- library for properties",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "12",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#property.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:PLPb,
  author =       "Anonymous",
  title =        "{\tt polylib} --- library for polynomial
                 manipulation",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "33",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#polylib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:PPT,
  author =       "Anonymous",
  title =        "{\tt prog} --- programmer's toolbox",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "39",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#prog.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:PUP,
  author =       "Anonymous",
  title =        "{{\tt Pref}} --- user preferences",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "37",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Pref.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:SDT,
  author =       "Anonymous",
  title =        "{\tt solvelib} --- data types and utilities for the
                 solver",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "12",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#solvelib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:SET,
  author =       "Anonymous",
  title =        "{\tt student} --- educational tools",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "23",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#student.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:SL,
  author =       "Anonymous",
  title =        "The standard library",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "931",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#stdlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:SLSa,
  author =       "Anonymous",
  title =        "{\tt stringlib} --- library for string manipulation",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "11",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#stringlib.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:SLSb,
  author =       "Anonymous",
  title =        "{\tt stats} --- library for statistics",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "70",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#stats.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:TLI,
  author =       "Anonymous",
  title =        "{\tt transform} --- library for integral transforms",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "8",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#transform.pdf",
  acknowledgement = ack-nhfb,
}

@Manual{Anonymous:2001:TLT,
  author =       "Anonymous",
  title =        "{{\tt Type}} --- library for type checking and
                 mathematical properties",
  organization = inst-MUPAD,
  address =      inst-MUPAD:adr,
  pages =        "79",
  day =          "25",
  month =        jul,
  year =         "2001",
  bibdate =      "Tue Oct 18 07:51:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.math.utah.edu/pub/mupad/doc/pdf_help.zip#Type.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Krishnan:2001:PEM,
  author =       "Shankar Krishnan and Mark Foskey and Tim Culver and
                 John Keyser and Dinesh Manocha",
  title =        "{PRECISE}: efficient multiprecision evaluation of
                 algebraic roots and predicates for reliable geometric
                 computation",
  crossref =     "ACM:2001:PSA",
  pages =        "274--283",
  year =         "2001",
  DOI =          "http://doi.acm.org/10.1145/378583.378693",
  bibdate =      "Tue Oct 18 05:27:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 umlibr.library.umass.edu:210/INNOPAC",
  abstract =     "Many geometric problems like generalized Voronoi
                 diagrams, medial axis computations and boundary
                 evaluation involve computation and manipulation of
                 non-linear algebraic primitives like curves and
                 surfaces. The algorithms designed for these problems
                 make decisions based on signs of geometric predicates
                 or on the roots of polynomials characterizing the
                 problem. The reliability of the algorithm depends on
                 the accurate evaluation of these signs and roots. In
                 this paper, we present a {\em naive precision-driven
                 computational model\/} to perform these computations
                 reliably and demonstrate its effectiveness on a certain
                 class of problems like sign of determinants with
                 rational entries, boundary evaluation and curve
                 arrangements. We also present a novel algorithm to
                 compute all the roots of a univariate polynomial to any
                 desired accuracy. The computational model along with
                 the underlying number representation, precision-driven
                 arithmetic and all the algorithms are implemented as
                 part of a stand-alone software library, PRECISE.",
  acknowledgement = ack-nhfb,
}

@Book{Majewski:2002:MPC,
  author =       "Miroslaw Majewski",
  title =        "{MuPAD Pro} computing essentials",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "vii + 456",
  year =         "2002",
  ISBN =         "3-540-43574-3 (softcover)",
  ISBN-13 =      "978-3-540-43574-7 (softcover)",
  LCCN =         "QA76.95 .M35 2002",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "http://www.mupad.com/majewski/edition1/",
  acknowledgement = ack-nhfb,
  subject =      "MuPAD; Mathematics; Data processing; Mathematics;
                 Study and teaching (Higher)",
}

@InProceedings{Dupont:2003:NOP,
  author =       "Laurent Dupont and Daniel Lazard and Sylvain Lazard
                 and Sylvain Petitjean",
  title =        "Near-optimal parameterization of the intersection of
                 quadrics",
  crossref =     "ACM:2003:PNA",
  pages =        "246--255",
  year =         "2003",
  DOI =          "http://doi.acm.org/10.1145/777792.777830",
  bibdate =      "Tue Oct 18 05:33:33 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "In this paper, we present the first exact, robust and
                 practical method for computing an explicit
                 representation of the intersection of two arbitrary
                 quadrics whose coefficients are rational. Combining
                 results from the theory of quadratic forms, linear
                 algebra and number theory, we show how to obtain
                 parametric intersection curves that are near-optimal in
                 the number and depth of radicals involved.",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Article{Fateman:2003:CSP,
  author =       "Richard Fateman",
  title =        "Comparing the speed of programs for sparse polynomial
                 multiplication",
  journal =      j-SIGSAM,
  volume =       "37",
  number =       "1",
  pages =        "4--15",
  month =        mar,
  year =         "2003",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/844076.844080",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Thu Aug 7 07:11:53 MDT 2003",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "How should one design and implement a program for the
                 multiplication of sparse polynomials? This is a simple
                 question, necessarily addressed by the builders of any
                 computer algebra system (CAS). To examine a few options
                 we start with a single easily-stated computation which
                 we believe represents a useful benchmark of ``medium
                 difficulty'' for CAS designs. We describe a number of
                 design options and their effects on performance. We
                 also examine the performance of a variety of commercial
                 and freely-distributed systems. Important
                 considerations include the cost of high-precision
                 (exact) integer arithmetic and the effective use of
                 cache memory.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "143",
}

@Book{Grabmeier:2003:CAH,
  editor =       "Johannes Grabmeier and Erich Kaltofen and Volker
                 Weispfenning",
  title =        "Computer algebra handbook: foundations, applications,
                 systems",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xx + 637",
  year =         "2003",
  ISBN =         "3-540-65466-6",
  ISBN-13 =      "978-3-540-65466-7",
  LCCN =         "QA155.7.E4 C64954 2003",
  MRclass =      "68W30, 00B15, 68-06",
  bibdate =      "Tue Nov 22 06:00:25 MST 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "Includes CD-ROM.",
  URL =          "http://www.springer.com/sgw/cda/frontpage/0,11855,1-102-22-1477871-0,00.html",
  acknowledgement = ack-nhfb,
  keywords =     "Aldor; AXIOM; Derive; exact arithmetic; Macsyma;
                 Magma; Maple Mathematica; MuPAD; REDUCE; TI-92",
  subject =      "Algebra; Data processing",
}

@InProceedings{Wang:2003:WTW,
  author =       "Paul S. Wang and Norbert Kajler and Yi Zhou and Xiao
                 Zou",
  title =        "{WME}: towards a {Web} for mathematics education",
  crossref =     "ACM:2003:IPI",
  year =         "2003",
  DOI =          "http://doi.acm.org/10.1145/860854.860906",
  bibdate =      "Tue Oct 18 06:21:38 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "Reported is an approach for {Web-based Mathematics
                 Education\/} (WME). The WME framework is a distributed
                 system that aims to create a Web for mathematics
                 education. Components of the WME framework include the
                 {Mathematics Education Markup Language\/} (MeML) for
                 page markup, regular Web servers to deliver pages, WME
                 Page Processors to enable common Web browsers to
                 receive MeML pages, and a variety of WME services
                 (mathematical and educational) to supply power and
                 interactivity to MeML pages. The MeML language supports
                 the creation of efficient, effective, and dynamic
                 mathematics education content. The WME architecture is
                 designed so that mathematics education contents (static
                 and/or dynamic) and remote WME services can be built
                 independently, maintained independently, deployed
                 easily, and still interoperate and reinforce one
                 another on a global scale.",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Article{Ballarin:2004:SPL,
  author =       "Clemens Ballarin and Manuel Kauers",
  title =        "Solving parametric linear systems: an experiment with
                 constraint algebraic programming",
  journal =      j-SIGSAM,
  volume =       "38",
  number =       "2",
  pages =        "33--46",
  month =        jun,
  year =         "2004",
  CODEN =        "SIGSBZ",
  DOI =          "http://doi.acm.org/10.1145/1041791.1041793",
  ISSN =         "0163-5824 (print), 1557-9492 (electronic)",
  ISSN-L =       "0163-5824",
  bibdate =      "Wed Apr 27 19:30:35 MDT 2005",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "Algorithms in computer algebra are usually designed
                 for a fixed set of domains. For example, algorithms
                 over the domain of polynomials are not applicable to
                 parameters because the inherent assumption that the
                 indeterminate X bears no algebraic relation to other
                 objects is violated.We propose to use a technique from
                 model theory known as constraint programming to gain
                 more flexibility, and we show how it can be applied to
                 the Gaussian algorithm to be used for parametric
                 systems. Our experiments suggest that in practice this
                 leads to results comparable to the algorithm for
                 parametric linear systems by Sit [9] --- at least if
                 the parameters are sparse.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGSAM Bulletin",
  issue =        "148",
  keywords =     "MuPAD",
}

@InProceedings{Chan:2004:NLS,
  author =       "L. Chan and E. S. Cheb-Terrab",
  title =        "Non-{Liouvillian} solutions for second order linear
                 {ODEs}",
  crossref =     "Gutierrez:2004:IJU",
  pages =        "80--86",
  year =         "2004",
  DOI =          "http://doi.acm.org/10.1145/1005285.1005299",
  bibdate =      "Tue Oct 18 06:14:39 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "There exist sound literature and algorithms for
                 computing Liouvillian solutions for the important
                 problem of linear ODEs with rational coefficients.
                 Taking as sample the 363 second order equations of that
                 type found in Kamke's book, for instance, 51\% of them
                 admit Liouvillian solutions and so are solvable using
                 Kovacic's algorithm. On the other hand, special
                 function solutions not admitting Liouvillian form
                 appear frequently in mathematical physics, but there
                 are not so general algorithms for computing them. In
                 this paper we present an algorithm for computing
                 special function solutions which can be expressed using
                 the {${}_2 F + 1$}, {${}_1 F_1$} or {${}_0 F_1$}
                 hypergeometric functions. The algorithm is easy to
                 implement in the framework of a computer algebra system
                 and systematically solves 91\% of the 363 Kamke's
                 linear ODE examples mentioned.",
  acknowledgement = ack-nhfb,
  keywords =     "MuPAD",
}

@Book{Creutzig:2004:MT,
  author =       "Christopher Creutzig and W. (Walter) Oevel",
  title =        "{MuPAD} tutorial",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "xiii + 412",
  year =         "2004",
  ISBN =         "3-540-22184-0",
  ISBN-13 =      "978-3-540-22184-5",
  LCCN =         "QA76.95 .C74 2004",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "MuPAD; Mathematics; Data processing",
}

@InProceedings{Lazard:2004:IQE,
  author =       "S. Lazard and L. M. Pe{\~n}aranda and S. Petitjean",
  booktitle =    "{Proceedings of the Twentieth Annual Symposium on
                 Computational Geometry (SCG '04): June 9--11, 2004,
                 Brooklyn, New York, USA}",
  title =        "Intersecting quadrics: an efficient and exact
                 implementation",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "419--428",
  year =         "2004",
  ISBN =         "1-58113-885-7",
  ISBN-13 =      "978-1-58113-885-6",
  LCCN =         "QA448.D38",
  bibdate =      "Tue Oct 18 05:57:21 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "We present the first complete, exact and efficient C++
                 implementation of a method for parameterizing the
                 intersection of two implicit quadrics with integer
                 coefficients of arbitrary size. It is based on the
                 near-optimal algorithm recently introduced by Dupont et
                 al., [2]. Unlike existing implementations, it correctly
                 identifies and parameterizes all the connected
                 components of the intersection in all cases, returning
                 parameterizations with rational functions whenever such
                 parameterizations exist. In addition, the coefficient
                 fields of the parameterizations are either minimal or
                 involve one possibly unneeded square root. We prove
                 upper bounds on the size of the coefficients of the
                 output parameterization and compare these bounds to
                 observed values. We give other experimental results and
                 present some examples.",
  acknowledgement = ack-nhfb,
  bookpages =    "viii + 460",
  keywords =     "MuPAD",
}

@Book{Majewski:2004:MPC,
  author =       "Miroslaw Majewski",
  title =        "{MuPAD Pro} computing essentials",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "xi + 538",
  year =         "2004",
  ISBN =         "3-540-21943-9",
  ISBN-13 =      "978-3-540-21943-9",
  LCCN =         "QA76.95 M35 2004",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "http://www.mupad.com/majewski/edition2/",
  acknowledgement = ack-nhfb,
  subject =      "MuPAD; Mathematics; Data processing; Mathematics;
                 Study and teaching (Higher)",
}

@Article{Roanes-Lozano:2004:GAS,
  author =       "Eugenio Roanes-Lozano and Eugenio Roanes-Mac{\'\i}as
                 and Luis M. Laita",
  title =        "The Geometry of Algebraic Systems and Their Exact
                 Solving Using {Gr{\"o}bner} Bases",
  journal =      j-COMPUT-SCI-ENG,
  volume =       "6",
  number =       "2",
  pages =        "76--79",
  month =        mar # "\slash " # apr,
  year =         "2004",
  CODEN =        "CSENFA",
  ISSN =         "1521-9615 (print), 1558-366X (electronic)",
  ISSN-L =       "1521-9615",
  bibdate =      "Sat May 14 13:11:42 MDT 2005",
  bibsource =    "http://csdl.computer.org/comp/mags/cs/2004/02/c2toc.htm;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://csdl.computer.org/comp/mags/cs/2004/02/c2076abs.htm;
                 http://csdl.computer.org/dl/mags/cs/2004/02/c2076.htm;
                 http://csdl.computer.org/dl/mags/cs/2004/02/c2076.pdf",
  abstract =     "Although exact methods for solving general polynomial
                 systems are incorporated into well-known computer
                 algebra systems such as Derive, Maple, Mathematica,
                 MuPad, and Reduce, only a small portion of the
                 scientific community knows about them. This article
                 introduces one such method --- Gr{\"o}bner bases ---
                 for non-mathematicians in an intuitive way.
                 Specifically, we show the analogies and differences
                 between linear and algebraic system solving, with an
                 emphasis on the underlying geometric aspects.",
  acknowledgement = ack-nhfb,
  fjournal =     "Computing in Science and Engineering",
  journal-URL =  "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5992",
  keywords =     "MuPAD",
}

@Book{Majewski:2005:GSM,
  author =       "Miroslaw Majewski",
  title =        "Getting started with {MUPAD}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "270 (est.)",
  year =         "2005",
  ISBN =         "3-540-28635-7 (softcover)",
  ISBN-13 =      "978-3-540-28635-6 (softcover)",
  bibdate =      "Mon Oct 17 18:51:48 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "http://www.mupad.com/majewski/starters/",
  acknowledgement = ack-nhfb,
}

@Book{Majewski:2005:MDN,
  author =       "Miroslaw Majewski",
  title =        "{MuPAD} dla niecierpliwych. ({Polish}) [{MuPAD} for
                 the impatient]",
  publisher =    "Edukacja z TI",
  address =      "????, Poland",
  pages =        "200 (est.)",
  year =         "2005",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Tue Oct 18 08:11:39 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.mupad.com/mathpad/",
  acknowledgement = ack-nhfb,
  language =     "Polish",
}

@InProceedings{Zapotinschi:2006:TLP,
  author =       "Radu Zapotinschi and Dorina Peter",
  editor =       "Viorel Negru and others",
  booktitle =    "{SYNASC 2006: Eighth International Symposium on
                 Symbolic and Numeric Algorithms for Scientific
                 Computing: proceedings: 26-29 September, 2006,
                 Timisoara, Romania}",
  title =        "A Two-Level Programming Approach to Volume Propagation
                 in Higher-Dimensional Spaces",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "41--46",
  year =         "2006",
  ISBN =         "0-7695-2740-X",
  ISBN-13 =      "978-0-7695-2740-6",
  LCCN =         "Q183.9 .I65 2006",
  bibdate =      "Tue Sep 13 09:58:20 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "IEEE Computer Society Order number P2740.",
  abstract =     "A set of algorithms designed for the analysis of
                 phase-space perturbation propagation in dynamical
                 systems is presented. The most important tasks are
                 approximate volume estimation and determining the
                 subset of the perturbation surface that is tangent to
                 current lines. The algorithms are developed in a
                 generic, dimension-independent fashion, but they can be
                 partially evaluated with respect to the dimension of
                 the space, yielding dimension specific, efficient
                 algorithms. The MuPAD implementation of the algorithms
                 and supporting libraries is also discussed.",
  acknowledgement = ack-nhfb,
  bookpages =    "xiv + 446",
}

@Article{Thiery:2008:IAC,
  author =       "Nicolas M. Thiery",
  title =        "Implementing Algebraic Combinatorics: Some feedback
                 from the development of {MuPAD--Combinat} (abstract
                 only)",
  journal =      j-ACM-COMM-COMP-ALGEBRA,
  volume =       "42",
  number =       "1--2",
  pages =        "20--20",
  month =        mar # "/" # jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://doi.acm.org/10.1145/1394042.1394057",
  ISSN =         "1932-2232 (print), 1932-2240 (electronic)",
  ISSN-L =       "1932-2232",
  bibdate =      "Tue Aug 12 17:30:40 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  abstract =     "MuPAD-Combinat is an open-source algebraic
                 combinatorics package for the computer algebra system
                 MuPAD. Its main purpose is to provide an extensible
                 toolbox for computer exploration, and to foster code
                 sharing between researchers in this area. The
                 development started in 2001, and it now contains
                 functions to deal with most usual combinatorial classes
                 (partitions, tableaux, decomposable classes, ...). It
                 also supplies the user with tools for constructing new
                 combinatorial classes and combinatorial (Hopf)
                 algebras. As an application, it provides well-known
                 combinatorial Hopf algebras like the algebra of
                 symmetric functions and many generalizations. There is
                 also experimental support for combinatorial Lie
                 algebras, operads, (affine) Weyl groups, crystals,
                 Schubert polynomials, invariant rings, ... Altogether,
                 MuPAD-Combinat played a central role in 25+
                 publications with more than a dozen contributors. In
                 this talk, we first demonstrate the main
                 functionalities of the package and present some typical
                 applications. Based on that, we discuss its design,
                 successes and flaws, and its future. Feel free to
                 contact the speaker if you would like to get some first
                 hand experience through an informal tutorial, and bring
                 your laptop if you have one.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Communications in Computer Algebra",
}

@InProceedings{Augusta:2009:PLN,
  author =       "P. Augusta and Z. Hurak",
  editor =       "{IEEE}",
  booktitle =    "International Workshop on Multidimensional (nD)
                 Systems, 2009. nDS 2009, Aristotle University of
                 Thessaloniki, Thessaloniki, Greece, June 29 2009--July
                 1 2009",
  title =        "{Polmat} library now within {Symbolic Math Toolbox}
                 for {Matlab} in multidimensional systems computations",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "1--3",
  year =         "2009",
  DOI =          "http://dx.doi.org/10.1109/NDS.2009.5191494",
  ISBN =         "1-4244-2797-5",
  ISBN-13 =      "978-1-4244-2797-0",
  LCCN =         "????",
  bibdate =      "Tue Sep 13 10:05:19 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  note =         "IEEE catalog number CFP09612.",
  abstract =     "This paper demonstrates convenient use of freely
                 available Polmat library for computations with transfer
                 function models of multidimensional systems within
                 Matlab environment. Polmat functions rely on MuPAD, a
                 computer algebra system, which has become the core
                 engine for symbolic computations in Matlab. Basic
                 manipulations with multivariate two-sided polynomials
                 are illustrated, test of stability of spatially
                 distributed systems and solution of linear
                 (Diophantine) equations with multivariate polynomials
                 are demonstrated by means of a few examples.",
  acknowledgement = ack-nhfb,
  book-URL =     "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5174547",
  bookpages =    "????",
}

%%% ====================================================================
%%% Cross-referenced entries must come last.

@Proceedings{Fleischer:1995:CAS,
  editor =       "J. (Jochem) Fleischer and J. Grabmeier and F. W. Hehl
                 and W. K{\"u}chlin",
  booktitle =    "{Computer Algebra in Science and Engineering: 28--31
                 August 1994, Bielefeld, Germany}",
  title =        "{Computer Algebra in Science and Engineering: 28--31
                 August 1994, Bielefeld, Germany}",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "ix + 356",
  year =         "1995",
  ISBN =         "981-02-2319-6",
  ISBN-13 =      "978-981-02-2319-9",
  LCCN =         "QA155.7.E4 C6496 1995",
  bibdate =      "Tue Oct 18 07:18:37 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Papers presented at a workshop held at the Center for
                 Interdisciplinary Research (ZiF) in Bielefeld,
                 Germany.",
  subject =      "Algebra; Data processing; Congresses",
}

@Proceedings{Maurer:1995:EMH,
  editor =       "Hermann A. Maurer and others",
  booktitle =    "Educational Multimedia and Hypermedia, 1995:
                 proceedings of ED-MEDIA 95: World Conference on
                 Educational Multimedia and Hypermedia, Graz, Austria,
                 June 17--21, 1995",
  title =        "Educational Multimedia and Hypermedia, 1995:
                 proceedings of {ED}-{MEDIA} 95: World Conference on
                 Educational Multimedia and Hypermedia, Graz, Austria,
                 June 17--21, 1995",
  publisher =    "Association for the Advancement of Computing in
                 Education",
  address =      "Charlottesville, VA, USA",
  pages =        "xiii + 825",
  year =         "1995",
  ISBN =         "1-880094-15-0 (paperback)",
  ISBN-13 =      "978-1-880094-15-0 (paperback)",
  LCCN =         "LB1028.5 .W67 1995",
  bibdate =      "Tue Oct 18 07:21:16 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  meetingname =  "World Conference on Educational Multimedia and
                 Hypermedia (1995 : Graz, Austria)",
  subject =      "Computer-assisted instruction; Congresses; Intelligent
                 tutoring systems; Congresses; Educational technology;
                 Congresses; Hypertext systems; Congresses; Interactive
                 multimedia; Congresses",
}

@Proceedings{Carriere:1996:PRW,
  editor =       "L. R. Oudin A. Carri{\`e}re",
  booktitle =    "{Proceedings of the 5th RHINE workshop on computer
                 algebra}",
  title =        "{Proceedings of the 5th RHINE workshop on computer
                 algebra}",
  publisher =    "Institut Franco-Allemand de Recherches de
                 Saint-Louis",
  address =      "68300 Saint-Louis, France",
  pages =        "????",
  month =        apr,
  year =         "1996",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Tue Oct 18 07:23:24 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lakshman:1996:IPI,
  editor =       "Y. N. Lakshman",
  booktitle =    "{ISSAC '96: proceedings of the 1996 International
                 Symposium on Symbolic and Algebraic Computation: July
                 24--26, 1996, Z{\"u}rich, Switzerland}",
  title =        "{ISSAC '96: proceedings of the 1996 International
                 Symposium on Symbolic and Algebraic Computation: July
                 24--26, 1996, Z{\"u}rich, Switzerland}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xvii + 318",
  year =         "1996",
  ISBN =         "0-89791-796-0",
  ISBN-13 =      "978-0-89791-796-4",
  LCCN =         "QA155.7.E4",
  bibdate =      "Tue Oct 18 07:25:37 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kaltofen:1997:PPS,
  editor =       "Erich Kaltofen and Markus Hitz",
  booktitle =    "{PASCO '97. Proceedings of the Second International
                 Symposium on Parallel Symbolic Computation, July
                 20--22, 1997, Maui, HI}",
  title =        "{PASCO '97. Proceedings of the Second International
                 Symposium on Parallel Symbolic Computation, July
                 20--22, 1997, Maui, HI}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "vi + 223",
  year =         "1997",
  ISBN =         "0-89791-951-3",
  ISBN-13 =      "978-0-89791-951-7",
  LCCN =         "QA76.58 .I5674 1997",
  bibdate =      "Thu Mar 12 07:30:53 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gloor:1998:IAU,
  editor =       "Oliver Gloor",
  booktitle =    "{ISSAC 98, August 13--15, 1998, University of Rostock,
                 Germany: Proceedings of the 1998 International
                 Symposium on Symbolic and Algebraic Computation}",
  title =        "{ISSAC 98, August 13--15, 1998, University of Rostock,
                 Germany: Proceedings of the 1998 International
                 Symposium on Symbolic and Algebraic Computation}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xxii + 327",
  year =         "1998",
  ISBN =         "1-58113-002-3",
  ISBN-13 =      "978-1-58113-002-7",
  LCCN =         "QA155.7.E4 E88 1998",
  bibdate =      "Tue Oct 18 07:26:47 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:1999:IJS,
  editor =       "{ACM}",
  booktitle =    "{ISSAC 99: July 29--31, 1999, Simon Fraser University,
                 Vancouver, BC, Canada: Proceedings of the 1999
                 International Symposium on Symbolic and Algebraic
                 Computation}",
  title =        "{ISSAC 99: July 29--31, 1999, Simon Fraser University,
                 Vancouver, BC, Canada: Proceedings of the 1999
                 International Symposium on Symbolic and Algebraic
                 Computation}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xxii + 311",
  year =         "1999",
  ISBN =         "1-58113-073-2",
  ISBN-13 =      "978-1-58113-073-7",
  LCCN =         "QA76.95",
  bibdate =      "Tue Oct 18 07:28:00 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Traverso:2000:IPI,
  editor =       "Carlo Traverso",
  booktitle =    "{ISSAC 2000: Proceedings of the 2000 International
                 Symposium on Symbolic and Algebraic Computation: 7--9
                 August 2000, University of St. Andrews, Scotland}",
  title =        "{ISSAC 2000: Proceedings of the 2000 International
                 Symposium on Symbolic and Algebraic Computation: 7--9
                 August 2000, University of St. Andrews, Scotland}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 309",
  year =         "2000",
  ISBN =         "1-58113-218-2",
  ISBN-13 =      "978-1-58113-218-2",
  LCCN =         "QA 155.7 .E4E88 2000",
  bibdate =      "Tue Oct 18 07:29:00 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib;
                 sirsi.library.utoronto.ca:2200/UNICORN",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2001:PSA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the Seventeenth Annual Symposium on
                 Computational Geometry (SCG '01): June 3--5, 2001,
                 Medford, Massachusetts, USA}",
  title =        "{Proceedings of the Seventeenth Annual Symposium on
                 Computational Geometry (SCG '01): June 3--5, 2001,
                 Medford, Massachusetts, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  year =         "2001",
  ISBN =         "1-58113-357-X",
  ISBN-13 =      "978-1-58113-357-8",
  LCCN =         "QA448.D38 S96 2001",
  bibdate =      "Tue Oct 18 07:29:48 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2003:IPI,
  editor =       "{ACM}",
  booktitle =    "{ISSAC 2003: Proceedings of the 2003 International
                 Symposium on Symbolic and Algebraic Computation: August
                 3--6, 2003, Philadelphia, PA}",
  title =        "{ISSAC 2003: Proceedings of the 2003 International
                 Symposium on Symbolic and Algebraic Computation: August
                 3--6, 2003, Philadelphia, PA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "x + 273",
  year =         "2003",
  ISBN =         "1-58113-641-2",
  ISBN-13 =      "978-1-58113-641-8",
  LCCN =         "QA76.95",
  bibdate =      "Tue Oct 18 07:31:37 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2003:PNA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the nineteenth annual Symposium on
                 Computational Geometry (SCG'03): San Diego, California,
                 USA, June 8--10, 2003}",
  title =        "{Proceedings of the nineteenth annual Symposium on
                 Computational Geometry (SCG'03): San Diego, California,
                 USA, June 8--10, 2003}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "x + 390",
  year =         "2003",
  ISBN =         "1-58113-663-3 (paperback)",
  ISBN-13 =      "978-1-58113-663-0 (paperback)",
  LCCN =         "QA447 .S95 2003",
  bibdate =      "Tue Oct 18 07:30:47 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gutierrez:2004:IJU,
  editor =       "Jaime Gutierrez",
  booktitle =    "{ISAAC 2004: July 4--7, 2004, University of Cantabria,
                 Santander, Spain: Proceedings of the 2004 International
                 Symposium on Symbolic and Algebraic Computation}",
  title =        "{ISAAC 2004: July 4--7, 2004, University of Cantabria,
                 Santander, Spain: Proceedings of the 2004 International
                 Symposium on Symbolic and Algebraic Computation}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xii + 328",
  year =         "2004",
  ISBN =         "1-58113-827-X",
  ISBN-13 =      "978-1-58113-827-6",
  LCCN =         "????",
  bibdate =      "Tue Oct 18 07:32:30 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Anonymous:2005:MFM,
  editor =       "Anonymous",
  booktitle =    "{MathPAD 2005: The Fourth Meeting of MuPAD Users, 4--8
                 July 2005, Nicholas Copernicus University, Torun,
                 Poland}",
  title =        "{MathPAD 2005: The Fourth Meeting of MuPAD Users, 4--8
                 July 2005, Nicholas Copernicus University, Torun,
                 Poland}",
  publisher =    "????",
  address =      "????",
  pages =        "????",
  year =         "2005",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Tue Oct 18 08:13:12 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/mupad.bib",
  URL =          "http://www.mat.uni.torun.pl/konferencje/mathpad_2005.html",
  acknowledgement = ack-nhfb,
}