@Preamble{"\input bibnames.sty " #
"\input path.sty " #
"\hyphenation{ Zeit-schrift }"
}
@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|https://www.math.utah.edu/~beebe/|"}
@String{inst-MUPAD = "MuPAD Research Group"}
@String{inst-MUPAD:adr = "Universit{\"a}t Paderborn, Paderborn,
Germany"}
@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-PHYS-J = "Physik Journal"}
@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)"}
@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"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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 = "https://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;
https://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;
https://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;
https://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;
https://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;
https://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;
https://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;
https://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 = "https://doi.org/10.1145/181518.181521",
ISSN = "0736-6906",
ISSN-L = "0736-6906",
bibdate = "Tue Oct 18 05:55:20 2005",
bibsource = "https://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;
https://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;
https://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;
https://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;
https://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;
https://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 = "https://doi.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 = "https://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;
https://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;
https://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;
https://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;
https://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;
https://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 = "https://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/;
https://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;
https://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;
https://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;
https://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;
https://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;
https://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;
https://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;
https://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 = "https://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;
https://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 = "https://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 = "https://doi.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/;
https://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 = "https://doi.org/10.1145/266670.266732",
bibdate = "Thu Mar 12 07:28:19 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/;
https://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 = "https://doi.org/10.1145/266670.266730",
bibdate = "Tue Oct 18 05:46:21 2005",
bibsource = "https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://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;
https://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;
https://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;
https://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;
https://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 = "https://doi.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/;
https://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;
https://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 = "https://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 = "https://doi.org/10.1145/281508.281538",
bibdate = "Tue Oct 18 06:08:56 2005",
bibsource = "https://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 = "https://doi.org/10.1145/281508.281548",
bibdate = "Tue Oct 18 05:19:21 2005",
bibsource = "https://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 = "https://doi.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 = "https://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 = "https://doi.org/10.1145/309831.309946",
bibdate = "Tue Oct 18 06:06:53 2005",
bibsource = "https://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 = "https://doi.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 = "https://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;
https://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 = "https://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 = "https://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 = "https://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{Sittig:1997:LIP,
author = "R. Sittig and H. Rechenberg and M. Ritsch-Marte and H.
Schopper and S. Koch and H. J. Queisser and H. Nicolai
and M. Ziegler",
title = "{L{\"u}bbig: \booktitle{The Inverse Problem}\slash
B{\"u}hrke: \booktitle{Newtons Apfel --- Sternstunden
der Physik}: \booktitle{Von Galilei bis Lise
Meitner}\slash Memel, Renneberg:
\booktitle{Geschlechterverh{\"a}ltnisse in Medizin,
Naturwissenschaft und Technik}\slash Sanitt:
\booktitle{Science as a Questioning Process}\slash
Haug, Jauho: \booktitle{Quantum Kinetics in Transport
and Optics of Semiconductors}\slash High Tech Start
Up\slash Gambini, Pullin: \booktitle{Loops, Knots,
Gauge Theories and Quantum Gravity}\slash MuPAD}.
({German}) [{Book} reviews: \ldots{}]",
journal = j-PHYS-J,
volume = "53",
number = "7--8",
pages = "716--719",
month = jul,
year = "1997",
CODEN = "PJHOB2",
DOI = "https://doi.org/10.1002/phbl.19970530725",
ISSN = "1617-9439 (print), 1619-6597 (electronic)",
ISSN-L = "1617-9439",
bibdate = "Tue May 22 09:14:18 2018",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/m/meitner-lise.bib;
https://www.math.utah.edu/pub/tex/bib/mupad.bib",
acknowledgement = ack-nhfb,
fjournal = "Physik Journal",
journal-URL = "http://www.pro-physik.de/phy/physik/archiv.html",
language = "German",
subject-dates = "Lise Meitner (7 November 1878--27 October 1968)",
}
@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 = "https://doi.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 = "https://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 = "https://doi.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 = "https://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 = "https://doi.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/;
https://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 = "https://doi.org/10.1145/345542.345613",
bibdate = "Tue Oct 18 05:48:49 2005",
bibsource = "https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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 = "https://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 = "https://doi.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/;
https://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 = "https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://doi.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/;
https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "https://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 = "https://doi.org/10.1145/378583.378693",
bibdate = "Tue Oct 18 05:27:23 2005",
bibsource = "https://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 = "https://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 = "https://doi.org/10.1145/777792.777830",
bibdate = "Tue Oct 18 05:33:33 2005",
bibsource = "https://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 = "https://doi.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/;
https://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 = "https://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 = "https://doi.org/10.1145/860854.860906",
bibdate = "Tue Oct 18 06:21:38 2005",
bibsource = "https://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 = "https://doi.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/;
https://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 = "https://doi.org/10.1145/1005285.1005299",
bibdate = "Tue Oct 18 06:14:39 2005",
bibsource = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://doi.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/;
https://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,
\ldots{}). 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, \ldots{}. 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 = "https://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 = "https://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 = "????",
}
@Book{Beebe:2017:MFC,
author = "Nelson H. F. Beebe",
title = "The Mathematical-Function Computation Handbook:
Programming Using the {MathCW} Portable Software
Library",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xxxvi + 1114",
year = "2017",
DOI = "https://doi.org/10.1007/978-3-319-64110-2",
ISBN = "3-319-64109-3 (hardcover), 3-319-64110-7 (e-book)",
ISBN-13 = "978-3-319-64109-6 (hardcover), 978-3-319-64110-2
(e-book)",
LCCN = "QA75.5-76.95",
bibdate = "Sat Jul 15 19:34:43 MDT 2017",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/b/beebe-nelson-h-f.bib;
https://www.math.utah.edu/pub/tex/bib/axiom.bib;
https://www.math.utah.edu/pub/tex/bib/cryptography2010.bib;
https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
https://www.math.utah.edu/pub/tex/bib/fparith.bib;
https://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
https://www.math.utah.edu/pub/tex/bib/master.bib;
https://www.math.utah.edu/pub/tex/bib/mathematica.bib;
https://www.math.utah.edu/pub/tex/bib/matlab.bib;
https://www.math.utah.edu/pub/tex/bib/mupad.bib;
https://www.math.utah.edu/pub/tex/bib/numana2010.bib;
https://www.math.utah.edu/pub/tex/bib/prng.bib;
https://www.math.utah.edu/pub/tex/bib/redbooks.bib;
https://www.math.utah.edu/pub/tex/bib/utah-math-dept-books.bib",
URL = "http://www.springer.com/us/book/9783319641096",
acknowledgement = ack-nhfb,
ORCID-numbers = "Beebe, Nelson H. F./0000-0001-7281-4263",
tableofcontents = "List of figures / xxv \\
List of tables / xxxi \\
Quick start / xxxv \\
1: Introduction / 1 \\
1.1: Programming conventions / 2 \\
1.2: Naming conventions / 4 \\
1.3: Library contributions and coverage / 5 \\
1.4: Summary / 6 \\
2: Iterative solutions and other tools / 7 \\
2.1: Polynomials and Taylor series / 7 \\
2.2: First-order Taylor series approximation / 8 \\
2.3: Second-order Taylor series approximation / 9 \\
2.4: Another second-order Taylor series approximation /
9 \\
2.5: Convergence of second-order methods / 10 \\
2.6: Taylor series for elementary functions / 10 \\
2.7: Continued fractions / 12 \\
2.8: Summation of continued fractions / 17 \\
2.9: Asymptotic expansions / 19 \\
2.10: Series inversion / 20 \\
2.11: Summary / 22 \\
3: Polynomial approximations / 23 \\
3.1: Computation of odd series / 23 \\
3.2: Computation of even series / 25 \\
3.3: Computation of general series / 25 \\
3.4: Limitations of Cody\slash Waite polynomials / 28
\\
3.5: Polynomial fits with Maple / 32 \\
3.6: Polynomial fits with Mathematica / 33 \\
3.7: Exact polynomial coefficients / 42 \\
3.8: Cody\slash Waite rational polynomials / 43 \\
3.9: Chebyshev polynomial economization / 43 \\
3.10: Evaluating Chebyshev polynomials / 48 \\
3.11: Error compensation in Chebyshev fits / 50 \\
3.12: Improving Chebyshev fits / 51 \\
3.13: Chebyshev fits in rational form / 52 \\
3.14: Chebyshev fits with Mathematica / 56 \\
3.15: Chebyshev fits for function representation / 57
\\
3.16: Extending the library / 57 \\
3.17: Summary and further reading / 58 \\
4: Implementation issues / 61 \\
4.1: Error magnification / 61 \\
4.2: Machine representation and machine epsilon / 62
\\
4.3: IEEE 754 arithmetic / 63 \\
4.4: Evaluation order in C / 64 \\
4.5: The {\tt volatile} type qualifier / 65 \\
4.6: Rounding in floating-point arithmetic / 66 \\
4.7: Signed zero / 69 \\
4.8: Floating-point zero divide / 70 \\
4.9: Floating-point overflow / 71 \\
4.10: Integer overflow / 72 \\
4.11: Floating-point underflow / 77 \\
4.12: Subnormal numbers / 78 \\
4.13: Floating-point inexact operation / 79 \\
4.14: Floating-point invalid operation / 79 \\
4.15: Remarks on NaN tests / 80 \\
4.16: Ulps --- units in the last place / 81 \\
4.17: Fused multiply-add / 85 \\
4.18: Fused multiply-add and polynomials / 88 \\
4.19: Significance loss / 89 \\
4.20: Error handling and reporting / 89 \\
4.21: Interpreting error codes / 93 \\
4.22: C99 changes to error reporting / 94 \\
4.23: Error reporting with threads / 95 \\
4.24: Comments on error reporting / 95 \\
4.25: Testing function implementations / 96 \\
4.26: Extended data types on Hewlett--Packard HP-UX
IA-64 / 100 \\
4.27: Extensions for decimal arithmetic / 101 \\
4.28: Further reading / 103 \\
4.29: Summary / 104 \\
5: The floating-point environment / 105 \\
5.1: IEEE 754 and programming languages / 105 \\
5.2: IEEE 754 and the mathcw library / 106 \\
5.3: Exceptions and traps / 106 \\
5.4: Access to exception flags and rounding control /
107 \\
5.5: The environment access pragma / 110 \\
5.6: Implementation of exception-flag and
rounding-control access / 110 \\
5.7: Using exception flags: simple cases / 112 \\
5.8: Using rounding control / 115 \\
5.9: Additional exception flag access / 116 \\
5.10: Using exception flags: complex case / 120 \\
5.11: Access to precision control / 123 \\
5.12: Using precision control / 126 \\
5.13: Summary / 127 \\
6: Converting floating-point values to integers / 129
\\
6.1: Integer conversion in programming languages / 129
\\
6.2: Programming issues for conversions to integers /
130 \\
6.3: Hardware out-of-range conversions / 131 \\
6.4: Rounding modes and integer conversions / 132 \\
6.5: Extracting integral and fractional parts / 132 \\
6.6: Truncation functions / 135 \\
6.7: Ceiling and floor functions / 136 \\
6.8: Floating-point rounding functions with fixed
rounding / 137 \\
6.9: Floating-point rounding functions: current
rounding / 138 \\
6.10: Floating-point rounding functions without {\em
inexact\/} exception / 139 \\
6.11: Integer rounding functions with fixed rounding /
140 \\
6.12: Integer rounding functions with current rounding
/ 142 \\
6.13: Remainder / 143 \\
6.14: Why the remainder functions are hard / 144 \\
6.15: Computing {\tt fmod} / 146 \\
6.16: Computing {\tt remainder} / 148 \\
6.17: Computing {\tt remquo} / 150 \\
6.18: Computing one remainder from the other / 152 \\
6.19: Computing the remainder in nonbinary bases / 155
\\
6.20: Summary / 156 \\
7: Random numbers / 157 \\
7.1: Guidelines for random-number software / 157 \\
7.2: Creating generator seeds / 158 \\
7.3: Random floating-point values / 160 \\
7.4: Random integers from floating-point generator /
165 \\
7.5: Random integers from an integer generator / 166
\\
7.6: Random integers in ascending order / 168 \\
7.7: How random numbers are generated / 169 \\
7.8: Removing generator bias / 178 \\
7.9: Improving a poor random number generator / 178 \\
7.10: Why long periods matter / 179 \\
7.11: Inversive congruential generators / 180 \\
7.12: Inversive congruential generators, revisited /
189 \\
7.13: Distributions of random numbers / 189 \\
7.14: Other distributions / 195 \\
7.15: Testing random-number generators / 196 \\
7.16: Applications of random numbers / 202 \\
7.17: The \textsf {mathcw} random number routines / 208
\\
7.18: Summary, advice, and further reading / 214 \\
8: Roots / 215 \\
8.1: Square root / 215 \\
8.2: Hypotenuse and vector norms / 222 \\
8.3: Hypotenuse by iteration / 227 \\
8.4: Reciprocal square root / 233 \\
8.5: Cube root / 237 \\
8.6: Roots in hardware / 240 \\
8.7: Summary / 242 \\
9: Argument reduction / 243 \\
9.1: Simple argument reduction / 243 \\
9.2: Exact argument reduction / 250 \\
9.3: Implementing exact argument reduction / 253 \\
9.4: Testing argument reduction / 265 \\
9.5: Retrospective on argument reduction / 265 \\
10: Exponential and logarithm / 267 \\
10.1: Exponential functions / 267 \\
10.2: Exponential near zero / 273 \\
10.3: Logarithm functions / 282 \\
10.4: Logarithm near one / 290 \\
10.5: Exponential and logarithm in hardware / 292 \\
10.6: Compound interest and annuities / 294 \\
10.7: Summary / 298 \\
11: Trigonometric functions / 299 \\
11.1: Sine and cosine properties / 299 \\
11.2: Tangent properties / 302 \\
11.3: Argument conventions and units / 304 \\
11.4: Computing the cosine and sine / 306 \\
11.5: Computing the tangent / 310 \\
11.6: Trigonometric functions in degrees / 313 \\
11.7: Trigonometric functions in units of $ \pi $ / 315
\\
11.8: Computing the cosine and sine together / 320 \\
11.9: Inverse sine and cosine / 323 \\
11.10: Inverse tangent / 331 \\
11.11: Inverse tangent, take two / 336 \\
11.12: Trigonometric functions in hardware / 338 \\
11.13: Testing trigonometric functions / 339 \\
11.14: Retrospective on trigonometric functions / 340
\\
12: Hyperbolic functions / 341 \\
12.1: Hyperbolic functions / 341 \\
12.2: Improving the hyperbolic functions / 345 \\
12.3: Computing the hyperbolic functions together / 348
\\
12.4: Inverse hyperbolic functions / 348 \\
12.5: Hyperbolic functions in hardware / 350 \\
12.6: Summary / 352 \\
13: Pair-precision arithmetic / 353 \\
13.1: Limitations of pair-precision arithmetic / 354
\\
13.2: Design of the pair-precision software interface /
355 \\
13.3: Pair-precision initialization / 356 \\
13.4: Pair-precision evaluation / 357 \\
13.5: Pair-precision high part / 357 \\
13.6: Pair-precision low part / 357 \\
13.7: Pair-precision copy / 357 \\
13.8: Pair-precision negation / 358 \\
13.9: Pair-precision absolute value / 358 \\
13.10: Pair-precision sum / 358 \\
13.11: Splitting numbers into pair sums / 359 \\
13.12: Premature overflow in splitting / 362 \\
13.13: Pair-precision addition / 365 \\
13.14: Pair-precision subtraction / 367 \\
13.15: Pair-precision comparison / 368 \\
13.16: Pair-precision multiplication / 368 \\
13.17: Pair-precision division / 371 \\
13.18: Pair-precision square root / 373 \\
13.19: Pair-precision cube root / 377 \\
13.20: Accuracy of pair-precision arithmetic / 379 \\
13.21: Pair-precision vector sum / 384 \\
13.22: Exact vector sums / 385 \\
13.23: Pair-precision dot product / 385 \\
13.24: Pair-precision product sum / 386 \\
13.25: Pair-precision decimal arithmetic / 387 \\
13.26: Fused multiply-add with pair precision / 388 \\
13.27: Higher intermediate precision and the FMA / 393
\\
13.28: Fused multiply-add without pair precision / 395
\\
13.29: Fused multiply-add with multiple precision / 401
\\
13.30: Fused multiply-add, Boldo/\penalty
\exhyphenpenalty Melquiond style / 403 \\
13.31: Error correction in fused multiply-add / 406 \\
13.32: Retrospective on pair-precision arithmetic / 407
\\
14: Power function / 411 \\
14.1: Why the power function is hard to compute / 411
\\
14.2: Special cases for the power function / 412 \\
14.3: Integer powers / 414 \\
14.4: Integer powers, revisited / 420 \\
14.5: Outline of the power-function algorithm / 421 \\
14.6: Finding $a$ and $p$ / 423 \\
14.7: Table searching / 424 \\
14.8: Computing $\log_n(g/a)$ / 426 \\
14.9: Accuracy required for $\log_n(g/a)$ / 429 \\
14.10: Exact products / 430 \\
14.11: Computing $w$, $w_1$ and $w_2$ / 433 \\
14.12: Computing $n^{w_2}$ / 437 \\
14.13: The choice of $q$ / 438 \\
14.14: Testing the power function / 438 \\
14.15: Retrospective on the power function / 440 \\
15: Complex arithmetic primitives / 441 \\
15.1: Support macros and type definitions / 442 \\
15.2: Complex absolute value / 443 \\
15.3: Complex addition / 445 \\
15.4: Complex argument / 445 \\
15.5: Complex conjugate / 446 \\
15.6: Complex conjugation symmetry / 446 \\
15.7: Complex conversion / 448 \\
15.8: Complex copy / 448 \\
15.9: Complex division: C99 style / 449 \\
15.10: Complex division: Smith style / 451 \\
15.11: Complex division: Stewart style / 452 \\
15.12: Complex division: Priest style / 453 \\
15.13: Complex division: avoiding subtraction loss /
455 \\
15.14: Complex imaginary part / 456 \\
15.15: Complex multiplication / 456 \\
15.16: Complex multiplication: error analysis / 458 \\
15.17: Complex negation / 459 \\
15.18: Complex projection / 460 \\
15.19: Complex real part / 460 \\
15.20: Complex subtraction / 461 \\
15.21: Complex infinity test / 462 \\
15.22: Complex NaN test / 462 \\
15.23: Summary / 463 \\
16: Quadratic equations / 465 \\
16.1: Solving quadratic equations / 465 \\
16.2: Root sensitivity / 471 \\
16.3: Testing a quadratic-equation solver / 472 \\
16.4: Summary / 474 \\
17: Elementary functions in complex arithmetic / 475
\\
17.1: Research on complex elementary functions / 475
\\
17.2: Principal values / 476 \\
17.3: Branch cuts / 476 \\
17.4: Software problems with negative zeros / 478 \\
17.5: Complex elementary function tree / 479 \\
17.6: Series for complex functions / 479 \\
17.7: Complex square root / 480 \\
17.8: Complex cube root / 485 \\
17.9: Complex exponential / 487 \\
17.10: Complex exponential near zero / 492 \\
17.11: Complex logarithm / 495 \\
17.12: Complex logarithm near one / 497 \\
17.13: Complex power / 500 \\
17.14: Complex trigonometric functions / 502 \\
17.15: Complex inverse trigonometric functions / 504
\\
17.16: Complex hyperbolic functions / 509 \\
17.17: Complex inverse hyperbolic functions / 514 \\
17.18: Summary / 520 \\
18: The Greek functions: gamma, psi, and zeta / 521 \\
18.1: Gamma and log-gamma functions / 521 \\
18.2: The {\tt psi} and {\tt psiln} functions / 536 \\
18.3: Polygamma functions / 547 \\
18.4: Incomplete gamma functions / 560 \\
18.5: A Swiss diversion: Bernoulli and Euler / 568 \\
18.6: An Italian excursion: Fibonacci numbers / 575 \\
18.7: A German gem: the Riemann zeta function / 579 \\
18.8: Further reading / 590 \\
18.9: Summary / 591 \\
19: Error and probability functions / 593 \\
19.1: Error functions / 593 \\
19.2: Scaled complementary error function / 598 \\
19.3: Inverse error functions / 600 \\
19.4: Normal distribution functions and inverses / 610
\\
19.5: Summary / 617 \\
20: Elliptic integral functions / 619 \\
20.1: The arithmetic-geometric mean / 619 \\
20.2: Elliptic integral functions of the first kind /
624 \\
20.3: Elliptic integral functions of the second kind /
627 \\
20.4: Elliptic integral functions of the third kind /
630 \\
20.5: Computing $K(m)$ and $K'(m)$ / 631 \\
20.6: Computing $E(m)$ and $E'(m)$ / 637 \\
20.7: Historical algorithms for elliptic integrals /
643 \\
20.8: Auxiliary functions for elliptic integrals / 645
\\
20.9: Computing the elliptic auxiliary functions / 648
\\
20.10: Historical elliptic functions / 650 \\
20.11: Elliptic functions in software / 652 \\
20.12: Applications of elliptic auxiliary functions /
653 \\
20.13: Elementary functions from elliptic auxiliary
functions / 654 \\
20.14: Computing elementary functions via $R_C(x,y)$ /
655 \\
20.15: Jacobian elliptic functions / 657 \\
20.16: Inverses of Jacobian elliptic functions / 664
\\
20.17: The modulus and the nome / 668 \\
20.18: Jacobian theta functions / 673 \\
20.19: Logarithmic derivatives of the Jacobian theta
functions / 675 \\
20.20: Neville theta functions / 678 \\
20.21: Jacobian Eta, Theta, and Zeta functions / 679
\\
20.22: Weierstrass elliptic functions / 682 \\
20.23: Weierstrass functions by duplication / 689 \\
20.24: Complete elliptic functions, revisited / 690 \\
20.25: Summary / 691 \\
21: Bessel functions / 693 \\
21.1: Cylindrical Bessel functions / 694 \\
21.2: Behavior of $J_n(x)$ and $Y_n(x)$ / 695 \\
21.3: Properties of $J_n(z)$ and $Y_n(z)$ / 697 \\
21.4: Experiments with recurrences for $J_0(x)$ / 705
\\
21.5: Computing $J_0(x)$ and $J_1(x)$ / 707 \\
21.6: Computing $J_n(x)$ / 710 \\
21.7: Computing $Y_0(x)$ and $Y_1(x)$ / 713 \\
21.8: Computing $Y_n(x)$ / 715 \\
21.9: Improving Bessel code near zeros / 716 \\
21.10: Properties of $I_n(z)$ and $K_n(z)$ / 718 \\
21.11: Computing $I_0(x)$ and $I_1(x)$ / 724 \\
21.12: Computing $K_0(x)$ and $K_1(x)$ / 726 \\
21.13: Computing $I_n(x)$ and $K_n(x)$ / 728 \\
21.14: Properties of spherical Bessel functions / 731
\\
21.15: Computing $j_n(x)$ and $y_n(x)$ / 735 \\
21.16: Improving $j_1(x)$ and $y_1(x)$ / 740 \\
21.17: Modified spherical Bessel functions / 743 \\
21.18: Software for Bessel-function sequences / 755 \\
21.19: Retrospective on Bessel functions / 761 \\
22: Testing the library / 763 \\
22.1: Testing {\tt tgamma} and {\tt lgamma} / 765 \\
22.2: Testing {\tt psi} and {\tt psiln} / 768 \\
22.3: Testing {\tt erf} and {\tt erfc} / 768 \\
22.4: Testing cylindrical Bessel functions / 769 \\
22.5: Testing exponent/\penalty \exhyphenpenalty
significand manipulation / 769 \\
22.6: Testing inline assembly code / 769 \\
22.7: Testing with Maple / 770 \\
22.8: Testing floating-point arithmetic / 773 \\
22.9: The Berkeley Elementary Functions Test Suite /
774 \\
22.10: The AT\&T floating-point test package / 775 \\
22.11: The Antwerp test suite / 776 \\
22.12: Summary / 776 \\
23: Pair-precision elementary functions / 777 \\
23.1: Pair-precision integer power / 777 \\
23.2: Pair-precision machine epsilon / 779 \\
23.3: Pair-precision exponential / 780 \\
23.4: Pair-precision logarithm / 787 \\
23.5: Pair-precision logarithm near one / 793 \\
23.6: Pair-precision exponential near zero / 793 \\
23.7: Pair-precision base-$n$ exponentials / 795 \\
23.8: Pair-precision trigonometric functions / 796 \\
23.9: Pair-precision inverse trigonometric functions /
801 \\
23.10: Pair-precision hyperbolic functions / 804 \\
23.11: Pair-precision inverse hyperbolic functions /
808 \\
23.12: Summary / 808 \\
24: Accuracy of the Cody\slash Waite algorithms / 811
\\
25: Improving upon the Cody\slash Waite algorithms /
823 \\
25.1: The Bell Labs libraries / 823 \\
25.2: The {Cephes} library / 823 \\
25.3: The {Sun} libraries / 824 \\
25.4: Mathematical functions on EPIC / 824 \\
25.5: The GNU libraries / 825 \\
25.6: The French libraries / 825 \\
25.7: The NIST effort / 826 \\
25.8: Commercial mathematical libraries / 826 \\
25.9: Mathematical libraries for decimal arithmetic /
826 \\
25.10: Mathematical library research publications / 826
\\
25.11: Books on computing mathematical functions / 827
\\
25.12: Summary / 828 \\
26: Floating-point output / 829 \\
26.1: Output character string design issues / 830 \\
26.2: Exact output conversion / 831 \\
26.3: Hexadecimal floating-point output / 832 \\
26.4: Octal floating-point output / 850 \\
26.5: Binary floating-point output / 851 \\
26.6: Decimal floating-point output / 851 \\
26.7: Accuracy of output conversion / 865 \\
26.8: Output conversion to a general base / 865 \\
26.9: Output conversion of Infinity / 866 \\
26.10: Output conversion of NaN / 866 \\
26.11: Number-to-string conversion / 867 \\
26.12: The {\tt printf} family / 867 \\
26.13: Summary / 878 \\
27: Floating-point input / 879 \\
27.1: Binary floating-point input / 879 \\
27.2: Octal floating-point input / 894 \\
27.3: Hexadecimal floating-point input / 895 \\
27.4: Decimal floating-point input / 895 \\
27.5: Based-number input / 899 \\
27.6: General floating-point input / 900 \\
27.7: The {\tt scanf} family / 901 \\
27.8: Summary / 910 \\
A: Ada interface / 911 \\
A.1: Building the Ada interface / 911 \\
A.2: Programming the Ada interface / 912 \\
A.3: Using the Ada interface / 915 \\
B: C\# interface / 917 \\
B.1: C\# on the CLI virtual machine / 917 \\
B.2: Building the C\# interface / 918 \\
B.3: Programming the C\# interface / 920 \\
B.4: Using the C\# interface / 922 \\
C: C++ interface / 923 \\
C.1: Building the C++ interface / 923 \\
C.2: Programming the C++ interface / 924 \\
C.3: Using the C++ interface / 925 \\
D: Decimal arithmetic / 927 \\
D.1: Why we need decimal floating-point arithmetic /
927 \\
D.2: Decimal floating-point arithmetic design issues /
928 \\
D.3: How decimal and binary arithmetic differ / 931 \\
D.4: Initialization of decimal floating-point storage /
935 \\
D.5: The {\tt <decfloat.h>} header file / 936 \\
D.6: Rounding in decimal arithmetic / 936 \\
D.7: Exact scaling in decimal arithmetic / 937 \\
E: Errata in the Cody\slash Waite book / 939 \\
F: Fortran interface / 941 \\
F.1: Building the Fortran interface / 943 \\
F.2: Programming the Fortran interface / 944 \\
F.3: Using the Fortran interface / 945 \\
H: Historical floating-point architectures / 947 \\
H.1: CDC family / 949 \\
H.2: Cray family / 952 \\
H.3: DEC PDP-10 / 953 \\
H.4: DEC PDP-11 and VAX / 956 \\
H.5: General Electric 600 series / 958 \\
H.6: IBM family / 959 \\
H.7: Lawrence Livermore S-1 Mark IIA / 965 \\
H.8: Unusual floating-point systems / 966 \\
H.9: Historical retrospective / 967 \\
I: Integer arithmetic / 969 \\
I.1: Memory addressing and integers / 971 \\
I.2: Representations of signed integers / 971 \\
I.3: Parity testing / 975 \\
I.4: Sign testing / 975 \\
I.5: Arithmetic exceptions / 975 \\
I.6: Notations for binary numbers / 977 \\
I.7: Summary / 978 \\
J: Java interface / 979 \\
J.1: Building the Java interface / 979 \\
J.2: Programming the Java MathCW class / 980 \\
J.3: Programming the Java C interface / 982 \\
J.4: Using the Java interface / 985 \\
L: Letter notation / 987 \\
P: Pascal interface / 989 \\
P.1: Building the Pascal interface / 989 \\
P.2: Programming the Pascal MathCW module / 990 \\
P.3: Using the Pascal module interface / 993 \\
P.4: Pascal and numeric programming / 994 \\
Bibliography / 995 \\
Author/editor index / 1039 \\
Function and macro index / 1049 \\
Subject index / 1065 \\
Colophon / 1115",
}
@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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://www.math.utah.edu/pub/tex/bib/mupad.bib",
URL = "http://www.mat.uni.torun.pl/konferencje/mathpad_2005.html",
acknowledgement = ack-nhfb,
}
