%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.119",
%%% date = "13 March 2008",
%%% time = "18:07:12 MDT",
%%% filename = "maple-extract.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "05815 18808 80493 752325",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, Maple, symbolic algebra",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This file contains a bibliography of
%%% publications about the Maple symbolic algebra
%%% system. However, it EXCLUDES publications in
%%% the Maple Newsletter, and its successor, the
%%% Maple Technical Newsletter, because those
%%% journals are covered in a companion
%%% bibliography, maple-tech.bib.
%%%
%%% At version 2.119, the year coverage looked
%%% like this:
%%%
%%% 1981 ( 2) 1990 ( 28) 1999 ( 20)
%%% 1982 ( 2) 1991 ( 44) 2000 ( 34)
%%% 1983 ( 8) 1992 ( 64) 2001 ( 34)
%%% 1984 ( 6) 1993 ( 89) 2002 ( 36)
%%% 1985 ( 6) 1994 ( 135) 2003 ( 27)
%%% 1986 ( 7) 1995 ( 100) 2004 ( 17)
%%% 1987 ( 6) 1996 ( 74) 2005 ( 14)
%%% 1988 ( 14) 1997 ( 56) 2006 ( 6)
%%% 1989 ( 20) 1998 ( 36) 2007 ( 1)
%%%
%%% Article: 298
%%% Book: 308
%%% InBook: 1
%%% InCollection: 23
%%% InProceedings: 149
%%% MastersThesis: 8
%%% Misc: 4
%%% Periodical: 1
%%% PhdThesis: 2
%%% Proceedings: 62
%%% TechReport: 30
%%%
%%% Total entries: 886
%%%
%%% Further information about Maple and other
%%% products of Waterloo Maple Software can be
%%% found on the World-Wide Web at URL
%%% http://www.maplesoft.com/.
%%%
%%% Missing data is identified by question marks
%%% in strings; the author will be grateful to
%%% readers who can provide corrections.
%%%
%%% This bibliography is sorted by year, and
%%% within each year, by author and title key,
%%% using ``bibsort -byyear''. Cross-referenced
%%% proceedings entries appear at the end,
%%% because of a restriction in the current
%%% BibTeX.
%%%
%%% A search of MathSciNet in mid-December 1995
%%% turned up 258 bibliographic references to
%%% Maple. After laborious manual conversion
%%% to BibTeX form, correction of errors,
%%% addition of missing data, elimination of
%%% authors named Maple, and elimination of
%%% entries already present in this file, this
%%% work resulted in the addition of 139 new
%%% entries, bringing the total number of
%%% entries to 267. Cross-checking of
%%% libraries and publishers turned up another
%%% 25, pushing the total to 292 at version
%%% 2.22. Because the word Maple often does
%%% not occur in the title in these new
%%% entries, I have added a keywords field to
%%% include that information.
%%%
%%% At version 2.26 [05-Feb-1996], a search of
%%% the OCLC Article1st database resulted in
%%% the addition of 40 new references (out
%%% of a total of 632 articles, most about
%%% maple (forests, sugar, syrup, trees, wood,
%%% ...)), and updating of another 9.
%%%
%%% Regrettably, the OCLC database does not
%%% usually record final page numbers of
%%% journal articles, so there are many page
%%% ranges of the form 123--?? in this
%%% bibliography.
%%%
%%% At version 2.31 [12-Apr-1996], searches of
%%% the OCLC ERIC, GEOBASE, MEDLINE,
%%% PapersFirst, and Proceedings databases, and
%%% the Uncover database, produced 79 new
%%% entries.
%%%
%%% At version 2.44 [18-Dec-1996], searches of
%%% the Compendex databases (1970--1996) added
%%% 27 new entries, and updated 18 others.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{"\input bibnames.sty "
# "\input path.sty "
# "\ifx \undefined \circled \def \circled #1{(#1)}\fi"
# "\ifx \cprime \undefined \let \cprime = ' \fi"
# "\ifx \cyr \undefined \let \cyr = \relax \fi"
# "\ifx \k \undefined \let \k = \c
\immediate\write16{Ogonek accent unavailable: replaced by cedilla}\fi "
# "\ifx \mhy \undefined \let \mhy = \relax \fi"
# "\ifx \undefined \reg \def \reg {\circled{R}}\fi"
# "\hyphenation{
Fuchs-stein-er
Griep-en
Kath-ryn
Ker-n-i-ghan
Krom-mes
Lar-ra-bee
Pat-rick
Port-able
Post-Script
Pren-tice
Rich-ard
Richt-er
Ro-bert
Sha-mos
Spring-er
The-o-dore
Uz-ga-lis
}"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-ble = "Brian L. Evans,
211-105 Cory Hall,
University of California,
Berkeley, CA 94720-1770,
e-mail: \path|ble@eecs.berkeley.edu|"}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Institution abbreviations:
@String{inst-WATERLOO = "University of Waterloo"}
@String{inst-WATERLOO-CS = "Computer Science Department, University of
Waterloo"}
@String{inst-WATERLOO-CS:adr = "Waterloo, Ontario, Canada"}
@String{inst-WATERLOO-ICR = "Institute for Computer Research, University
of Waterloo"}
@String{inst-WATERLOO-ICR:adr = "Waterloo, Ontario, Canada"}
@String{inst-WATERLOO-MATH = "Faculty of Mathematics, University of
Waterloo"}
@String{inst-WATERLOO-MATH:adr = "Waterloo, Ontario, Canada"}
@String{inst-WATERLOO:adr = "Waterloo, Ontario, Canada"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-ADV-APPL-PROB = "Adv. Appl. Prob."}
@String{j-AMER-MATH-MONTHLY = "Amer. Math. Monthly"}
@String{j-AMER-STAT = "The American Statistician"}
@String{j-ANN-MATH-ARTIF-INTELL = "Annals of mathematics and artificial
intelligence"}
@String{j-ANN-SCI-MATH-QUEBEC = "Les Annales des sciences math{\'e}matiques
du Qu{\'e}bec"}
@String{j-APPL-ALGEBRA-ENG-COMMUN-COMPUT = "Applicable algebra in engineering,
communication and computing"}
@String{j-APPL-MATH = "Applications of Mathematics"}
@String{j-APPL-MATH-COMP = "Applied Mathematics and Computation"}
@String{j-APPL-MATH-NOTES = "Applied Mathematics Notes"}
@String{j-AUSTRALIAN-J-STAT = "Australian journal of statistics"}
@String{j-AUSTRALIAN-MATH-SOC-GAZ = "Austral. Math. Soc. Gaz."}
@String{j-BEHAV-RES-METH-INSTR-COMP = "Behavior research methods, instruments,
and computers"}
@String{j-BIT = "BIT"}
@String{j-BYTE = "BYTE Magazine"}
@String{j-C-R-MATH-I = "C. R. Acad. Sci. Paris S{\'e}r. I Math."}
@String{j-CEE = "CEE. Chemical engineering education"}
@String{j-CELEST-MECH = "Celestial mechanics"}
@String{j-CLASS-QUANTUM-GRAV = "Class. Quant. Grav."}
@String{j-COED = "CoED"}
@String{j-COLLOQ-MATH = "Colloq. Math."}
@String{j-COMMUN-ALGEBRA = "Communications in Algebra"}
@String{j-COMP-FLUIDS = "Computers and Fluids"}
@String{j-COMP-MATH-APPL = "Computers and Mathematics with
Applications"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-COMP-PHYSICS = "Computers in Physics"}
@String{j-COMP-STRUCTURES = "Computers and structures"}
@String{j-COMPLEX-VARIABLES-THEORY-APPL = "Complex variables, theory and
application"}
@String{j-COMPUT-APPL-ENG-EDUC = "Computer Applications in Engineering
Education"}
@String{j-COMPUT-CHEM = "Computers and Chemistry"}
@String{j-COMPUT-METH-APPL-MECH-ENG = "Computer Methods in Applied Mechanics
and Engineering"}
@String{j-COMPUT-SCI-ENG = "Computing in Science and Engineering"}
@String{j-COMPUTER = "Computer"}
@String{j-CYBERNETICS-SYSTEMS = "Cybernetics and Systems"}
@String{j-DISCRETE-COMPUT-GEOM = "Discrete and Computational Geometry"}
@String{j-DISCRETE-MATH = "Discrete Math."}
@String{j-DOKL-AKAD-NAUK = "Doklady Akademii nauk SSSR"}
@String{j-DUKE-MATH = "Duke Math. J."}
@String{j-DYNAMICS-CONTROL = "Dynamics Control"}
@String{j-ELECTRONICS-WORLD-WIRELESS-WORLD = "Electronics world +
wireless world"}
@String{j-ELECTRONIK = "Elektronik"}
@String{j-ENG-FRACTURE-MECH = "Engineering fracture mechanics"}
@String{j-EXP-MATH = "Experimental mathematics"}
@String{j-GEN-RELATIVITY-GRAV = "General relativity and gravitation"}
@String{j-IEEE-TRANS-AUTOMAT-CONTR = "IEEE Transactions on Automatic Control"}
@String{j-IEEE-TRANS-EDUC = "IEEE transactions on education"}
@String{j-IEEE-TRANS-MAGNETICS = "IEEE Transactions on Magnetics"}
@String{j-IEEE-TRANS-POWER-SYSTEMS = "IEEE Transactions on Power Systems"}
@String{j-IEEE-TRANS-SIG-PROC = "IEEE Transactions on Signal Processing"}
@String{j-IFIP-TRANS-A = "IFIP Transactions. A. Computer Science and
Technology"}
@String{j-IJQC = "International Journal of Quantum Chemistry"}
@String{j-INT-J-BIFURC-CHAOS-APPL-SCI-ENG = "International journal of
bifurcation and chaos in applied sciences
and engineering"}
@String{j-INT-J-MATH-EDU-SCI-TECH = "International journal of
mathematical education in science and technology"}
@String{j-INT-J-MATH-MATH-SCI = "International journal of mathematics and
mathematical sciences"}
@String{j-INT-J-MOD-PHYS-C = "International Journal of Modern
Physics C [Physics and Computers]"}
@String{j-INT-J-ROBOTICS-AUTOMATION = "International Journal of Robotics
and Automation"}
@String{j-INT-J-SYST-SCI = "International Journal of Systems Science"}
@String{j-J-ALGEBRA = "Journal of Algebra"}
@String{j-J-AM-STAT-ASSOC = "Journal of the American Statistical
Association"}
@String{j-J-APPL-ECONOMETRICS = "Journal of Applied Econometrics"}
@String{j-J-COMB-THEORY-A = "Journal of Combinatorial Theory (Series A)"}
@String{j-J-COMP-APPL-MATH = "Journal of Comp. and Appl. Math."}
@String{j-J-COMP-PHYS = "J. Computational Physics"}
@String{j-J-DYN-SYST-MEAS-CONTROL = "Journal of Dynamic Systems, Measurement,
and Control"}
@String{j-J-MATH-PHYS = "J. Math. Phys."}
@String{j-J-PHYS-A = "J. Phys. A"}
@String{j-J-SOUND-VIB = "Journal of Sound and Vibration"}
@String{j-J-SYMBOLIC-COMP = "Journal of Symbolic Computation"}
@String{j-JARATAZA = "Journal A. Revue A. Tijdschrift
A. Zeitschrift A"}
@String{j-LAB-MICROCOMP = "Laboratory microcomputer"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-LINUX-J = "Linux Journal"}
@String{j-MACUSER = "MacUser"}
@String{j-MACWORLD = "Macworld"}
@String{j-MANUSCR-MATH = "Manuscripta Mathematica"}
@String{j-MAT-CONTEMP = "Matem{\'a}tica Contempor{\^a}nea"}
@String{j-MATH-COMP-EDU = "Mathematics and computer education"}
@String{j-MATH-COMP-MODELLING = "Mathematical and computer modelling"}
@String{j-MATH-COMP-SIM = "Mathematics and Computers in Simulation"}
@String{j-MATH-COMPUT = "Mathematics of Computation"}
@String{j-MATH-MODEL-NUM-ANA = "Mathematical modelling and numerical
analysis = Modelisation math{\'e}matique et
analyse num{\'e}rique: $M^2AN$"}
@String{j-MATH-MODELS-METHODS-APPL-SCI = "Mathematical models and methods in
applied sciences"}
@String{j-MATH-SEMESTERBER = "Mathematische Semesterberichte"}
@String{j-MATH-TODAY = "Mathematics Today"}
@String{j-MODELLING-MEASUREMENT-CONTROL-B = "Modelling, Measurement \& Control
B: Solid \& Fluid Mechanics \& Thermics,
Mechanical Systems"}
@String{j-NAMS = "Notices Amer. Math. Soc."}
@String{j-NONLINEARITY = "Nonlinearity (Bristol)"}
@String{j-PARALLEL-DIST-COMP-PRACT = "PDCP: Parallel and Distributed Computing
Practices"}
@String{j-PC-MAGAZINE = "PC Magazine"}
@String{j-PROC-ASEE-ANNU-CONF = "American Society for Engineering Education
Annual Conference. Proceedings"}
@String{j-PROC-IEEE-CONF-DECISION-CONTROL = "Proceedings of the IEEE
Conference on Decision and Control"}
@String{j-PROC-LONDON-MATH-SOC = "Proceedings of the London Mathematical
Society. Third Series"}
@String{j-PROC-ROY-SOC-LONDON-SER-A = "Proc. Roy. Soc. London Ser. A"}
@String{j-PROG-SURF-SCI = "Progress in Surface Science"}
@String{j-PROGRAMMIROVANIE = "Programmirovanie"}
@String{j-RES-DEV = "Research \& Development"}
@String{j-RESULTS-MATH = "Results in Mathematics = Resultate der
Mathematik"}
@String{j-SCITECH-J = "SciTech Journal"}
@String{j-SIAM-J-APPL-MATH = "SIAM J. of Applied Math."}
@String{j-SIAM-J-SCI-STAT-COMP = "SIAM J. Scient. Stat. Comput."}
@String{j-SIAM-REVIEW = "SIAM Review"}
@String{j-SIGCSE = "SIGCSE Bulletin (ACM Special Interest Group
on Computer Science Education)"}
@String{j-SIGPLAN = "ACM SIGPLAN Notices"}
@String{j-SIGSAM = "SIGSAM Bulletin (ACM Special
Interest Group on Symbolic and Algebraic
Manipulation)"}
@String{j-SIMON-STEVIN = "Simon Stevin"}
@String{j-SPE = "Soft\-ware\emdash Prac\-tice and Experience"}
@String{j-THEOR-COMP-SCI = "Theoretical Computer Science"}
@String{j-TOG = "ACM Transactions on Graphics"}
@String{j-TOKYO-J-MATH = "Tokyo journal of mathematics"}
@String{j-TOMS = "ACM Transactions on Mathematical Software"}
@String{j-TRANS-AMS = "Trans. Amer. Math. Soc."}
@String{j-WESCON-CONF-REC = "WESCON Conference Record"}
@String{j-ZEIT-ANGE-MATH-PHYS = "Zeitschrift f{\"u}r Angewandte Mathematik
und Physik"}
%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-A-K-PETERS = "A. K. Peters, Ltd."}
@String{pub-A-K-PETERS:adr = "Wellesley, MA, USA"}
@String{pub-ACADEMIC = "Academic Press"}
@String{pub-ACADEMIC:adr = "New York, NY, USA"}
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AMS = "Amer. Math. Soc."}
@String{pub-AMS:adr = "Providence, RI, USA"}
@String{pub-ARTECH = "Artech House Inc."}
@String{pub-ARTECH:adr = "Norwood, MA, USA"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-AW-IBEROAMERICANA = "Ad{\-d}i{\-s}on-Wes{\-l}ey
Iberoamericana"}
@String{pub-AW-IBEROAMERICANA:adr = "Wilmington, DE, USA"}
@String{pub-BALTZER = "J. C. Baltzer AG, Scientific
Publishing Company"}
@String{pub-BALTZER:adr = "Basel, Switzerland"}
@String{pub-BIRKHAUSER = "Birkh{\"{a}}user"}
@String{pub-BIRKHAUSER:adr = "Cambridge, MA, USA; Berlin, Germany; Basel,
Switzerland"}
@String{pub-BIRKHAUSER-BOSTON = "Birkh{\"a}user Boston Inc."}
@String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
@String{pub-BROOKS-COLE = "Brooks\slash Cole"}
@String{pub-BROOKS-COLE:adr = "Pacific Grove, CA, USA"}
@String{pub-CAMBRIDGE = "Cambridge University Press"}
@String{pub-CAMBRIDGE:adr = "Cambridge, UK"}
@String{pub-CHARTWELL-BRATT = "Chartwell-Bratt"}
@String{pub-CHARTWELL-BRATT:adr = "Bromley, Kent, UK"}
@String{pub-CHAPMAN-HALL-CRC = "Chapman and Hall/CRC"}
@String{pub-CHAPMAN-HALL-CRC:adr = "Boca Raton, FL, USA"}
@String{pub-CLARENDON = "Clarendon Press"}
@String{pub-CLARENDON:adr = "New York, NY, USA"}
@String{pub-CRC = "CRC Press"}
@String{pub-CRC:adr = "2000 N.W. Corporate Blvd., Boca Raton,
FL 33431-9868, USA"}
@String{pub-CUP = "Cambridge University Press"}
@String{pub-CUP:adr = "Cambridge, UK"}
@String{pub-DEKKER = "Marcel Dekker, Inc."}
@String{pub-DEKKER:adr = "New York, NY, USA"}
@String{pub-DELMAR-PUB = "Delmar Publishers"}
@String{pub-DELMAR-PUB:adr = "Albany, NY, USA"}
@String{pub-DPUNKT-VERLAG = "dpunkt Verlag"}
@String{pub-DPUNKT-VERLAG:adr = "Ringstra{\ss}e 19, 69115 Heidelberg,
Germany"}
@String{pub-DUNOD = "Dunod"}
@String{pub-DUNOD:adr = "Paris, France"}
@String{pub-ELBI = "ELBI-Verlag GmbH"}
@String{pub-ELBI:adr = "????"}
@String{pub-ELSEVIER-ACADEMIC = "Elsevier Academic Press"}
@String{pub-ELSEVIER-ACADEMIC:adr = "Amsterdam, The Netherlands"}
@String{pub-EYROLLES = "Eyrolles"}
@String{pub-EYROLLES:adr = "Paris, France"}
@String{pub-HARCOURT-ACADEMIC = "Harcourt/Academic Press"}
@String{pub-HARCOURT-ACADEMIC:adr = "San Diego"}
@String{pub-HARPERCOLLINS = "HarperCollins College Publishers"}
@String{pub-HARPERCOLLINS:adr = "New York, NY, USA"}
@String{pub-HEATH = "D. C. Heath and Company"}
@String{pub-HEATH:adr = "Lexington, MA, USA"}
@String{pub-IEE = "IEE"}
@String{pub-IEE:adr = "London, UK"}
@String{pub-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver
Spring, MD 20910, USA"}
@String{pub-INRIA = "INRIA (Institut National de Recherche
en Informatique et en Automatique)"}
@String{pub-INRIA:adr = "Rocquencourt, France"}
@String{pub-ITCP = "International Thomson Computer Press"}
@String{pub-ITCP:adr = "20 Park Plaza Suite 1001, Boston,
MA 02116 USA"}
@String{pub-ITP = "International Thomson Publishing"}
@String{pub-ITP:adr = "Bonn, Germany"}
@String{pub-JW = "John Wiley"}
@String{pub-JW:adr = "New York, NY, USA"}
@String{pub-KENDALL-HUNT = "Kendall/Hunt Publishing Company"}
@String{pub-KENDALL-HUNT:adr = "Dubuque, IA, USA"}
@String{pub-KLUWER = "Kluwer Academic Publishers Group"}
@String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The
Netherlands"}
@String{pub-MAPLESOFT = "Maplesoft"}
@String{pub-MAPLESOFT:adr = "Waterloo, ON, Canada N2L 6C2"}
@String{pub-MASSON = "Masson Editeur"}
@String{pub-MASSON:adr = "Paris, France"}
@String{pub-MCGRAW-HILL = "Mc{\-}Graw-Hill"}
@String{pub-MCGRAW-HILL:adr = "New York, NY, USA"}
@String{pub-NH = "North-Holland Publishing Co."}
@String{pub-NH:adr = "Amsterdam, The Netherlands"}
@String{pub-PEARSON-EDUCATION = "Pearson Education"}
@String{pub-PEARSON-EDUCATION:adr = "Upper Saddle River, NJ, USA"}
@String{pub-PH = "Pren{\-}tice-Hall"}
@String{pub-PH:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-PHC = "Pren{\-}tice-Hall Canada"}
@String{pub-PHC:adr = "Scarborough, Ontario, Canada"}
@String{pub-PRINCETON = "Princeton University Press"}
@String{pub-PRINCETON:adr = "Princeton, NJ, USA"}
@String{pub-PWS = "PWS-Kent Publishing Company, Division
of Wadsworth, Inc."}
@String{pub-PWS:adr = "20 Park Plaza, Boston, MA 02116, USA"}
@String{pub-SAUNDERS = "Saunders College Publishing"}
@String{pub-SAUNDERS:adr = "Ft. Worth, TX, USA"}
@String{pub-SMS-QMWC-UL = "School of Mathematical Sciences, Queen Mary
and Westfield College (University
of London)"}
@String{pub-SMS-QMWC-UL:adr = "Mile End Road, London E1 4NS, England"}
@String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@String{pub-SV-VIENNA = "Spring{\-}er"}
@String{pub-SV-VIENNA:adr = "Vienna, Austria"}
@String{pub-TELOS = "TELOS division of Springer-Verlag"}
@String{pub-TELOS:adr = "Santa Clara, CA, USA and New York, NY, USA"}
@String{pub-VIEWEG = "Friedrich Vieweg und Sohn"}
@String{pub-VIEWEG:adr = "Braunschweig, Germany"}
@String{pub-WADSWORTH = "Wadsworth and Brooks/Cole Publishing
Company"}
@String{pub-WADSWORTH:adr = "Pacific Grove, CA, USA"}
@String{pub-WATCOM = "WATCOM Publications Limited"}
@String{pub-WATCOM:adr = "415 Philip St, Waterloo, Ontario
N2L 3X2, Canada"}
@String{pub-WATERLOO = "University of Waterloo"}
@String{pub-WATERLOO-MAPLE = "Waterloo Maple Publishing"}
@String{pub-WATERLOO-MAPLE-SOFTWARE = "Waterloo Maple Software"}
@String{pub-WATERLOO-MAPLE-SOFTWARE:adr = "Waterloo, Ontario, Canada"}
@String{pub-WATERLOO-MAPLE:adr = "160 Columbia St, Waterloo, Ontario
N2L 3L3, Canada"}
@String{pub-WATERLOO:adr = "Waterloo, Ontario, Canada"}
@String{pub-WCB = "William C. Brown Company Publishers"}
@String{pub-WCB:adr = "Dubuque, IA, USA"}
@String{pub-WILEY = "Wiley"}
@String{pub-WILEY:adr = "New York, NY, USA"}
@String{pub-WORLD-SCI = "World Scientific Publishing
Co. Pte. Ltd."}
@String{pub-WORLD-SCI:adr = "P. O. Box 128, Farrer Road,
Singapore 9128"}
%%% ====================================================================
%%% Series abbreviations:
@String{ser-LNCS = "Lecture Notes in Computer Science"}
%%% ====================================================================
%%% Bibliography entries:
@TechReport{Geddes:1981:MUMa,
author = "Keith O. Geddes and Gaston H. Gonnet and Bruce W.
Char",
title = "{Maple} User's Manual",
number = "CS-81-25",
institution = inst-WATERLOO-CS,
address = inst-WATERLOO-CS:adr,
edition = "Second",
pages = "40",
year = "1981",
bibdate = "Sun Oct 12 11:49:31 1997",
acknowledgement = ack-nhfb,
}
@TechReport{Geddes:1981:MUMb,
author = "Keith O. Geddes and Gaston H. Gonnet and Bruce W.
Char",
title = "{Maple} User's Manual",
number = "CS-82-40",
institution = inst-WATERLOO-CS,
address = inst-WATERLOO-CS:adr,
edition = "Second",
pages = "iv + 95",
year = "1981",
bibdate = "Sun Oct 12 11:49:37 1997",
acknowledgement = ack-nhfb,
}
@InProceedings{Voda:1982:MPL,
author = "P. J. Voda",
title = "Maple: {A} Programming Language and Operating System",
crossref = "ACM:1982:CRN",
pages = "157--168",
year = "1982",
bibdate = "Thu Aug 11 21:58:09 1994",
abstract = "Maple is a statically typed language system, which
very general generic facilities. It incorporates its
own programming environment, and provides parallel
processing with a new method of process
synchronization. The synchronization is the direct
outgrowth of its data abstraction facilities.",
acknowledgement = ack-nhfb,
sjb = "Contains lots of nice features, but hadn't been
implemented at the time of the paper.",
}
@Book{Buchberger:1983:CAS,
author = "B. Buchberger and G. E. Collins and R. Loos and R.
Albrecht",
title = "Computer algebra: symbolic and algebraic computation",
publisher = pub-SV,
address = pub-SV:adr,
edition = "Second",
pages = "vi + 283",
year = "1983",
ISBN = "0-387-81776-X",
LCCN = "QA155.7.E4 C65 1983",
bibdate = "Thu Dec 28 13:48:31 1995",
price = "US\$24.50",
acknowledgement = ack-nhfb,
keywords = "algorithms; measurement; theory",
review = "ACM CR 8408-0605",
subject = "I.1 Computing Methodologies, ALGEBRAIC MANIPULATION,
General",
}
@InProceedings{Char:1983:DMC,
author = "B. W. Char and K. O. Geddes and W. M. Gentleman and G.
H. Gonnet",
title = "The design of {Maple}: a compact, portable and
powerful computer algebra system",
crossref = "vanHulzen:1983:CAE",
pages = "101--115",
year = "1983",
bibdate = "Sat Aug 13 17:01:28 MDT 1994",
acknowledgement = ack-nhfb,
keywords = "languages; theory",
subject = "D.3 Software, PROGRAMMING LANGUAGES, Language
Classifications \\ D.3.4 Software, PROGRAMMING
LANGUAGES, Processors, Code generation",
}
@TechReport{Char:1983:IMS,
author = "Bruce W. Char and Keith O. Geddes and Gaston H.
Gonnet",
title = "An Introduction to {Maple}: Sample Interactive
Session",
number = "CS-83-16",
institution = inst-WATERLOO-MATH,
address = inst-WATERLOO-MATH:adr,
pages = "15",
year = "1983",
bibdate = "Fri Jul 08 08:24:18 1994",
acknowledgement = ack-nhfb,
}
@Article{Char:1983:MSC,
author = "Bruce Char and Keith Geddes and Gaston Gonnet",
title = "The {Maple} symbolic computation system",
journal = j-SIGSAM,
volume = "17",
number = "3--4",
pages = "31--42",
month = aug # "\slash " # nov,
year = "1983",
CODEN = "SIGSBZ",
ISSN = "0163-5824",
bibdate = "Wed Oct 5 08:31:58 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
classcodes = "C4140 (Linear algebra)",
corpsource = "Dept. of Computer Sci., Univ. of Waterloo, Waterloo,
Ont., Canada",
issue = "67/68",
keywords = "algebra; algebraic computation; design; human factors;
interactive systems; languages; Maple; Maple
programming; symbolic computation; user/system
interaction",
subject = "D.4.7 Software, OPERATING SYSTEMS, Organization and
Design, Interactive systems \\ H.1.2 Information
Systems, MODELS AND PRINCIPLES, User/Machine Systems,
Human factors \\ G.1.0 Mathematics of Computing,
NUMERICAL ANALYSIS, General, Computer arithmetic \\
G.1.5 Mathematics of Computing, NUMERICAL ANALYSIS,
Roots of Nonlinear Equations, Systems of equations \\
F.3.3 Theory of Computation, LOGICS AND MEANINGS OF
PROGRAMS, Studies of Program Constructs, Program and
recursion schemes \\ D.3.2 Software, PROGRAMMING
LANGUAGES, Language Classifications, Extensible
languages \\ D.3.3 Software, PROGRAMMING LANGUAGES,
Language Constructs, Data types and structures",
treatment = "T Theoretical or Mathematical",
}
@TechReport{Geddes:1983:MUM,
author = "Keith O. Geddes and Gaston H. Gonnet and Bruce W.
Char",
title = "{MAPLE}: User's Manual",
number = "CS-83-41",
institution = inst-WATERLOO-MATH,
edition = "Third",
pages = "130",
year = "1983",
bibdate = "Fri Jul 08 08:33:42 1994",
acknowledgement = ack-nhfb,
}
@TechReport{Watt:1983:ATM,
author = "Stephen Michael Watt and Keith O. Geddes",
title = "Arrays and Tables in {Maple}. Supplement to the
{Maple} User's Manual",
number = "CS-83-10",
institution = inst-WATERLOO-CS,
address = inst-WATERLOO-CS:adr,
pages = "27",
year = "1983",
bibdate = "Sun Oct 12 11:49:42 1997",
acknowledgement = ack-nhfb,
}
@TechReport{Char:1984:DMC,
author = "Bruce W. Char and others",
title = "The Design of {Maple}: {A} Compact, Portable, and
Powerful Computer Algebra System",
number = "CS-83-06",
institution = inst-WATERLOO-ICR,
address = inst-WATERLOO-ICR:adr,
pages = "13",
year = "1984",
bibdate = "Wed Dec 27 16:39:40 1995",
note = "Work appeared in Computer Algebra proceedings of
Eurocal'83-European computer Algebra Conference,
London, England, March 1983, pp. 101--115,
Springer-Verlag, Berlin, 1983.",
acknowledgement = ack-nhfb,
}
@InProceedings{Char:1984:DPMa,
author = "B. Char and G. Fee and K. O. Geddes and G. H. Gonnet
and M. B. Monagen and S. M. Watt",
title = "On the Design and Performance of the {Maple} System",
crossref = "Golden:1984:PMU",
pages = "199",
year = "1984",
bibdate = "Sat Apr 29 18:01:46 1995",
acknowledgement = ack-nhfb,
}
@TechReport{Char:1984:DPMb,
author = "Bruce W. Char and others",
title = "On the Design and Performance of the {Maple} System",
number = "CS-84-13",
institution = inst-WATERLOO-MATH,
address = inst-WATERLOO-MATH:adr,
pages = "35",
year = "1984",
bibdate = "Wed Dec 27 16:39:42 1995",
acknowledgement = ack-nhfb,
}
@TechReport{Char:1984:IMS,
author = "Bruce W. Char and Keith O. Geddes and Gaston H.
Gonnet",
title = "An Introduction to {Maple}: Sample Interactive
Session",
number = "CS-84-04",
institution = inst-WATERLOO-MATH,
pages = "15",
year = "1984",
bibdate = "Fri Jul 08 08:50:10 1994",
acknowledgement = ack-nhfb,
}
@Article{McGeer:1984:DIB,
author = "Patrick C. McGeer",
title = "A discussion and implementation of {Brown}'s {REX}
simplification algorithm",
journal = j-SIGSAM,
volume = "18",
number = "1",
pages = "10--19",
month = feb,
year = "1984",
CODEN = "SIGSBZ",
ISSN = "0163-5824",
bibdate = "Wed Oct 5 08:31:58 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
classcodes = "C4240 (Programming and algorithm theory)",
corpsource = "Dept. of Electrical Engng. and Computer Sci., Univ. of
California, Berkeley, CA, USA",
issue = "69",
keywords = "Computation System; exponential expressions;
expressions; Maple Symbolic; normal form algorithm;
programming theory; rational; simplification algorithm;
University of Waterloo",
treatment = "T Theoretical or Mathematical",
}
@TechReport{Char:1985:MSI,
author = "Bruce W. Char and Keith O. Geddes and Gaston H.
Gonnet",
title = "{Maple}: {A} Sample Interactive Session",
number = "CS-85-01",
institution = inst-WATERLOO-MATH,
pages = "19",
year = "1985",
bibdate = "Fri Jul 08 08:44:24 1994",
acknowledgement = ack-nhfb,
}
@Book{Char:1985:MUGa,
author = "Bruce W. Char and others",
title = "{Maple} User's Guide: First Leaves, {A} Tutorial
Introduction to {Maple} and {Maple} Reference Manual",
publisher = pub-WATCOM,
address = pub-WATCOM:adr,
edition = "Fourth",
pages = "xiii + 310",
year = "1985",
ISBN = "0-919884-51-2",
LCCN = "QA76.8.M46 M36 1985",
bibdate = "Wed Dec 27 16:39:44 1995",
acknowledgement = ack-nhfb,
}
@Book{Char:1985:MUGb,
author = "Bruce W. Char and others",
title = "{Maple} User's Guide: First Leaves, {A} Tutorial
Introduction to {Maple} and {Maple} Reference Manual",
publisher = pub-WATCOM,
address = pub-WATCOM:adr,
edition = "Fourth",
pages = "xiii + 310",
year = "1985",
ISBN = "0-919884-01-6",
LCCN = "QA155.7.E4 M3 1985",
bibdate = "Wed Dec 27 16:39:45 1995",
acknowledgement = ack-nhfb,
}
@TechReport{Char:1985:TIM,
author = "Bruce W. Char and others",
title = "A Tutorial Introduction to {Maple}",
number = "CS-85-56",
institution = inst-WATERLOO-MATH,
address = inst-WATERLOO-MATH:adr,
pages = "27",
year = "1985",
bibdate = "Wed Dec 27 16:39:47 1995",
acknowledgement = ack-nhfb,
}
@InProceedings{Hui:1985:SCS,
author = "W. H. Hui and G. Tenti",
title = "Symbolic computation of the {Stokes} wave",
crossref = "Pavelle:1985:ACA",
pages = "329--337",
year = "1985",
MRclass = "76B15 (76-04)",
MRnumber = "87d:76032",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@InProceedings{Char:1986:CAU,
author = "B. W. Char and K. O. Geddes and G. H. Gonnet and B. J.
Marshman and P. J. Ponzo",
title = "Computer algebra in the undergraduate mathematics
classroom",
crossref = "Char:1986:PSS",
pages = "135--140",
year = "1986",
bibdate = "Thu Dec 28 10:51:33 1995",
acknowledgement = ack-nhfb,
keywords = "experimentation; human factors; performance",
subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Maple \\ K.3.1 Computing
Milieux, COMPUTERS AND EDUCATION, Computer Uses in
Education, Computer-assisted instruction (CAI) \\ I.1.3
Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Special-purpose algebraic
systems",
}
@Article{Char:1986:TIM,
author = "Bruce W. Char and G. J. Fee and Keith O. Geddes and
Gaston H. Gonnet and Michael B. Monagan",
title = "A Tutorial Introduction to {Maple}",
journal = j-J-SYMBOLIC-COMP,
volume = "2",
number = "2",
pages = "179--200",
month = jun,
year = "1986",
CODEN = "JSYCEH",
ISSN = "0747-7171",
bibdate = "Thu Feb 08 07:18:02 1996",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages",
review = "ACM CR 8705-0409",
subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Maple",
}
@InProceedings{Czapor:1986:IBA,
author = "S. R. Czapor and K. O. Geddes",
title = "On implementing Buchberger's algorithm for Grobner
bases",
crossref = "Char:1986:PSS",
pages = "233--238",
year = "1986",
bibdate = "Thu Dec 28 10:51:27 1995",
acknowledgement = ack-nhfb,
keywords = "algorithms; theory",
subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Maple \\ F.2.1 Theory of
Computation, ANALYSIS OF ALGORITHMS AND PROBLEM
COMPLEXITY, Numerical Algorithms and Problems,
Computations on polynomials",
}
@Article{Devitt:1986:RCF,
author = "J. S. Devitt and R. A. Mollin",
title = "The rational canonical form of a matrix",
journal = j-INT-J-MATH-MATH-SCI,
volume = "9",
number = "2",
pages = "253--260",
year = "1986",
ISSN = "0161-1712",
MRclass = "15-04 (15A21)",
MRnumber = "87f:15001",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "William H. Gustafson",
}
@InProceedings{Leong:1986:IDU,
author = "B. L. Leong",
title = "Iris: design of an user interface program for symbolic
algebra",
crossref = "Char:1986:PSS",
pages = "1--6",
year = "1986",
bibdate = "Thu Dec 28 10:51:46 1995",
acknowledgement = ack-nhfb,
keywords = "design; human factors; theory",
subject = "I.1.2 Computing Methodologies, ALGEBRAIC MANIPULATION,
Algorithms, Algebraic algorithms \\ D.2.2 Software,
SOFTWARE ENGINEERING, Tools and Techniques, User
interfaces \\ I.1.3 Computing Methodologies, ALGEBRAIC
MANIPULATION, Languages and Systems, Maple \\ H.1.2
Information Systems, MODELS AND PRINCIPLES,
User/Machine Systems, Human factors",
}
@Article{Bandyopadhyay:1987:SSI,
author = "S. Bandyopadhyay and J. S. Devitt",
title = "{SIS}: a symbolic information management system",
journal = j-J-SYMBOLIC-COMP,
volume = "4",
number = "3",
pages = "397--408",
month = dec,
year = "1987",
CODEN = "JSYCEH",
ISSN = "0747-7171",
bibdate = "Wed Mar 19 13:51:24 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4250 (Database theory); C6160D (Relational DBMS);
C7310 (Mathematics)",
corpsource = "Sch. of Comput. Sci., Windsor Univ., Ont., Canada",
countrypub = "UK A08",
keywords = "algebraic constraint satisfaction; automatic query
inference systems; computation; database management
systems; database theory; databases; formulae;
management system; Maple algebra system; mathematical;
mathematics computing; query by example; relational;
relational databases; Scientific Information System;
SIS; symbol manipulation; symbolic; symbolic
information",
treatment = "P Practical",
}
@TechReport{Char:1987:MWC,
author = "Bruce W. Char and others",
title = "{Maple} Workbook of Calculus Problems: Preliminary
Version",
number = "CS-87-27",
institution = inst-WATERLOO-MATH,
address = inst-WATERLOO-MATH:adr,
pages = "45",
year = "1987",
bibdate = "Wed Dec 27 16:39:48 1995",
acknowledgement = ack-nhfb,
}
@Article{Cizek:1987:TPA,
author = "J. {\v{C}}i{\v{z}}ek and J. Paldus and U. W. Ramgulam
and F. Vinette",
title = "Two-Point {Pad{\'e}} Approximants in Electrochemical
Kinetic Currents",
journal = j-PROG-SURF-SCI,
volume = "25",
number = "1-4",
pages = "17--39",
year = "1987",
CODEN = "PSSFBP",
ISSN = "0079-6816",
bibdate = "Wed Dec 18 11:34:40 MST 1996",
bibsource = "Compendex database",
abstract = "A unified and simple account of Koutecky's method of
dimensionless parameters for the solution of Il'kovic's
and MacGillavry and Rideal's equations for
polarographic currents of various types is presented
for prototypical examples of diffusion and kinetic
currents with or without the effect of spherical
diffusion. The required power series expansions,
defining a new kind of special functions, are precisely
evaluated using a MAPLE algebraic package and it is
shown that these functions can be efficiently and
accurately represented using two-point Pade
approximants, requiring only a few expansion
coefficients for their determination. A comparison of
Koutecky's approach with that proposed by Levich is
discussed.",
acknowledgement = ack-nhfb,
affiliation = "Univ of Waterloo, Waterloo, Ont, Can",
affiliationaddress = "Univ of Waterloo, Waterloo, Ont, Can",
classification = "702; 801; 921",
journalabr = "Prog Surf Sci",
keywords = "electrochemical kinetic currents; electrochemistry;
electrodes, electrochemical --- Polarographic Analysis;
Maple algebraic package; Mathematical Models; two-point
Pad{\'e} approximants",
}
@Article{Czapor:1987:NMP,
author = "S. R. Czapor and R. G. McLenaghan",
title = "{NP}: a {Maple} package for performing calculations in
the {Newman}\mhy {Penrose} formalism",
journal = j-GEN-RELATIVITY-GRAV,
volume = "19",
number = "6",
pages = "623--635",
year = "1987",
CODEN = "GRGVA8",
ISSN = "0001-7701",
MRclass = "83-04",
MRnumber = "89b:83003",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Article{Fuchssteiner:1987:CAM,
author = "Benno Fuchssteiner and Walter Oevel and Waldemar
Wiwianka",
title = "Computer-algebra methods for investigation of
hereditary operators of higher order soliton
equations",
journal = j-COMP-PHYS-COMM,
volume = "44",
number = "1-2",
pages = "47--55",
year = "1987",
CODEN = "CPHCBZ",
ISSN = "0010-4655",
MRclass = "58F07 (35-04 58-04 58G37)",
MRnumber = "88g:58080",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Periodical{Scott:1987:MTN,
editor = "Tony Scott",
key = "MAPLETECH",
title = "The {Maple} Technical Newsletter",
organization = "Mathematical Institute, University of Oxford",
publisher = pub-BIRKHAUSER,
address = pub-BIRKHAUSER:adr,
year = "1987",
ISSN = "1061-5733",
LCCN = "QA155.7.E4 M365",
bibdate = "Thu Dec 28 11:53:47 1995",
note = "Published twice annually.",
URL = "http://www.birkhauser.com/Journals/MapleTech/SUMMARY.HTM",
acknowledgement = ack-nhfb,
}
@Article{denBergh:1988:OMP,
author = "N. Van den Bergh",
title = "{ORTHOFRAME}: a {{MAPLE}} package for performing
calculations in the orthonormal tetrad formalism",
journal = j-CLASS-QUANTUM-GRAV,
volume = "5",
number = "10",
pages = "L169--L179",
year = "1988",
CODEN = "CQGRDG",
ISSN = "0264-9381",
MRclass = "83-08 (83C55)",
MRnumber = "89j:83002",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "W. B. Bonnor",
}
@Article{Bremner:1988:TPU,
author = "Murray R. Bremner",
title = "Tensor products of unitarizable representations of the
{Virasoro} algebra with central charge ${1\over 2}$",
journal = j-COMMUN-ALGEBRA,
volume = "16",
number = "7",
pages = "1513--1523",
year = "1988",
CODEN = "COALDM",
ISSN = "0092-7872",
MRclass = "17B65 (17B10)",
MRnumber = "90e:17027",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "H. Boseck",
}
@Book{Char:1988:FLT,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
title = "First Leaves: {A} Tutorial Introduction to {Maple},
Revised for {Maple} Version 4.2",
publisher = pub-WATCOM,
address = pub-WATCOM:adr,
pages = "iii + 115",
year = "1988",
ISBN = "0-921329-22-9",
LCCN = "????",
bibdate = "Sun Jul 10 01:05:10 1994",
acknowledgement = ack-nhfb,
}
@Book{Char:1988:MRM,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
title = "{Maple} Reference Manual",
publisher = pub-WATCOM,
address = pub-WATCOM:adr,
edition = "Fifth",
pages = "xxvi + 403",
year = "1988",
ISBN = "0-921329-15-6",
LCCN = "????",
bibdate = "Sun Jul 10 01:05:12 1994",
acknowledgement = ack-nhfb,
}
@Article{Cushman:1988:CNF,
author = "Richard Cushman and Jan A. Sanders",
title = "The constrained normal form algorithm",
journal = j-CELEST-MECH,
volume = "45",
number = "1-3",
pages = "181--187",
year = "1988--1989",
CODEN = "CLMCAV",
ISSN = "0008-8714",
MRclass = "58F05 (58-04 58F30 70F05)",
MRnumber = "90i:58046",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Book{Davenport:1988:CA,
author = "J. H. Davenport and Y. Siret and E. Tournier",
title = "Computer Algebra: Systems and Algorithms for Algebraic
Computation",
publisher = pub-ACADEMIC,
address = pub-ACADEMIC:adr,
pages = "xix + 267",
year = "1988",
ISBN = "0-12-204230-1",
LCCN = "QA155.7.E4 D38 1988",
bibdate = "Fri Dec 29 18:14:51 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib",
notes = "{\footnotesize Dies ist die englische Ausgabe des
urspr{\"u}nglich bei Masson 1987 erschienen Buches {\em
Calcul Formel}. Es ist die erste Monographie {\"u}ber
Computeralgebra. Es wird in etwa die Theorie behandelt,
die heute in den gr{\"o}{\ss}eren Systemen wie MACSYMA,
MAPLE, REDUCE oder SCRATCHPAD II realisiert ist. Das
erste Kapitel ist der Diskussion verschiedener \CA\
Systeme mit Beispielen gewidmet. Die wichtige Frage der
Repr{\"a}sentation der mathematischen Objekte auf einem
Computer ist das Thema des zweiten Kapitels. Der
Algorithmus von Buchberger, zylindrische Dekomposition,
Berechnung von gr{\"o}{\ss}ten gemeinsamen Teilern,
p-adische Methoden und Faktorisierung,
Differentialgleichungen und Stammfunktionen sind die
wichtigsten behandelten Gegenst{\"a}nde des Buches, das
mit einer ausf{\"u}hrlichen Bibliographie und einer
Beschreibung von REDUCE im Anhang endet. \hfill J.
Grabmeier}",
}
@Article{David:1988:VCC,
author = "Carl W. David",
title = "Variational Calculations on a Correlated Helium Wave
Function Using {Maple}",
journal = j-COMPUT-CHEM,
volume = "12",
number = "3",
pages = "229--231",
year = "1988",
CODEN = "COCHDK",
ISSN = "0097-8485",
bibdate = "Wed Dec 18 11:34:40 MST 1996",
bibsource = "Compendex database",
abstract = "With the introduction of symbolic computational
methodology, it becomes reasonable to attempt nonlinear
variational computations on helium wave functions of
higher complexity than have been attempted in the past.
We have employed that algorithm in a symbolic rather
than a numerical setting using MAPLE a relatively new
symbolic mathematical processor which has been
implemented on both VAX and IBM systems. The first
result of this program's execution was an expression
for `energy' of the form energy ( sigma, b). This
energy was then minimized. Although MAPLE can integrate
many functions, it can not integrate all functions.
Specifically, MAPLE was unable to handle wave functions
which contained logarithmic (Fock type) terms.",
acknowledgement = ack-nhfb,
affiliation = "Univ of Connecticut, Storrs, CT, USA",
affiliationaddress = "Univ of Connecticut, Storrs, CT, USA",
classification = "723; 804; 921",
journalabr = "Comput Chem",
keywords = "Calculations; computer programming --- Algorithms;
correlated helium wave function; energy minimization;
helium; Maple language; mathematical processor;
mathematical techniques --- Variational Techniques",
}
@InProceedings{Fuchssteiner:1988:CAD,
author = "Benno Fuchssteiner and Uwe Falck",
title = "Computer algorithms for the detection of completely
integrable quantum spin chains",
crossref = "Levi:1988:SNP",
pages = "22--50",
year = "1988",
MRclass = "82B23 (82-04 82B10)",
MRnumber = "92c:82031",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@TechReport{Geddes:1988:MCW,
author = "Keith O. Geddes and Bruce W. Char and others",
title = "{Maple}: Calculus Workbook Problems and Solutions",
institution = inst-WATERLOO-MATH,
pages = "xxiii + 211",
year = "1988",
bibdate = "Wed Dec 27 16:39:49 1995",
acknowledgement = ack-nhfb,
}
@Article{Gonnet:1988:EMA,
author = "Gaston H. Gonnet",
title = "Examples of {Maple} applied to problems from the
{American Mathematical Monthly}",
journal = j-SIGSAM,
volume = "22",
number = "2",
pages = "8--16",
month = apr,
year = "1988",
CODEN = "SIGSBZ",
ISSN = "0163-5824",
bibdate = "Sat Aug 13 17:01:28 MDT 1994",
acknowledgement = ack-nhfb,
keywords = "algorithms; theory",
subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Maple",
}
@Article{Letniowski:1988:IAQ,
author = "F. W. Letniowski and R. G. McLenaghan",
title = "An improved algorithm for quartic equation
classification and {Petrov} classification",
journal = j-GEN-RELATIVITY-GRAV,
volume = "20",
number = "5",
pages = "463--483",
year = "1988",
CODEN = "GRGVA8",
ISSN = "0001-7701",
MRclass = "83C20 (83-04 83-08)",
MRnumber = "89f:83042",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "A. H. Taub",
}
@Book{SymbolicComputation:1988:MV,
author = "Symbolic Computation and Group Sta???",
title = "{Maple}, Version 4.2",
publisher = pub-BROOKS-COLE,
address = pub-BROOKS-COLE:adr,
year = "1988",
ISBN = "0-534-10218-2",
LCCN = "????",
bibdate = "Mon Aug 22 14:13:19 1994",
price = "US\$350.00",
acknowledgement = ack-nhfb,
keywords = "languages",
subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
Languages and Systems, Maple",
}
@Article{Vinette:1988:PEE,
author = "F. Vinette and J. {\v{C}}\'\i{\v{z}}ek",
title = "Perturbation energy expansion using hypervirial
theorem and symbolic computation for the
${N}$-dimensional hydrogen atom in an external
spherically symmetric field",
journal = j-COMP-PHYS-COMM,
volume = "52",
number = "1",
pages = "35--41",
year = "1988",
CODEN = "CPHCBZ",
ISSN = "0010-4655",
MRclass = "81G45 (81-04)",
MRnumber = "89j:81279",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Book{Akritas:1989:ECA,
author = "Alkiviadis G. Akritas",
title = "Elements of computer algebra with applications",
publisher = pub-WILEY,
address = pub-WILEY:adr,
pages = "xvi + 425",
year = "1989",
ISBN = "0-471-61163-8",
LCCN = "QA155.7.E4A37 1989",
MRclass = "68Q40 (00A35 68-01 94A60 94B05)",
MRnumber = "91k:68099",
bibdate = "Thu Dec 28 10:25:43 1995",
series = "A Wiley-Interscience Publication",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Eric Bach",
}
@InProceedings{Benson:1989:ACT,
author = "Max Environments. Benson",
title = "An algebraic computing technique",
crossref = "Tangora:1989:CGT",
pages = "63--77",
year = "1989",
MRclass = "68Q40",
MRnumber = "90g:68072",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Guang Kun Hou",
}
@Book{Char:1989:FLM,
author = "Bruce W. Char and others",
title = "First Leaves for the Macintosh: {A} Tutorial
Introduction to {Maple}",
publisher = pub-BROOKS-COLE,
address = pub-BROOKS-COLE:adr,
pages = "xv + 140",
year = "1989",
ISBN = "0-534-10222-0",
LCCN = "QA155.7.E4 F57 1989",
bibdate = "Wed Dec 27 16:39:51 1995",
acknowledgement = ack-nhfb,
}
@Book{Char:1989:FLT,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
title = "First Leaves: {A} Tutorial Introduction to {Maple}",
publisher = pub-WATCOM,
address = pub-WATCOM:adr,
edition = "Third",
pages = "122",
year = "1989",
ISBN = "0-921329-68-7",
LCCN = "????",
bibdate = "Fri Jul 08 07:59:44 1994",
acknowledgement = ack-nhfb,
}
@Article{Debever:1989:DEM,
author = "R. Debever and N. Van den Bergh and J. Leroy",
title = "Diverging {Einstein-Maxwell} null fields of {Petrov}
type ${D}$",
journal = j-CLASS-QUANTUM-GRAV,
volume = "6",
number = "10",
pages = "1373--1378",
year = "1989",
CODEN = "CQGRDG",
ISSN = "0264-9381",
MRclass = "83C20 (83-04 83C50)",
MRnumber = "90h:83028",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "J. B. Griffiths",
}
@Article{Dudley:1989:CAD,
author = "M. L. Dudley and R. W. James",
title = "Computer-aided derivation of spherical harmonic
spectral equations in astro-geophysics",
journal = j-J-SYMBOLIC-COMP,
volume = "8",
number = "4",
pages = "423--427",
month = oct,
year = "1989",
CODEN = "JSYCEH",
ISSN = "0747-7171",
MRclass = "86-08 (85-08 85A15 85A20 86A25)",
MRnumber = "90j:86001",
bibdate = "Sat May 10 15:54:09 MDT 1997",
bibsource = "Theory/reduce.bib",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Appl. Math., Sydney Univ., NSW, Australia",
classcodes = "C7310 (Mathematics); C7350 (Astronomy and
astrophysics); C7340 (Geophysics)",
classification = "C7310 (Mathematics); C7340 (Geophysics); C7350
(Astronomy and astrophysics)",
corpsource = "Dept. of Appl. Math., Sydney Univ., NSW, Australia",
keywords = "Astro-geophysics; astro-geophysics; astrophysics
computing; Computer algebra programs; computer algebra
programs; Computer-aided derivation; computer-aided
derivation; computing; differential equations; Earth
core; equations; geophysics computing; MACSYMA;
Magnetic induction equation; magnetic induction
equation; MAPLE; Mathematical physics; mathematical
physics; Mathematical problems; mathematical problems;
mathematics; Modelling magnetohydrodynamic
interactions; modelling magnetohydrodynamic
interactions; Numerical solution; numerical solution;
partial; Partial differential equations; REDUCE;
Spectral analysis; spectral analysis; spectral
equations; spherical harmonic; Spherical harmonic
spectral equations; Stellar atmospheres; stellar
atmospheres; Stellar interiors; stellar interiors;
vector; Vector equations",
thesaurus = "Astrophysics computing; Geophysics computing;
Mathematics computing; Spectral analysis",
treatment = "P Practical; T Theoretical or Mathematical",
}
@Book{Ellis:1989:MCS,
author = "Wade {Ellis, Jr.} and Ed Lodi",
title = "{Maple} for the Calculus Student: {A} Tutorial",
publisher = pub-BROOKS-COLE,
address = pub-BROOKS-COLE:adr,
pages = "vii + 67",
year = "1989",
ISBN = "0-534-11874-7",
LCCN = "QA155.7.E4 E44 1989",
bibdate = "Mon Aug 22 14:13:22 1994",
acknowledgement = ack-nhfb,
}
@Article{Fateman:1989:SDS,
author = "R. J. Fateman and C. G. Ponder",
title = "Speed and data structures in computer algebra
systems",
journal = j-SIGSAM,
volume = "23",
number = "2",
pages = "8--11",
month = apr,
year = "1989",
CODEN = "SIGSBZ",
ISSN = "0163-5824",
bibdate = "Fri Feb 8 18:27:00 MST 2002",
bibsource = "http://portal.acm.org/",
abstract = "Comparing the speed of computation in algebra systems
is a perennial occupation of system designers and
algorithm implementors. However, for many problems, the
choice of a system makes much less difference that the
approach used to represent the problem. The mapping
from mathematics to a data representation and the
choice of algorithms can make significant, and
separate, contributions to efficiency. Systems which
have the flexibility to provide several data structures
and algorithms can provide an advantage in this
respect. Macsyma is probably the system with the
largest selection. On the other hand, Macsyma has not
taken advantage of recent advances such as the
extensive use of hash-coding incorporated in the
University of Waterloo's Maple system. For the one
somewhat artificial benchmark discussed, it appears
that the Maple system does considerably better than any
representation in Macsyma by precisely this
mechanism.",
acknowledgement = ack-nhfb,
affiliation = "Div. of Comput. Sci., California Univ., Berkeley, CA,
USA",
classcodes = "C7310 (Mathematics); C6130 (Data handling techniques);
C6120 (File organisation)",
classification = "C6120 (File organisation); C6130 (Data handling
techniques); C7310 (Mathematics)",
corpsource = "Div. of Comput. Sci., California Univ., Berkeley, CA,
USA",
issue = "88",
keywords = "algebra; algorithm implementors; Algorithm
implementors; algorithms; benchmark; Benchmark;
computation speed; Computation speed; computer algebra
systems; Computer algebra systems; data; Data
representation; data structures; Data structures;
design; designers; hash-coding; Hash-coding; Macsyma;
Maple; Maple system; mathematics; Mathematics;
mathematics computing; performance; representation;
selection; software; symbol manipulation; system;
System designers",
subject = "I.3.1 Computing Methodologies, COMPUTER GRAPHICS,
Hardware architecture, Raster display devices \\ C.4
Computer Systems Organization, PERFORMANCE OF SYSTEMS
\\ E.1 Data, DATA STRUCTURES",
thesaurus = "Algebra; Data structures; Mathematics computing;
Software selection; Symbol manipulation",
treatment = "P Practical",
}
@InProceedings{Faugeras:1989:MPM,
author = "Olivier D. Faugeras and Steve Maybank",
title = "Motion from point matches: multiplicity of solutions",
crossref = "IEEE:1989:PAM",
pages = "248--255",
year = "1989",
bibdate = "Wed Dec 18 11:34:40 MST 1996",
bibsource = "Compendex database",
abstract = "The authors study the multiplicity of solutions of the
motion problem. Given n point matches between two
frames, an effort is made to determine the number of
solution to the motion problem. It is shown that the
maximum number of solutions is ten when five-point
matches are available. Two approaches are used. The
first attempts to recover the motion parameters by
studying the essential matrix. A natural extension of
this is to use algebraic geometry to characterize the
set of possible essential matrixes. The authors present
some results based on this approach. The second one,
based on projective geometry, dates from the previous
century. The authors show that the two approaches are
compatible and yield the same result. They then
describe a computer implementation of the second
approach that uses MAPLE, a language for symbolic
computation. The program allows the exact computation
of the solutions for any configuration of five
points.",
acknowledgement = ack-nhfb,
affiliation = "INRIA, Le Chesnay, Fr",
classification = "723; 921",
keywords = "Algebraic Geometry; Computer Programming Languages;
Image Analysis; Image Motion Analysis; Image
Processing; Maple Programming Language; Mathematical
Techniques--Geometry; Projective Geometry; Symbolic
Computation",
}
@Article{Fitt:1989:SCH,
author = "A. D. Fitt",
title = "Symbolic computation of hyperbolicity regions for
systems of two-phase flow conservation laws using
{MAPLE}",
journal = j-J-SYMBOLIC-COMP,
volume = "8",
number = "3",
pages = "305--308",
year = "1989",
CODEN = "JSYCEH",
ISSN = "0747-7171",
MRclass = "65-04",
MRnumber = "015 653",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Book{Geddes:1989:MCW,
author = "Keith O. Geddes and B. J. Marshman and I. McGee and P.
J. Ponzo and Bruce W. Char",
title = "{Maple} Calculus Workbook: Problems and Solutions",
publisher = pub-WATERLOO,
address = pub-WATERLOO:adr,
pages = "????",
year = "1989",
ISBN = "????",
LCCN = "????",
bibdate = "Wed Aug 30 09:27:36 1995",
note = "No longer in print.",
acknowledgement = ack-nhfb,
}
@Book{Gerald:1989:ANA,
author = "Curtis F. Gerald and Patrick O. Wheatley",
title = "Applied numerical analysis",
publisher = pub-AW,
address = pub-AW:adr,
edition = "Fourth",
pages = "xi + 679 + 36 + 7",
year = "1989",
ISBN = "0-201-11583-2",
LCCN = "QA297 .G47 1989",
bibdate = "Sat Mar 9 08:21:34 MST 1996",
acknowledgement = ack-nhfb,
keywords = "numerical analysis",
}
@Article{Grotendorst:1989:MPC,
author = "J. Grotendorst",
title = "{MAPLE} programs for converting series expansions to
rational functions using the {Levin} transformation.
Automatic generation of {FORTRAN} functions for
numerical applications",
journal = j-COMP-PHYS-COMM,
volume = "55",
number = "3",
pages = "325--??",
day = "1",
month = oct,
year = "1989",
CODEN = "CPHCBZ",
ISSN = "0010-4655",
bibdate = "Fri Apr 12 10:04:56 1996",
acknowledgement = ack-nhfb,
}
@Article{Hsu:1989:CSO,
author = "L. Hsu and N. Kamran",
title = "Classification of second-order ordinary differential
equations admitting {Lie} groups of fibre-preserving
point symmetries",
journal = j-PROC-LONDON-MATH-SOC,
volume = "58",
number = "2",
pages = "387--416",
year = "1989",
CODEN = "PLMTAL",
ISSN = "0024-6115",
MRclass = "58H05 (22E05 34A34 58F35)",
MRnumber = "89k:58312",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "D. H. Sattinger",
}
@Article{Mathews:1989:UCA,
author = "J. H. Mathews",
title = "Using a computer algebra system to teach second order
differential equations",
journal = j-COED,
volume = "9",
number = "4",
pages = "7--10",
month = oct # "-" # dec,
year = "1989",
CODEN = "CWLJDP",
ISSN = "0736-8607",
bibdate = "Mon Sep 30 05:46:56 MDT 1996",
abstract = "Computer algebra systems such as MACSYMA, MAPLE,
Mathematica and muMATH are designed to perform calculus
manipulations. The author shows how to use a computer
algebra system to assist with finding solutions to
second order differential equations found in
engineering mathematics. Teachers and students alike
are astounded how faithfully symbol manipulation
programs simulate the mathematical techniques applied
to engineering. The product muMath is illustrated
because of its widespread availability. It runs on IBM
compatible personal computers using the MS-DOS
operating system.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., California State Univ., Fullerton, CA,
USA",
classification = "C4170 (Differential equations); C7310 (Mathematics);
C7400 (Engineering); C7810C (Computer-aided
instruction)",
keywords = "Calculus manipulations; Computer algebra system;
Engineering mathematics; IBM compatible personal
computers; MACSYMA; MAPLE; Mathematica; Mathematical
techniques; MS-DOS operating system; MuMATH; Second
order differential equations; Students; Symbol
manipulation programs",
thesaurus = "Differential equations; Educational computing;
Engineering computing; IBM computers; Microcomputer
applications; Software packages; Symbol manipulation;
Teaching",
}
@TechReport{Salvy:1989:EAA,
author = "B. Salvy",
title = "Examples of automatic asymptotic expansions",
number = "114",
institution = "Inst. Nat. Recherche Inf. Autom.",
address = "Le Chesnay, France",
pages = "18",
month = dec,
year = "1989",
bibdate = "Mon Sep 30 05:46:56 MDT 1996",
abstract = "Describes the current state of a Maple library, gdev,
designed to perform asymptotic expansions for a large
class of expressions. Many examples are provided, along
with a short sketch of the underlying principles. A
striking feature of these examples is that none of them
can be computed directly with any of the most
widespread symbolic computation systems (Macsyma,
Mathematica, Maple or Scratchpad II).",
acknowledgement = ack-nhfb,
classification = "C1120 (Analysis); C6130 (Data handling techniques);
C7310 (Mathematics)",
keywords = "Asymptotic expansions; Gdev; Maple library; Symbolic
computation systems",
pubcountry = "France",
thesaurus = "Mathematical analysis; Mathematics computing;
Subroutines; Symbol manipulation",
}
@Article{Sturmfels:1989:CFP,
author = "Bernd Sturmfels",
title = "Computing final polynomials and final syzygies using
{Buchberger}'s {Gr{\"o}bner} bases method",
journal = j-RESULTS-MATH,
volume = "15",
number = "3-4",
pages = "351--360",
year = "1989",
ISSN = "0378-6218",
MRclass = "13F20 (12-04 13-04 14A05)",
MRnumber = "90d:13019",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Liam O'Carroll",
}
@Article{Wils:1989:HCR,
author = "Patrick Wils",
title = "Homogeneous and conformally {Ricci} flat pure
radiation fields",
journal = j-CLASS-QUANTUM-GRAV,
volume = "6",
number = "9",
pages = "1243--1251",
year = "1989",
CODEN = "CQGRDG",
ISSN = "0264-9381",
MRclass = "83C20 (83-04)",
MRnumber = "90h:83035",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "J. B. Griffiths",
}
@Article{Anonymous:1990:MMT,
author = "Anonymous",
title = "{Maple}: \$695 Math toolbox is worthy competitor for
{Mathematica}",
journal = j-PC-MAGAZINE,
pages = "48--49",
day = "27",
month = feb,
year = "1990",
ISSN = "0888-8507",
bibdate = "Sat Apr 6 16:22:44 1996",
acknowledgement = ack-ble,
}
@Book{Auer:1990:MSM,
author = "John W. Auer",
title = "{Maple} Solutions Manual for {Linear Algebra with
Applications}",
publisher = pub-PH,
address = pub-PH:adr,
pages = "vii + 186",
year = "1990",
ISBN = "0-13-535550-8",
LCCN = "????",
bibdate = "Sun Jul 10 01:05:26 1994",
acknowledgement = ack-nhfb,
}
@Book{Borwein:1990:DRN,
author = "Jonathan Borwein and Peter Borwein",
title = "A dictionary of real numbers",
publisher = pub-WADSWORTH,
address = pub-WADSWORTH:adr,
pages = "viii + 424",
year = "1990",
ISBN = "0-534-12840-8",
LCCN = "QA47.B625 1990",
MRclass = "11-00 (11Y60 11Y70)",
MRnumber = "91g:11001",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Jeffrey O. Shallit",
}
@Article{Brak:1990:AAN,
author = "R. Brak and A. J. Guttmann",
title = "Algebraic approximants: a new method of series
analysis",
journal = j-J-PHYS-A,
volume = "23",
number = "24",
pages = "L1331--L1337",
year = "1990",
CODEN = "JPHAC5",
ISSN = "0305-4470",
MRclass = "82B80 (65H99)",
MRnumber = "92c:82065",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Marietta J. Tretter",
}
@Article{Carminati:1990:SFP,
author = "J. Carminati",
title = "Shear-free perfect fluids in general relativity. {II}.
Aligned, {Petrov} type ${\rm III}$ space-times",
journal = j-J-MATH-PHYS,
volume = "31",
number = "10",
pages = "2434--2440",
year = "1990",
CODEN = "JMAPAQ",
ISSN = "0022-2488",
MRclass = "83C55 (83-04)",
MRnumber = "91k:83052",
bibdate = "Fri Jan 02 11:30:22 1998",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "P. C. Vaidya",
}
@Book{Char:1990:FLT,
author = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
and Benton Leong and Michael B. Monagan and Stephen M.
Watt",
title = "First Leaves: {A} Tutorial Introduction to {Maple V}",
publisher = pub-WATERLOO-MAPLE,
address = pub-WATERLOO-MAPLE:adr,
edition = "Third",
pages = "122",
year = "1990",
ISBN = "0-9694580-0-2",
LCCN = "????",
bibdate = "Sun Jul 10 01:05:36 1994",
acknowledgement = ack-nhfb,
}
@Book{Char:1990:MRM,
author = "Bruce W. Char and others",
title = "{MAPLE} Reference Manual",
publisher = pub-WATERLOO-MAPLE,
address = pub-WATERLOO-MAPLE:adr,
edition = "Fifth",
year = "1990",
ISBN = "0-9694580-1-0",
LCCN = "????",
bibdate = "Wed Dec 27 16:39:53 1995",
acknowledgement = ack-nhfb,
}
@InProceedings{Char:1990:PRS,
author = "B. W. Char",
title = "Progress report on a system for general-purpose
parallel symbolic algebraic computation",
crossref = "Watanabe:1990:IPI",
pages = "96--103",
year = "1990",
bibdate = "Thu Mar 12 08:36:58 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/96877/p96-char/",
abstract = "Discusses on-going work on large-grained parallel
symbolic computation using a system based on Maple and
Linda. The prototype runs on a Sequent Balance. The
approach can be used with most existing algebra/symbol
manipulation systems and provides the potential to
deliver of parallel symbolic computation on a variety
of architectures (e.g. shared memory, hypercubes,
networked workstations). Parallel speedup was achieved
on a variety of algebraic problems, although many
significant improvements in efficiency remain to be
achieved.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN,
USA",
classification = "C4240 (Programming and algorithm theory)",
keywords = "Algebraic computation; design; languages;
Large-grained; Linda; Maple; Parallel symbolic
computation; performance; Sequent Balance; Symbol
manipulation systems",
subject = "{\bf I.1.0} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, General. {\bf F.1.2} Theory of
Computation, COMPUTATION BY ABSTRACT DEVICES, Modes of
Computation, Parallelism and concurrency. {\bf I.1.3}
Computing Methodologies, SYMBOLIC AND ALGEBRAIC
MANIPULATION, Languages and Systems, Maple. {\bf D.3.2}
Software, PROGRAMMING LANGUAGES, Language
Classifications, Linda. {\bf D.1.3} Software,
PROGRAMMING TECHNIQUES, Concurrent Programming.",
thesaurus = "Parallel processing; Symbol manipulation",
}
@Article{Char:1990:RAM,
author = "Bruce W. Char",
title = "Report on the 7th annual maple workshop",
journal = j-SIGSAM,
volume = "24",
number = "1",
pages = "18--18",
month = jan,
year = "1990",
CODEN = "SIGSBZ",
ISSN = "0163-5824",
bibdate = "Fri Feb 8 18:27:00 MST 2002",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Cizek:1990:EAF,
author = "J. Cizek and F. Vinette and J. Paldus",
title = "Explicit algebraic form of coupled cluster equations
for the {PPP} model of benzene with an approximate
inclusion of triexcited clusters",
journal = j-IJQC,
volume = "38",
number = "6",
pages = "831--851",
month = dec,
year = "1990",
CODEN = "IJQCB2",
ISSN = "0020-7608",
bibdate = "Mon Sep 30 05:41:47 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Appl. Math., Waterloo Univ., Ont., Canada",
classification = "A3120P (Other semi-empirical calculations (Huckel,
generalized Huckel, PPP methods, etc.)); A3120T
(Electron correlation and CI calculations); A3640
(Atomic and molecular clusters)",
keywords = "Benzene; CI description; Coupled cluster approach;
Coupled cluster equations; Diagrammatic techniques;
Electron correlation; MAPLE; Model Hamiltonians;
Molecular electronic structure; Molecular properties;
Nonorthogonal versions; Orthogonal versions; PPP model;
Quantum mechanical description; Symbolic computation
language; Triexcited clusters; TROFF; Typesetting
language",
thesaurus = "Cluster approximation; Molecular clusters; Molecular
electron correlations; Molecular electronic states;
Organic compounds; PPP calculations",
}
@Article{Corless:1990:SHL,
author = "R. M. Corless and D. J. Jeffrey",
title = "Solution of a hydrodynamic lubrication problem with
{Maple}",
journal = j-J-SYMBOLIC-COMP,
volume = "9",
number = "4",
pages = "503--514 (or 503--513??)",
month = apr,
year = "1990",
CODEN = "JSYCEH",
ISSN = "0747-7171",
bibdate = "Wed Mar 19 13:51:24 MST 1997",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Appl. Math., Univ. of Western Ontario,
London, Ont., Canada",
classcodes = "A4710 (General theory, simulation and other
computational methods); C7320 (Physics and Chemistry);
C6130 (Data handling techniques)",
classification = "A4710 (General theory, simulation and other
computational methods); C6130 (Data handling
techniques); C7320 (Physics and Chemistry)",
corpsource = "Dept. of Appl. Math., Univ. of Western Ontario,
London, Ont., Canada",
keywords = "algebraic; Algebraic manipulations; algebraic
transformations; Algebraic transformations;
approximation; differential equations; hydrodynamic
lubrication problem; Hydrodynamic lubrication problem;
hydrodynamics; lowest-order; Lowest-order
approximation; lubrication; manipulation;
manipulations; Maple; partial; Partial differential
equations; perturbation technique; Perturbation
technique; physics computing; symbol",
thesaurus = "Hydrodynamics; Lubrication; Physics computing; Symbol
manipulation",
treatment = "P Practical; T Theoretical or Mathematical",
}
@InProceedings{Fateman:1990:ATD,
author = "R. J. Fateman",
title = "Advances and trends in the design and construction of
algebraic manipulation systems",
crossref = "Watanabe:1990:IPI",
pages = "60--67",
year = "1990",
bibdate = "Thu Mar 12 08:36:58 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/96877/p60-fateman/",
abstract = "Compares and contrast several techniques for the
implementation of components of an algebraic
manipulation system. On one hand is the mathematical
algebraic approach which characterizes (for example)
IBM's Scratchpad II. On the other hand is the more ad
hoc approach which characterizes many other popular
systems (for example, Macsyma, Reduce, Maple, and
Mathematica). While the algebraic approach has
generally positive results, careful examination
suggests that there are significant remaining problems,
especially in the representation and manipulation of
analytical, as opposed to algebraic mathematics. The
author describes some of these problems, and some
general approaches for solutions.",
acknowledgement = ack-nhfb,
affiliation = "California Univ., Berkeley, CA, USA",
classification = "C4240 (Programming and algorithm theory); C7310
(Mathematics)",
keywords = "Algebraic manipulation systems; Algebraic mathematics;
design; languages; Macsyma; Maple; Mathematica;
Mathematical algebraic; Reduce; Scratchpad II",
subject = "{\bf I.1.0} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, General. {\bf I.1.3} Computing
Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION,
Languages and Systems, MACSYMA.",
thesaurus = "Algebra; Symbol manipulation",
}
@InProceedings{Fee:1990:CCC,
author = "G. J. Fee",
title = "Computation of {Catalan}'s constant using
{Ramanujan}'s formula",
crossref = "Watanabe:1990:IPI",
pages = "157--160",
year = "1990",
bibdate = "Thu Mar 12 08:36:58 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/96877/p157-fee/",
abstract = "The author uses some formulas due to Ramanujan for the
multiple precision computation of Catalan's constant
$C=0.915\ldots{}$. The algorithm has been implemented
in Maple and $C$ has been computed to 20000 decimal
places. The resulting program is very simple yet
efficient. It computes $N$ digits of $C$ in $O(N^2)$
time and $O(N)$ space.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Waterloo Univ., Ont., Canada",
classification = "B0290D (Functional analysis); C4120 (Functional
analysis); C4240 (Programming and algorithm theory)",
keywords = "algorithms; C; Catalan constant; Function evaluation;
languages; Maple; Ramanujan formula",
subject = "{\bf G.2.1} Mathematics of Computing, DISCRETE
MATHEMATICS, Combinatorics. {\bf I.1.3} Computing
Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION,
Languages and Systems, Maple. {\bf D.3.2} Software,
PROGRAMMING LANGUAGES, Language Classifications, C.
{\bf I.1.2} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, Algorithms, Algebraic
algorithms.",
thesaurus = "Computational complexity; Function evaluation",
}
@TechReport{Gomez:1990:MFC,
author = "Claude Gomez",
title = "{MACROFORT}: a {FORTRAN} code generator in {MAPLE} =
{MACROFORT}: un g{\'{e}}n{\'{e}}rateur de code
{FORTRAN} dans {MAPLE}",
type = "Rapports techniques",
number = "119",
institution = pub-INRIA,
address = pub-INRIA:adr,
pages = "14",
year = "1990",
bibdate = "Sat Jan 27 13:40:57 MST 1996",
abstract = "MACROFORT is a package added to MAPLE which permits
complete FORTRAN 77 code generation. While using
MACROFORT, the user stays in MAPLE. He no longer deals
with FORTRAN label numbering. Complicated FORTRAN loops
are easy to do because while and until capabilities
exist in MACROFORT. The generated code can be
optimized. Two examples are given. In the first one,
MAPLE is not able to solve numerically a problem using
its own functions. In the second one, a naturally
recursive problem is easily solved by recursively
generating a FORTRAN program.",
acknowledgement = ack-nhfb,
annote = "Abstracts in English and French. ``Mai 1990''--Cover.
Includes bibliographical references.",
classification = "C6115 (Programming support); C6140D (High level
languages)",
issuedby = "Inst. Nat. Recherche Inf. Autom., Le Chesnay, France",
keywords = "FORTRAN 77 code generation; FORTRAN loops; MACROFORT;
MACROFORT (Computer programming language); MAPLE; MAPLE
(Computer programming language); Recursive problem;
Until; While",
pubcountry = "France",
thesaurus = "FORTRAN; FORTRAN listings; Macros; Software packages;
Software tools",
}
@Article{Kwong:1990:CAS,
author = "Man Kam Kwong and Mary Beth Dever",
title = "Computer-aided study of a problem in {Hermitian}
matrix theory",
journal = j-J-SYMBOLIC-COMP,
volume = "9",
number = "1",
pages = "87--112",
year = "1990",
CODEN = "JSYCEH",
ISSN = "0747-7171",
MRclass = "15A24 (65F99)",
MRnumber = "91f:15037",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Moody T. Chu",
}
@Article{Kwong:1990:KCM,
author = "Man Kam Kwong",
title = "On the {Kolodner-Coffman} method for the uniqueness
problem of {Emden-Fowler BVP}",
journal = j-ZEIT-ANGE-MATH-PHYS,
volume = "41",
number = "1",
pages = "79--104",
year = "1990",
CODEN = "ZAMMAX",
ISSN = "0044-2267",
MRclass = "34B15 (35J99 85A99)",
MRnumber = "91b:34037",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Vladimir P. Maksimov",
}
@Article{Levine:1990:MV,
author = "Minna Levine and Linda Custer",
title = "{Mathematica}, Version 1.2",
journal = j-MACUSER,
pages = "148--154, 156, 158, 160, 162, 164",
month = nov,
year = "1990",
CODEN = "MCUSEY",
ISSN = "0884-0997",
bibdate = "Fri Apr 12 10:00:05 1996",
note = "Requires IBM PC or; compatibles; 4MB RAM, DOS 3.0 or
later. Discusses Mathematica, Theorist, Maple, and
Milo.",
acknowledgement = ack-nhfb,
keywords = "application software and utilities; Computing and
communications; Full-featured, text-based symbol
processor; Individual Products; mathematical programs",
}
@Article{Michler:1990:SPC,
author = "Gerhard O. Michler",
title = "Some problems in computational representation theory.
Computational group theory, Part {I}.",
journal = j-J-SYMBOLIC-COMP,
volume = "9",
number = "5-6",
pages = "571--582",
year = "1990",
CODEN = "JSYCEH",
ISSN = "0747-7171",
MRclass = "20C40 (20C15 20C20 68Q40)",
MRnumber = "91k:20022",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "David B. Surowski",
}
@Article{Pakes:1990:SRS,
author = "Anthony G. Pakes",
title = "On series of reciprocal sums of powers",
journal = j-AUSTRALIAN-MATH-SOC-GAZ,
volume = "17",
number = "3",
pages = "61--68",
year = "1990",
MRclass = "11A99 (11Y35)",
MRnumber = "91k:11013",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "F. Beukers",
}
@Article{Scott:1990:PSQa,
author = "T. C. Scott and R. A. Moore and G. J. Fee and M. B.
Monagan and G. Labahn and K. O. Geddes",
title = "Perturbative solutions of quantum mechanical problems
by symbolic computation: a review",
journal = j-INT-J-MOD-PHYS-C,
volume = "1",
number = "1",
pages = "53--76",
year = "1990",
CODEN = "IJMPEO",
ISSN = "0129-1831",
MRclass = "81Q15 (81-02 81-08)",
MRnumber = "91f:81034",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Article{Scott:1990:PSQb,
author = "T. C. Scott and R. A. Moore and M. B. Monagan and G.
J. Fee and E. R. Vrscay",
title = "Perturbative solutions of quantum mechanical problems
by symbolic computation",
journal = j-J-COMP-PHYS,
volume = "87",
number = "2",
pages = "366--395",
year = "1990",
CODEN = "JCTPAH",
ISSN = "0021-9991",
MRclass = "81Q15 (81-08 81V45)",
MRnumber = "91b:81025",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@InProceedings{Scott:1990:SAM,
author = "Tony C. Scott and Greg J. Fee",
title = "Some applications of {Maple} symbolic computation to
scientific and engineering problems",
crossref = "Watanabe:1990:IPI",
pages = "302--303",
year = "1990",
bibdate = "Thu Sep 26 06:00:06 MDT 1996",
bibsource = "Compendex database",
abstract = "Due to obvious space restrictions, it is impossible to
present an exhaustive survey of where the Maple
symbolic computation system [CGG+ 88] has proven itself
useful as a problem-solver. Rather, we highlight some
of the projects associated with the authors, at the
University of Waterloo, and consequently present only a
sample of what has and can be done with symbolic
computation. However, these examples have been chosen
from a broad spectrum of areas which includes: Quantum
theory, General and Special Relativity, Audio
Engineering and Asbestos fiber analysis (an application
of Fluid and Magneto-dynamics). They represent new
avenues of research and illustrate the large untapped
potential of symbolic computation.",
acknowledgement = ack-nhfb,
affiliation = "Maple Symbolic Comput. Group, Waterloo Univ., Ont.,
Canada",
classification = "721; 723; 921; C7300 (Natural sciences); C7400
(Engineering)",
keywords = "Applications; Asbestos fiber analysis; Audio
engineering; Automata Theory --- Computability and
Decidability; Computer Software; General relativity;
Maple; Mathematical Techniques --- Algebra; Quantum
theory; Special relativity; Symbolic computation;
Symbolic Computation System Maple",
thesaurus = "Engineering computing; Natural sciences computing;
Symbol manipulation",
}
@Article{Stephenson:1990:NSF,
author = "John Stephenson and Yong Wang",
title = "Numerical solution of {Feigenbaum}'s equation",
journal = j-APPL-MATH-NOTES,
volume = "15",
pages = "68--78",
year = "1990",
ISSN = "0700-9224",
MRclass = "58F13 (70K50)",
MRnumber = "92c:58085",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "James D. Meiss",
}
@MastersThesis{Wang:1990:UMS,
author = "Rongdong Wang",
title = "Using {MAPLE} for symbolic computations in robotics",
type = "Thesis (M.S.)",
school = "Northern Illinois University",
address = "DeKalb, IL, USA",
year = "1990",
bibdate = "Fri Dec 29 12:52:15 1995",
acknowledgement = ack-nhfb,
}
@Article{Wegrzyn:1990:SMD,
author = "Stefan W{\k{e}}grzyn and Pierre Vidal and Jean-Charles
Gille",
title = "On some models for developmental systems. {XII}. More
on internal context sensitivity",
journal = j-INT-J-SYST-SCI,
volume = "21",
number = "8",
pages = "1441--1449",
year = "1990",
CODEN = "IJSYA9",
ISSN = "0020-7721",
MRclass = "93A10 (93B35)",
MRnumber = "91h:93002",
bibdate = "Thu Dec 28 10:25:43 1995",
acknowledgement = ack-nhfb,
keywords = "Maple",
reviewer = "Guy Jumarie",
}
@InProceedings{Wiwianka:1990:ADC,
author = "W. Wiwianka and B. Fuchssteiner",
booktitle = "Nonlinear evolution equations and dynamical systems
(Kolymbari, 1989)",
title = "Algorithms to detect complete integrability in $1+1$
dimension",
publisher = pub-SV,
address = "Berlin, Germany",
pages = "131--135",
year = "1990",
MRclass = "58F07 (58-04)",
MRnumber = "91g:58136",
bibdate = "Thu Dec 28 10:25:43 1995",
series = "Res. Rep. Phys.",
acknowledgement = ack-nhfb,
keywords = "Maple",
}
@Article{Almkvist:1991:MPF,
author = "G. Almkvist and D. Zeilberger",
title = "A {MAPLE} program that finds, and proves, recurrences
and differential equations satisfied by
hyperexponential definite integrals",
journal =