%%% -*-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 = j-SIGSAM, volume = "25", number = "3", pages = "14--17", month = jul, year = "1991", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Mon Sep 30 05:41:47 MDT 1996", abstract = "In J. Symbolic Computation, vol.10, p.571 (1990), the authors described an algorithm that given a hyperexponential function of two variables F(x,y), produces a differential equation satisfied by A(x):=/sub - infinity / integral /sup infinity /F(x,y)dy. A function F(x,y) is hyperexponential if both F/sub x/(x,y)/F(x,y) and F/sub y/(x,y)/F(x,y) are rational functions of (x,y). A(x) always satisfies a linear differential equation with polynomial coefficients. The authors give a MAPLE program that implements that algorithm. The same algorithm, and program also finds, and proves, linear recurrences satisfied by expressions of the form A(n):=/sub - infinity / integral /sup infinity /F(n,y)dy, where F(n,y) is hyperexponential in y and hypergeometric in n: D/sub y/F(n,y)/F(n,y) and F(n+1,y)/F(n,y) are both rational functions in (n,y). Since many special function identities have one of the above forms, the authors' program is able to prove many non-trivial identities in the theory of special functions.", acknowledgement = ack-nhfb, affiliation = "Dept. of Math., Lund Univ., Sweden", classification = "C7310 (Mathematics)", keywords = "Differential equations; Hyperexponential definite integrals; Hypergeometric function; Linear recurrences; MAPLE program; Polynomial coefficients; Proofs; Rational functions; Special function identities", thesaurus = "Differential equations; Integral equations; Mathematics computing; Symbol manipulation; Theorem proving", } @InProceedings{Aluffi:1991:HMS, author = "Paolo Aluffi", title = "How many smooth plane cubics with given $j$-invariant are tangent to $8$ lines in general position?", crossref = "Kleiman:1991:EAG", pages = "15--29", year = "1991", MRclass = "14N10 (14C17 14H45)", MRnumber = "93e:14063", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Raquel Mallavibarrena", } @Book{Auer:1991:LAA, author = "John W. Auer", title = "Linear Algebra with Applications", publisher = pub-PH, address = pub-PH:adr, pages = "xv + 548", year = "1991", ISBN = "0-13-538349-8", LCCN = "QA 184 A84 1991", bibdate = "Fri Jul 08 10:16:13 1994", acknowledgement = ack-nhfb, keywords = "{Maple}", } @InProceedings{Augot:1991:MDS, author = "D. Augot and P. Charpin and N. Sendrier", title = "The minimum distance of some binary codes via the {Newton}'s identities", crossref = "Cohen:1991:EIS", pages = "65--73", year = "1991", MRclass = "94B15", MRnumber = "92k:94024", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", } @Book{Bauldry:1991:CLM, author = "William C. Bauldry and Joseph R. Fiedler", title = "Calculus Laboratories with {Maple}: {A} Tool, Not an Oracle", publisher = pub-BROOKS-COLE, address = pub-BROOKS-COLE:adr, pages = "xii + 144", year = "1991", ISBN = "0-534-13788-1", LCCN = "MLCM 90/01887 (Q)", bibdate = "Mon Aug 22 14:13:24 1994", acknowledgement = ack-nhfb, } @Article{Bisoi:1991:MPG, author = "A. K. Bisoi", title = "A {Maple} program to generate orthonormal polynomials", journal = j-COMP-MATH-APPL, volume = "22", number = "9", pages = "1--5", month = "", year = "1991", CODEN = "CMAPDK", ISSN = "0097-4943", bibdate = "Mon Sep 30 05:36:13 MDT 1996", abstract = "A program in the symbolic manipulation language Maple has been developed for generating orthonormal polynomials over (-1, 1) with the weight function w(x, k)=x/sup k/, for even k. The program also finds the roots of these polynomials and expands a test function in terms of these polynomials.", acknowledgement = ack-nhfb, affiliation = "Int. Center for Theor. Phys., Trieste, Italy", classification = "C4130 (Interpolation and function approximation); C7310 (Mathematics)", keywords = "Maple program; Orthonormal polynomials; Roots; Symbolic manipulation language; Test function; Weight function", pubcountry = "UK", thesaurus = "Complete computer programs; Mathematics computing; Polynomials; Symbol manipulation", } @InProceedings{Broer:1991:HST, author = "Bram Broer", booktitle = "Computational aspects of Lie group representations and related topics (Amsterdam, 1990)", title = "{Hilbert} series for ternary forms", volume = "84", publisher = "Math. Centrum, Centrum Wisk. Inform.", address = "Amsterdam, The Netherlands", pages = "1--18", year = "1991", MRclass = "11E57 (11E20 20G05 20G45)", MRnumber = "92m:11041", bibdate = "Thu Dec 28 10:25:43 1995", series = "CWI Tract", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Rainer Schulze-Pillot", } @InProceedings{Bronstein:1991:RDE, author = "Manuel Bronstein", title = "The {Risch} differential equation on an algebraic curve", crossref = "Watt:1991:IPI", pages = "241--246", year = "1991", bibdate = "Thu Mar 12 08:38:03 MST 1998", bibsource = "http://www.acm.org/pubs/toc/", URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/120694/p241-bronstein/", abstract = "The author presents a new rational algorithm for solving Risch differential equations over algebraic curves. This algorithm can also be used to solve $n^{\mbox{th}}$-order linear ordinary differential equations with coefficients in an algebraic extension of the rational functions. In the general (`mixed function') case, this algorithm finds the denominator of any solution of the equation. The algorithm has been implemented in the Maple and Scratchpad computer algebra systems.", acknowledgement = ack-nhfb, affiliation = "Inf. ETH-Zentrum, Zurich, Switzerland", classification = "C4170 (Differential equations); C7310 (Mathematics)", keywords = "$N^{th}$-order linear ordinary differential equations; Algebraic curve; algorithms; Computer algebra systems; Maple; Rational algorithm; Rational functions; Risch differential equation; Scratchpad", subject = "{\bf I.1.2} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Algorithms, Algebraic algorithms. {\bf G.1.3} Mathematics of Computing, NUMERICAL ANALYSIS, Numerical Linear Algebra, Linear systems (direct and iterative methods). {\bf I.1.3} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems, SCRATCHPAD. {\bf G.1.7} Mathematics of Computing, NUMERICAL ANALYSIS, Ordinary Differential Equations. {\bf I.1.3} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems, Maple.", thesaurus = "Differential equations; Symbol manipulation", } @Article{Broughan:1991:SSC, author = "K. A. Broughan and G. Keady and T. D. Robb and M. G. Richardson and M. C. Dewar", title = "Some Symbolic Computing Links to the {NAG} Numeric Library", journal = j-SIGSAM, volume = "25", number = "3", pages = "28--37", month = jul, year = "1991", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Fri Feb 8 18:27:01 MST 2002", bibsource = "http://portal.acm.org/", abstract = "This article intended to help readers compare the three products, SENAC, InterCall and IRENA. Each of the three is in the Numerical Algorithms Group (Fortran 77). SENAC is a package developed by the Mathematical Software Project at the University of Waikato. SENAC includes a symbolic manipulation interpreter (Sencore), together with high level interfaces to the NAG Fortran Library (Numlink) and NAG Graphics Library (Graflink). The system evolved from an interface, Naglink, between the NAG Library and the symbolic manipulation language Macsyma. The Sensore interpreter is written in Common LISP and belongs to the Macsyma/Maple/Reduce family of languages. It is easy to load user-written files written in Common LISP or in SENAC. InterCall is a Mathematica package that enables its user to interactively call external code, for example from an external numeric library. It allows various default settings to be defined for any arguments that need to be passed to any routine in that code, and initial default settings for all the routines in the IMSL and NAG libraries are included with InterCall in the form of a small defaults-database file. IRENA-an Interface from Reduce to NAG-runs under the Reduce computer algebra system and provides an interactive front end to the NAG Library. It has been designed to make the use of the NAG Library considerably simpler, in a number of ways.", acknowledgement = ack-nhfb, affiliation = "Dept. of Math. and Stat., Waikato Univ., Hamilton, New Zealand", classcodes = "C7310 (Mathematics); C6180 (User interfaces)", classification = "C6180 (User interfaces); C7310 (Mathematics)", corpsource = "Dept. of Math. and Stat., Waikato Univ., Hamilton, New Zealand", issue = "97", keywords = "algebra system; argument passing; Argument passing; Common LISP; computer; Computer algebra system; default; Default settings; defaults-database file; Defaults-database file; external code; External code; FORTRAN; Graflink; high level; High level interfaces; IMSL; interactive front end; Interactive front end; InterCall; interfaces; IRENA; Library; Macsyma; Mathematica package; NAG Fortran Library; NAG Graphics; NAG Graphics Library; Naglink; numeric library; Numeric library; Numerical Algorithms Group; Numlink; Reduce; SENAC; Sencore; settings; subroutines; symbol manipulation; symbolic computing; Symbolic computing; symbolic manipulation interpreter; Symbolic manipulation interpreter; user interfaces; user-written files; User-written files", thesaurus = "FORTRAN; Subroutines; Symbol manipulation; User interfaces", treatment = "P Practical; R Product Review", } @InProceedings{Bryant:1991:TEH, author = "Robert L. Bryant", title = "Two exotic holonomies in dimension four, path geometries, and twistor theory", crossref = "Carlson:1991:CGL", pages = "33--88", year = "1991", MRclass = "53C05 (32L25 53A55 53C15)", MRnumber = "93e:53030", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "S. M. Salamon", } @MastersThesis{Bui:1991:ABE, author = "Thi to Hong Bui", title = "Algorithmen zur Bestimmung Einiger Eigenschaften von Reellen Funktionen", school = "Technischen Universit{\"{a}}t Carolo-Wilhelmina zu Braunschweig", address = "Braunschweig, Germany", year = "1991", bibdate = "Sat Dec 30 09:06:59 1995", acknowledgement = ack-nhfb, annote = "Bei der Untersuchung einer Reelwertigen Funktion Ermittelt Man Einige Eigenschaften Oder Spezielle Stuetzpunkte Wie Symmetrie, Extrem- und Nullstellen Usw., Umm Gewisse Aussagen ueber Ihr Verhalten Bzw. Ihr Kurvenbild Machen zu Koennen. Eserhebt sich die Frage, Ob Man Diese Vorgehensweise Algorithmisch Erfassen Kann. in Dieser Diplomarbeit Werden Algorithmen zur Bestimmung Einiger Eigenschaften Reelwertiger Funktionen Formuliert. MIT Hilfe von Grammatiken Lassen sich Diese Funktionen Erkennen und in Funktionsklassen Gruppieren. auf der Grundlage Diesergrammatiken und durch Anwendung Bekannter Saetze aus der Analysis Werden die Algorithmen Konstruiert. Sie Sollen Spaeter MIT der Speziellen Programmiersprache Maple Implementiert Werden.", descriptor = "Kurvendiskussion, Maple, Reelle Funktion", } @Article{Carminati:1991:AIR, author = "J. Carminati and R. G. McLenaghan", title = "Algebraic invariants of the {Riemann} tensor in a four-dimensional {Lorentzian} space", journal = j-J-MATH-PHYS, volume = "32", number = "11", pages = "3135--3140", year = "1991", CODEN = "JMAPAQ", ISSN = "0022-2488", MRclass = "83C60 (53C80 83C20 83C99)", MRnumber = "93c:83081", bibdate = "Fri Jan 02 11:30:32 1998", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Garry Ludwig", } @TechReport{Char:1991:MLR, author = "Bruce W. Char and others", title = "{Maple} Language Reference Manual", institution = inst-WATERLOO, address = inst-WATERLOO:adr, pages = "ii + 153", year = "1991", bibdate = "Wed Dec 27 16:39:54 1995", note = "Pre-publication manuscript", acknowledgement = ack-nhfb, } @Book{Char:1991:MLV, 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} Library {V} Reference Manual", publisher = pub-SV, address = pub-SV:adr, pages = "xxv + 698", year = "1991", ISBN = "0-387-97592-6, 3-540-97592-6", LCCN = "QA155.7.E4 M353 1991", bibdate = "Fri Jul 08 19:01:01 1994", price = "US\$39.00", acknowledgement = ack-nhfb, } @Book{Char:1991:MVL, 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 V}: Language Reference Manual", publisher = pub-SV, address = pub-SV:adr, pages = "xv + 267", year = "1991", ISBN = "0-387-97622-1 (New York), 3-540-97622-1 (Berlin)", LCCN = "QA155.7.E4 M36 1991", bibdate = "Wed Dec 01 12:17:05 1993", price = "US\$24.95, FF 193,00", acknowledgement = ack-nhfb, } @Article{Char:1991:RAM, author = "Bruce W. Char", title = "Report on the 8th {Annual Maple Workshop}", journal = j-SIGSAM, volume = "25", number = "1", pages = "24--24", month = jan, year = "1991", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Fri Sep 06 07:03:09 1996", acknowledgement = ack-nhfb, } @InProceedings{deJager:1991:SCZ, author = "Bram de Jager", title = "Symbolic calculation of zero dynamics for nonlinear control systems", crossref = "Watt:1991:IPI", pages = "321--322", year = "1991", bibdate = "Thu Mar 12 08:38:03 MST 1998", bibsource = "http://www.acm.org/pubs/toc/", URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/120694/p321-de_jager/", abstract = "The calculation of the zero dynamics of a nonlinear system is of advantage in the design of controllers for this system. Because the calculation is difficult to do by hand, symbolic algebra programs are used. To access the usefulness of these programs and to solve some design problems, a MAPLE procedure, ZERODYN, is written to calculate the zero dynamics symbolically. The procedure can, however, not solve all problems, mainly because general symbolic algebra programs have insufficient capabilities to solve sets of nonlinear equations and partial differential equations. A realistic analysis problem shows this.", acknowledgement = ack-nhfb, affiliation = "Dept. of Mech. Eng., Eindhoven Univ. of Technol., Netherlands", classification = "C1340K (Nonlinear systems); C7310 (Mathematics)", keywords = "algorithms; experimentation; MAPLE procedure; Nonlinear control systems; Nonlinear system; Partial differential equations; Symbolic algebra; Zero dynamics; ZERODYN", subject = "{\bf I.1.2} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Algorithms, Algebraic algorithms. {\bf I.1.3} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems, Maple.", thesaurus = "Nonlinear control systems; Symbol manipulation", } @Article{Garbey:1991:UMA, author = "Marc Garbey and Hans G. Kaper and Gary K. Leaf and Bernard J. Matkowsky", title = "Using {MAPLE} for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion", journal = j-J-SYMBOLIC-COMP, volume = "12", number = "1", pages = "89--114 (or 89--113??)", month = jul, year = "1991", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40", MRnumber = "1 124 306", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, affiliation = "Div. of Math. and Comput. Sci., Argonne Nat. Lab., IL, USA", classcodes = "C7310 (Mathematics); C4170 (Differential equations); C4150 (Nonlinear and functional equations)", classification = "C4150 (Nonlinear and functional equations); C4170 (Differential equations); C7310 (Mathematics)", corpsource = "Div. of Math. and Comput. Sci., Argonne Nat. Lab., IL, USA", keywords = "bifurcation phenomena; Bifurcation phenomena; boundary value; Boundary value problem; boundary-value problems; combustion; condensed-phase surface; Condensed-phase surface combustion; cylindrical solid fuel element; Cylindrical solid fuel element; MAPLE; nonlinear differential equations; nonlinear partial differential equations; Nonlinear partial differential equations; partial differential equations; problem; stability properties; Stability properties; structure; Structure; symbol manipulation; symbolic manipulation language; Symbolic manipulation language", thesaurus = "Boundary-value problems; Nonlinear differential equations; Partial differential equations; Symbol manipulation", treatment = "P Practical; T Theoretical or Mathematical", } @InProceedings{Gaubert:1991:RCD, author = "St{\'e}phane Gaubert and Carlos Klimann", booktitle = "Algebraic computing in control (Paris, 1991)", title = "Rational computation in dioid algebra and its application to performance evaluation of discrete event systems", volume = "165", publisher = pub-SV, address = "Berlin, Germany", pages = "241--252", year = "1991", MRclass = "93B40 (65K05)", MRnumber = "92k:93060", bibdate = "Thu Dec 28 10:25:43 1995", series = "Lecture Notes in Control and Inform. Sci.", acknowledgement = ack-nhfb, keywords = "Maple", } @Article{Grotendorst:1991:MPT, author = "J. Grotendorst", title = "{Maple} package for transforming series, sequences and functions", journal = j-COMP-PHYS-COMM, volume = "67", number = "2", pages = "325--342", month = dec, year = "1991", CODEN = "CPHCBZ", ISSN = "0010-4655", MRclass = "65B10 (65-04)", MRnumber = "140 050", bibdate = "Wed Dec 18 11:34:40 MST 1996", bibsource = "Compendex database", abstract = "In recent years many powerful sequence transformations, mainly nonlinear methods, for increasing the rate and expanding the domain of the convergence of series (sequences) were designed. The program trans is a revised package of Maple functions for transforming symbolic and numerical series (sequences) as well as functions having formal series expansions. Each sequence transformation is performed using a special recursive algorithm. This approach yields more efficient programs compared to an implementation via the general extrapolation algorithm of Brezinski and Havie which contains many of the transformations as special cases. The new Maple package trans differs from the original (Comput. Phys. Commun. 59 (1990) 289) in efficiency, extended capabilities and revised notation.", acknowledgement = ack-nhfb, affiliation = "Forschungszentrum Juelich GmbH", affiliationaddress = "Juelich, Ger", classification = "723; 921; 931", journalabr = "Comput Phys Commun", keywords = "Computer Programming Languages --- Applications; Convergence Acceleration; Divergent Series; Maple V Computer Software; Mathematical Techniques; Mathematical Techniques --- Algorithms; Mathematical Transformations --- Computer Applications; Numerical Methods; Quantum Theory --- Computer Applications; Rational Approximation; Recursive And Extrapolation Algorithms; Series, Sequence And Function Transformations", } @Book{Harper:1991:GCA, author = "David Harper and Chris Wooff and David Hodgkinson", title = "A Guide to Computer Algebra Systems", publisher = pub-JW, address = pub-JW:adr, pages = "xii + 148", year = "1991", ISBN = "0-471-92910-7", LCCN = "QA155.7.E4 H37 1991", bibdate = "Wed Jun 15 11:46:03 1994", acknowledgement = ack-nhfb, keywords = "{Maple}", } @Article{Jank:1991:CMU, author = "G. Jank and L. H. Tack", title = "Conformal Mapping Using {Bergman}'s Method and the {MAPLE} System", journal = j-SIGSAM, volume = "25", number = "2", pages = "18--23", month = apr, year = "1991", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Sun Feb 4 17:20:38 MST 1996", acknowledgement = ack-nhfb, } @InProceedings{Kleczka:1991:SCA, author = "W. Kleczka and E. Kreuzer", title = "Systematic computer-aided analysis of dynamic systems", crossref = "Watt:1991:IPI", pages = "429--430", year = "1991", bibdate = "Thu Mar 12 08:38:03 MST 1998", bibsource = "http://www.acm.org/pubs/toc/", URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/120694/p429-kleczka/", abstract = "An automated numerical-symbolical analysis concept for dynamic systems in engineering mechanics is outlined. Besides the computerized generation of symbolic equations of motion, the subsequent analysis is also performed by means of computer algebra in combination with well-established numerical methods.", acknowledgement = ack-nhfb, affiliation = "Meerestech. II, Tech. Univ., Hamburg-Harburg, Germany", classification = "C1210 (General system theory); C7440 (Civil and mechanical engineering)", keywords = "algorithms; Computer-aided analysis; Dynamic systems; Engineering mechanics; Numerical-symbolical analysis; Symbolic equations", subject = "{\bf I.1.0} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, General. {\bf J.2} Computer Applications, PHYSICAL SCIENCES AND ENGINEERING, Engineering. {\bf I.1.3} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems, Maple. {\bf G.1.3} Mathematics of Computing, NUMERICAL ANALYSIS, Numerical Linear Algebra, Eigenvalues and eigenvectors (direct and iterative methods).", thesaurus = "Computer aided analysis; Convergence of numerical methods; Mechanical engineering computing; Symbol manipulation", } @Article{Koepf:1991:TCM, author = "Wolfram Koepf", title = "On two conjectures of {M. S. Robertson}", journal = j-COMPLEX-VARIABLES-THEORY-APPL, volume = "16", number = "2-3", pages = "127--130", year = "1991", CODEN = "CVTADV", ISSN = "0278-1077", MRclass = "30B10 (30-04 68Q40)", MRnumber = "92f:30004", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "P. Lappan", } @InProceedings{Koornwinder:1991:HHS, author = "Tom H. Koornwinder", booktitle = "Orthogonal polynomials and their applications (Erice, 1990)", title = "Handling hypergeometric series in {Maple}", volume = "9", publisher = pub-BALTZER, address = pub-BALTZER:adr, pages = "73--80", year = "1991", MRclass = "33C20 (33-04)", MRnumber = "95f:33006", bibdate = "Thu Dec 28 10:25:43 1995", series = "IMACS Ann. Comput. Appl. Math.", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Harold Exton", } @InCollection{LeVey:1991:JUM, author = "G. {Le Vey} and J. Masse", booktitle = "Algebraic computing in control (Paris, 1991)", title = "Joint use of {Maple} and {Basile}: using computer algebra in a {CACSD} environment", volume = "165", publisher = pub-SV, address = pub-SV:adr, pages = "156--164", year = "1991", MRclass = "93B40", MRnumber = "MR1151203", bibdate = "Sat Apr 16 17:28:34 2005", series = "Lecture Notes in Control and Inform. Sci.", } @Article{Kwong:1991:NIP, author = "Man Kam Kwong and A. Zettl", title = "Norm inequalities for the powers of a matrix", journal = j-AMER-MATH-MONTHLY, volume = "98", number = "6", pages = "533--538", year = "1991", CODEN = "AMMYAE", ISSN = "0002-9890", MRclass = "15A60 (15-04)", MRnumber = "92c:15027", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Shao Kuan Li", } @Article{Lassalle:1991:PCO, author = "Michel Lassalle", title = "Polyn{\^o}mes de {Jacobi} g{\'e}n{\'e}ralis{\'e}s (French) [Generalized {Jacobi} polynomials]", journal = j-C-R-MATH-I, volume = "312", number = "6", pages = "425--428", year = "1991", CODEN = "CHASAP", ISSN = "0764-4442", MRclass = "33C45 (33C50)", MRnumber = "92g:33019", bibdate = "Thu Dec 28 10:25:43 1995", acknowledgement = ack-nhfb, keywords = "Maple", reviewer = "Peter A. McCoy", } @InProceedings{Pecelli:1991:FMD, author = "Giampiero Pecelli", title = "Formal methods in delay-differential equations", crossref = "Watt:1991:IPI", pages = "317--318", year = "1991", bibdate = "Thu Mar 12 08:38:03 MST 1998", bibsource = "http://www.acm.org/pubs/toc/", URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/120694/p317-pecelli/", abstract = "Studies formal methods in the solution of delay-differential equations (DDEs). The motivation for such study comes from the introduction of Hopf bifurcation techniques and the method of averaging to the study of stable oscillations in such systems. The author concentrates on the formal aspects associated with the construction of solutions required for an application of the methods. These classes of solutions are quite simple, being solutions to linear systems. The paper concentrates on completing the formalization and showing that an automated system is possible.", acknowledgement = ack-nhfb, affiliation = "Dept. of Comput. Sci., Lowell Univ., MA, USA", classification = "C4170 (Differential equations)", keywords = "algorithms; DDEs; Delay-differential equations; Formal methods; Hopf bifurcation; Stable oscillations", subject = "{\bf I.1.2} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Algorithms. {\bf G.1.3} Mathematics of Computing, NUMERICAL ANALYSIS, Numerical Linear Algebra. {\bf I.1.3} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems, Maple.", thesaurus = "Differential equations", } @InProceedings{Ponce-Nunez:1991:GHB, author = "E. J. Ponce-N{\'u}{\~n}ez and E. Gamero", title = "Generating {Hopf} bifurcation formulae with {MAPLE}", crossref = "Seydel:1991:BCA", pages = "295--299", year = "1991", MRclass = "58F14 (58-04 65L99)", MRnumber = "92e:58147", bibdate = "Sat Aug 17 16:30:01 1996", series = "Internat. Ser. Numer. Math.", acknowledgement = ack-nhfb, keywords = "Maple", } @Arti