%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.21",
%%%     date            = "31 December 2007",
%%%     time            = "19:16:33 MST",
%%%     filename        = "macsyma.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 585 1640, +1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "14432 10139 43699 413292",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "MACSYMA; maxima; symbolic algebra; VAXIMA",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This file is a bibliography of publications
%%%                        about the MACSYMA, VAXIMA, and maxima
%%%                        symbolic algebra languages.
%%%
%%%                        MACSYMA, possibly the oldest surviving
%%%                        computer symbolic algebra system, was
%%%                        developed starting about 1968 at the
%%%                        Massachusetts Institute of Technology, using
%%%                        the MACLISP dialect of the Lisp programming
%%%                        language.  The name stood for Project MAC's
%%%                        SYmbolic MAnipulation System, and MAC stands
%%%                        for Man and Computer, or for Machine Aided
%%%                        Cognition.  Project MAC later became the MIT
%%%                        Laboratory for Computer Science, certainly
%%%                        one of the premier institutions in the field.
%%%
%%%                        In the 1980s, MACSYMA was ported to the Franz
%%%                        Lisp dialect by Richard Fateman's research
%%%                        group at the University of California at
%%%                        Berkeley, enabling it to be run on DEC VAX
%%%                        computers running Berkeley UNIX.  It was also
%%%                        ported by a U.S. Department of
%%%                        Energy-supported effort at MIT, to NIL,
%%%                        another Lisp dialect.  The U.S. DOE version
%%%                        was further developed by William Schelter at
%%%                        the University of Texas in Austin under the
%%%                        name Maxima, until his untimely death in July
%%%                        2001.
%%%
%%%                        In 1982, MACSYMA became a commercial product
%%%                        marketed by Arthur D. Little, Inc., later
%%%                        Symbolics, Inc., and finally, Macsyma, Inc.,
%%%                        but the latter company went out of business
%%%                        in 1999, and with it, technical support for
%%%                        licensees, and further development.
%%%
%%%                        With the permission of the U.S.DOE,
%%%                        development of Maxima now continues as a
%%%                        collaborative effort, under the GNU Library
%%%                        Public License, to ensure its wide and
%%%                        continued availability, with World-Wide Web
%%%                        sites at
%%%
%%%                            http://maxima.sf.net
%%%                            http://prdownloads.sourceforge.net/maxima/
%%%
%%%                        Versions of this, and related, bibliographies
%%%                        are included in the maxima distribution in
%%%                        the directory paths doc/maximabook/ and
%%%                        doc/maximabook/storage/bibarchive/.
%%%
%%%                        At version 1.21, the year coverage looked
%%%                        like this:
%%%
%%%                             1970 (   2)    1982 (   8)    1994 (  17)
%%%                             1971 (  10)    1983 (  18)    1995 (  10)
%%%                             1972 (   2)    1984 (  45)    1996 (   2)
%%%                             1973 (   4)    1985 (  29)    1997 (   3)
%%%                             1974 (   8)    1986 (  28)    1998 (   5)
%%%                             1975 (   5)    1987 (  32)    1999 (   1)
%%%                             1976 (   6)    1988 (  41)    2000 (   1)
%%%                             1977 (  11)    1989 (  30)    2001 (   1)
%%%                             1978 (   6)    1990 (  33)    2002 (   0)
%%%                             1979 (  13)    1991 (  25)    2003 (   1)
%%%                             1980 (   7)    1992 (  22)
%%%                             1981 (   6)    1993 (  17)
%%%
%%%                             Article:        160
%%%                             Book:            26
%%%                             InCollection:     5
%%%                             InProceedings:  111
%%%                             Manual:          46
%%%                             MastersThesis:   17
%%%                             Misc:             5
%%%                             Periodical:       4
%%%                             Proceedings:     49
%%%                             TechReport:      26
%%%
%%%                             Total entries:  449
%%%
%%%                        This bibliography has been collected from
%%%                        bibliographies in the author's personal
%%%                        files, from the Compendex databases
%%%                        (1970--1996), from the OCLC Contents1st
%%%                        database, from the IEEE INSPEC database,
%%%                        from the computer graphics bibliography
%%%                        archive at ftp.siggraph.org, and from the
%%%                        computer science bibliography collection on
%%%                        ftp.ira.uka.de in /pub/bibliography to
%%%                        which many people of have contributed.  The
%%%                        snapshot of this collection was taken on
%%%                        5-May-1994, and it consists of 441 BibTeX
%%%                        files, 2,672,675 lines, 205,289 entries,
%%%                        and 6,375 <at>String{} abbreviations,
%%%                        occupying 94.8MB of disk space.
%%%
%%%                        References cited at
%%%
%%%                            http://hopl.murdoch.edu.au/showlanguage.prx?exp=431&language=MACSYMA
%%%
%%%                        were incorporated at version 1.21.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted
%%%                        first by ascending year, and within each
%%%                        year, alphabetically by author or editor,
%%%                        and then, if necessary, by the 3-letter
%%%                        abbreviation at the end of the BibTeX
%%%                        citation tag, using the bibsort -byyear
%%%                        utility.  Year order has been chosen to
%%%                        make it easier to identify the most recent
%%%                        work.
%%%
%%%                        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{
    "\hyphenation{
        Guard-i-ola
        MAC-SYMA
        Mac-syma
        Mas-sa-chu-setts
        Math-lab
        News-letter
        Para-digm
        VAX-IMA
        Vax-ima
        news-letter
    }"
}

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

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 585 1640, +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-KENT-STATE-UNIV    = "Kent State University"}

@String{inst-KENT-STATE-UNIV:adr = "Kent, OH, USA"}

@String{inst-MIT                = "Massachusetts Institute of
                                  Technology"}

@String{inst-MIT-AI             = "Massachusetts Institute of
                                  Technology, A. I. Lab."}

@String{inst-MIT-CS             = "Massachusetts Institute of
                                  Technology, Computer Science Lab."}

@String{inst-MIT-CS:adr         = "Cambridge, MA, USA"}

@String{inst-MIT-LCS            = "Massachusetts Institute of
                                  Technology, Laboratory for Computer
                                  Science"}

@String{inst-MIT-LCS:adr        = "Cambridge, MA, USA"}

@String{inst-MIT-MLG            = "Massachusetts Institute of
                                  Technology, Mathlab Group"}

@String{inst-MIT-MLG:adr        = "Cambridge, MA, USA"}

@String{inst-MIT-PMAC           = "Massachusetts Institute of
                                  Technology, Project MAC"}

@String{inst-MIT-PMAC:adr       = "Cambridge, MA, USA"}

@String{inst-MIT-RLE            = "Massachusetts Institute of Technology,
                                  Research Laboratory of Electronics"}

@String{inst-MIT-RLE:adr        = "Cambridge, MA, USA"}

@String{inst-MIT:adr            = "Cambridge, MA, USA"}

@String{inst-UCB-CS             = "Computing Services, University of California,
                                  Berkeley"}

@String{inst-UCB-CS:adr         = "Berkeley, CA, USA"}

@String{inst-UCB-EECS           = "Department of Electrical Engineering and
                                  Computer Sciences, University of California,
                                  Berkeley"}

@String{inst-UCB-EECS:adr       = "Berkeley, CA, USA"}

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

@String{j-AIAA-J                = "American Institute of Aeronautics and
                                  Astronautics Journal"}

@String{j-APPL-CRYSTAL          = "Journal of applied crystallography"}

@String{j-APPL-MATH-COMP        = "Applied Mathematics and Computation"}

@String{j-BYTE                  = "BYTE Magazine"}

@String{j-CACM                  = "Communications of the ACM"}

@String{j-COED                  = "CoED"}

@String{j-COMP-EDU              = "Computers and Education"}

@String{j-COMP-J                = "The Computer Journal"}

@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-COMP-SURV             = "ACM Computing Surveys"}

@String{j-COMPUT-APPL-ENG-EDUC  = "Computer Applications in Engineering
                                  Education"}

@String{j-COMPUT-METH-APPL-MECH-ENG = "Computer Methods in Applied Mechanics
                                  and Engineering"}

@String{j-DESIGN-NEWS           = "Design news"}

@String{j-ELECTRONIK            = "Elektronik"}

@String{j-FRONTIERS-EDU-CONF    = "Frontiers in Education Conference"}

@String{j-GUTENBERG             = "Cahiers GUTenberg"}

@String{j-IEEE-TRANS-AUTOMAT-CONTR = "IEEE Transactions on Automatic Control"}

@String{j-IEEE-TRANS-KNOWL-DATA-ENG = "IEEE Transactions on Knowledge and Data
                                  Engineering"}

@String{j-IEEE-TRANS-POWER-SYSTEMS = "IEEE Transactions on Power Systems"}

@String{j-IEEE-TRANS-SYST-MAN-CYBERN = "IEEE Transactions on Systems, Man, and
                                  Cybernetics"}

@String{j-IND-ENG-CHEM-RES      = "Industrial and engineering chemistry
                                  research"}

@String{j-INT-J-COMPUT-MATH     = "International J. Computer Mathematics"}

@String{j-INT-J-EEE             = "International Journal of Electrical
                                  Engineering Education"}

@String{j-INT-J-MATH-EDU-SCI-TECH = "International journal of mathematical
                                  education in science and technology"}

@String{j-INT-J-NUMER-METHODS-ENG = "International Journal for Numerical
                                  Methods in Engineering"}

@String{j-INT-J-SYST-SCI        = "International Journal of Systems Science"}

@String{j-J-COMP-APPL-MATH      = "Journal of Computational and Applied
                                  Mathematics"}

@String{j-J-DYN-SYST-MEAS-CONTROL = "Journal of Dynamic Systems, Measurement,
                                  and Control"}

@String{j-J-ENG-MECH            = "Journal of Engineering Mechanics"}

@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-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

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

@String{j-MATH-PROG             = "Mathematical Programming"}

@String{j-NAMS                  = "Notices Amer. Math. Soc."}

@String{j-PESC-RECORD           = "PESC record"}

@String{j-PHYS-REV-A            = "Phys. Rev. A"}

@String{j-PROC-IEEE-CONF-DECISION-CONTROL = "Proceedings of the IEEE
                                  Conference on Decision and Control"}

@String{j-SIGPLAN               = "ACM SIG{\-}PLAN Notices"}

@String{j-SIGSAM                = "SIGSAM Bulletin"}

@String{j-THEOR-COMP-SCI        = "Theoret. Comput. Sci."}

@String{j-TOMS                  = "ACM Transactions on Mathematical Software"}

@String{j-Z-ANGE-MATH-MECH      = "Zeitschrift f{\"u}r Angewandte Mathematik
                                  und Mechanik"}

%%% ====================================================================
%%% Organization abbreviations:

@String{org-GENERAL-ELECTRIC    = "General Electric"}

@String{org-GENERAL-ELECTRIC:adr = "Schenectady, NY, USA"}

@String{org-MACSYMA             = "Macsyma, Inc."}

@String{org-MACSYMA:adr         = "Arlington, MA, USA"}

@String{org-NASA                = "NASA"}

@String{org-NASA:adr            = "Washington, DC, USA"}

@String{org-SYMBOLICS           = "Symbolics, Inc."}

@String{org-SYMBOLICS-CAM       = "Symbolics, Inc."}

@String{org-SYMBOLICS-CAM:adr   = "11 Cambridge Center, Cambridge MA 02142,
                                  USA"}

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

@String{org-SYMBOLICS:adr       = "Burlington, MA, USA"}

@String{pub-ACM                 = "ACM Press"}

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

@String{pub-ACS                 = "American Chemical Society"}

@String{pub-ACS:adr             = "Washington, DC, USA"}

@String{pub-AP                  = "Academic Press"}

@String{pub-AP:adr              = "New York, USA"}

@String{pub-ASCE                = "American Society of Civil Engineers"}

@String{pub-ASCE:adr            = "New York, NY, USA"}

@String{pub-ASME                = "American Society of Mechanical Engineers"}

@String{pub-ASME:adr            = "345 E. 47th St., New York, NY 10017, USA"}

@String{pub-AW                  = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}

@String{pub-AW:adr              = "Reading, MA, USA"}

@String{pub-AW-BONN             = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}

@String{pub-AW-BONN:adr         = "Bonn, Germany"}

@String{pub-EXPERT-VERLAG       = "Expert Verlag"}

@String{pub-EXPERT-VERLAG:adr   = "Ehningen Bei Boeblingen, Germany"}

@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-KLUWER              = "Kluwer Academic Publishers Group"}

@String{pub-KLUWER:adr          = "Norwell, MA, USA, and Dordrecht, The Netherlands"}

@String{pub-MASSON              = "Masson"}

@String{pub-MASSON:adr          = "Paris, France"}

@String{pub-MORGAN-KAUFMANN     = "Morgan Kaufmann Publishers"}

@String{pub-MORGAN-KAUFMANN:adr = "Los Altos, CA 94022, USA"}

@String{pub-NASA                = "NASA"}

@String{pub-NASA:adr            = "Washington, DC, USA"}

@String{pub-NORTH-HOLLAND       = "North-Hol{\-}land"}

@String{pub-NORTH-HOLLAND:adr   = "Amsterdam, The Netherlands"}

@String{pub-PARADIGM            = "Paradigm Associates, Inc."}

@String{pub-PARADIGM:adr        = "29 Putman Ave, Suite 6, Cambridge, MA 02139,
                                  USA"}

@String{pub-PERGAMON            = "Pergamon Press"}

@String{pub-PERGAMON:adr        = "Oxford, UK"}

@String{pub-PETROCELLI-CHARTER  = "Petrocelli\slash Charter"}

@String{pub-PETROCELLI-CHARTER:adr = "New York, NY, USA"}

@String{pub-PH                  = "Pren{\-}tice-Hall"}

@String{pub-PH:adr              = "Englewood Cliffs, NJ 07632, USA"}

@String{pub-PITMAN              = "Pitman Publishing Ltd."}

@String{pub-PITMAN:adr          = "London, UK"}

@String{pub-SV                  = "Springer Verlag"}

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

@String{pub-VIEWEG              = "Friedrich Vieweg und Sohn"}

@String{pub-VIEWEG:adr          = "Braunschweig, Germany"}

@String{pub-WILEY               = "John Wiley and Sons"}

@String{pub-WILEY:adr           = "New York, NY, USA; London, UK; Sydney,
                                  Australia"}

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

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

%%% ====================================================================
%%% Bibliography entries, sorted by year and then by citation label:

@TechReport{Martin:1970:MM,
  author =       "W. A. Martin and J. Moses",
  title =        "{Mathlab (MACSYMA)}",
  type =         "MAC Programming Report",
  number =       "V",
  institution =  inst-MIT-AI,
  address =      inst-MIT:adr,
  month =        jul # " 1969 to " # dec # " 1970",
  year =         "1970",
  bibsource =    "Ai/lisp.bib",
}

@MastersThesis{Siret:1970:CAC,
  author =       "Yvon Siret",
  title =        "Contribution au calcul formel sur ordinateur.
                 ({Frencg}) [{Contribution} to formal calculus on a
                 computer]",
  type =         "{Th{\'e}se {\`e}s Sciences appliqu{\'e}es}",
  school =       "Universit{\'e} de Grenoble",
  address =      "Grenoble, France",
  year =         "1970",
  bibdate =      "Wed Apr 10 16:46:43 2002",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@InProceedings{Fateman:1971:ULS,
  author =       "R. J. Fateman",
  title =        "The user-level semantic matching capabilities in
                 {MACSYMA}",
  crossref =     "Petrick:1971:PER",
  pages =        "311--323",
  year =         "1971",
  bibdate =      "Mon Dec 31 19:03:27 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InProceedings{Martin:1971:CIO,
  author =       "W. A. Martin",
  title =        "Computer input\slash output of mathematical expressions",
  crossref =     "Petrick:1971:PER",
  year =         "1971",
  pages =        "78--79",
  acknowledgement = ack-nhfb,
  bibdate =      "Mon Dec 31 19:03:27 2007",
  keywords =     "MACSYMA",
}

@InProceedings{Martin:1971:DEA,
  author =       "W. A. Martin",
  title =        "Determining the equivalence of algebraic expressions by hash coding",
  crossref =     "Petrick:1971:PER",
  year =         "1971",
  pages =        "305--310",
  acknowledgement = ack-nhfb,
  bibdate =      "Mon Dec 31 19:03:27 2007",
  keywords =     "MACSYMA",
}

@InProceedings{Martin:1971:MS,
  author =       "W. A. Martin and R. J. Fateman",
  title =        "The {MACSYMA} System",
  crossref =     "Petrick:1971:PER",
  pages =        "59--75",
  year =         "1971",
  bibdate =      "Mon Dec 31 18:19:49 2007",
  URL =          "http://www.cs.utah.edu/~wilson/compilers/old/papers/p59-martin.pdf",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@Manual{MathlabGroup:1971:MP,
  author =       "{Mathlab Group}",
  title =        "The {MACSYMA} papers 1970",
  number =       "",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "94",
  year =         "1971",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Cover title. ``All of the papers were presented at the
                 second Symposium on Symbolic and Algebraic
                 Manipulation, held March 23--25, 1971 in Los
                 Angeles.''",
  keywords =     "Programming (Electronic computers).",
}

@InProceedings{Moses:1971:ASG,
  author =       "J. Moses",
  title =        "Algebraic simplification: a guide for the perplexed",
  crossref =     "Petrick:1971:PER",
  pages =        "282--304",
  year =         "1971",
  bibdate =      "Mon Dec 31 19:03:27 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InProceedings{Moses:1971:SIS,
  author =       "J. Moses",
  title =        "Symbolic integration: the stormy decade",
  crossref =     "Petrick:1971:PER",
  year =         "1971",
  pages =        "427--440",
  acknowledgement = ack-nhfb,
  bibdate =      "Mon Dec 31 19:03:27 2007",
  keywords =     "MACSYMA",
}

@InProceedings{Tobey:1971:SMC,
  author =       "R. G. Tobey",
  title =        "Symbolic mathematical computation --- introduction and
                 overview",
  crossref =     "Petrick:1971:PER",
  pages =        "??--??",
  year =         "1971",
  bibdate =      "Mon Dec 31 18:19:49 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InProceedings{Wang:1971:ACL,
  author =       "P. S. Wang",
  title =        "Automatic computation of limits",
  crossref =     "Petrick:1971:PER",
  pages =        "458--464",
  year =         "1971",
  bibdate =      "Mon Dec 31 19:03:27 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@Article{Barton:1972:RAM,
  author =       "D. Barton and J. P. Fitch",
  title =        "A review of algebraic manipulative programs and their
                 application",
  journal =      j-COMP-J,
  volume =       "15",
  number =       "4",
  pages =        "362--381",
  month =        nov,
  year =         "1972",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Sep 29 08:52:07 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/;
                 Compendex database",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/150362.sgm.abs.html",
  URL-2 =        "http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/362.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/363.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/364.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/365.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/366.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/367.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/368.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/369.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/370.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/371.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/372.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/373.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/374.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/375.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/376.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/377.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/378.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/379.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/380.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_04/tiff/381.tif",
  acknowledgement = ack-nhfb,
  classcodes =   "C7310 (Mathematics computing)",
  classification = "723; 921",
  corpsource =   "Univ. Cambridge, UK",
  keywords =     "algebra; algebraic manipulative programs; computer
                 programming; computer programming languages; computer
                 programs; mathematical techniques --- Algebra;
                 reviews",
  treatment =    "A Application; G General Review; T Theoretical or
                 Mathematical",
}

@Article{Wells:1972:RTD,
  author =       "Mark B. Wells",
  title =        "A review of two-dimensional programming languages",
  journal =      j-SIGPLAN,
  volume =       "7",
  number =       "10",
  pages =        "1--10",
  month =        oct,
  year =         "1972",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sun Dec 14 09:13:29 MST 2003",
  bibsource =    "http://portal.acm.org/",
  keywords =     "MACSYMA",
  acknowledgement = ack-nhfb,
}

@Misc{Bhushan:1973:RUM,
  author =       "A. Bhushan and N. Ryan",
  title =        "{RFC 578}: Using {MIT-Mathlab MACSYMA} from {MIT-DMS
                 Muddle}",
  pages =        "13",
  day =          "29",
  month =        oct,
  year =         "1973",
  bibdate =      "Sat Oct 5 10:01:52 MDT 1996",
  URL =          "ftp://ftp.internic.net/rfc/rfc578.txt,
                 ftp://ftp.math.utah.edu/pub/rfc/rfc578.txt",
  acknowledgement = ack-nhfb,
}

@Article{Fitch:1973:PRM,
  author =       "John Fitch",
  title =        "Problems \#3 and \#4 in {REDUCE} and {MACSYMA}",
  journal =      j-SIGSAM,
  pages =        "10--11",
  year =         "1973",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/reduce.bib;
                 Theory/sigsam.bib",
  abstract =     "The algebra systems {REDUCE} and {MACSYMA} are used to
                 solve {SIGSAM} Problem \#3, the Reversion of a Double
                 Series, and {SIGSAM} Problem \#4, the Lie Transform
                 Solution of the Harmonic Oscillator.",
  annote =       "The algebra systems REDUCE and MACSYMA are used to
                 solve SIGSAM Problem \#3, the Reversion of a Double
                 Series, and SIGSAM Problem \#4, the Lie Transform
                 Solution of the Harmonic Oscillator.",
  keywords =     "Reduce",
}

@Article{Sammet:1973:RPL,
  author =       "Jean E. Sammet",
  title =        "Roster of Programming Languages for 1973",
  journal =      "ACM Computing Reviews",
  volume =       "15",
  number =       "4",
  pages =        "147--??",
  month =        apr,
  year =         "1973",
  bibdate =      "Mon Dec 31 18:30:54 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InCollection{Stock:1973:BPL,
  author =       "Marylene Stock and Karl F. Stock",
  editor =       "????",
  booktitle =    "????",
  title =        "Bibliography of Programming Languages: Books, User
                 Manuals and Articles from {PLANKALKUL} to {PL/I}",
  publisher =    "Verlag Dokumentation",
  address =      "Pullach/Munchen, Germany",
  pages =        "349--??",
  year =         "1973",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Dec 31 18:32:53 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@Manual{MathlabGroup:1974:MPI,
  author =       "{Mathlab Group}",
  title =        "{MACSYMA} primer: introductory section",
  number =       "",
  institution =  inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "64",
  year =         "1974",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "``MACSYMA 150.''",
  keywords =     "MACSYMA (Computer system); Programming (Mathematics).;
                 Time-sharing computer systems.",
}

@Manual{MathlabGroup:1974:MRM,
  author =       "Mathlab Group and Richard Bogen and Project Mac
                 (Massachusetts Institute of Technology)",
  title =        "{MACSYMA} reference manual",
  organization = inst-MIT-PMAC,
  address =      inst-MIT-PMAC:adr,
  edition =      "Version 6",
  pages =        "various",
  year =         "1974",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "AD-774 767. Includes bibliography Microfiche
                 (negative) Springfield, Va.: National Technical
                 Information Service, 1974, 2 microfiches; 11 x 15 cm.
                 Contract no. N00014-70-A-0362-0006. AD-774 767",
  keywords =     "MACSYMA (Computer system)",
}

@InProceedings{Moses:1974:MFY,
  author =       "Joel Moses",
  editor =       "Richart D. Jenks",
  booktitle =    "Proceedings of EUROSAM '74, Royal Institute of
                 Technology, Stockholm, Sweden, August 1--2, 1974",
  title =        "{MACSYMA} --- The Fifth Year",
  volume =       "8(3)",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "??--??",
  year =         "1974",
  LCCN =         "QA155.7.E4 S53 v.8 no.3",
  bibdate =      "Wed Apr 10 17:17:03 2002",
  series =       j-SIGSAM,
  acknowledgement = ack-nhfb,
  bookpages =    "110",
}

@Manual{ProjectMac:1974:MRM,
  author =       "{Project Mac (Massachusetts Institute of Technology).
                 Mathlab Group}",
  title =        "{MACSYMA} reference manual: version seven",
  organization = inst-MIT,
  address =      inst-MIT:adr,
  pages =        "iii + 150 + [6]",
  year =         "1974",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system)",
}

@Article{Sammet:1974:RPL,
  author =       "J. E. Sammet",
  title =        "Roster of programming languages for 1973",
  journal =      j-SIGPLAN,
  volume =       "9",
  number =       "11",
  pages =        "18--31",
  month =        nov,
  year =         "1974",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sat Apr 25 11:46:37 MDT 1998",
  acknowledgement = ack-nhfb,
  classification = "C6140 (Programming languages)",
  corpsource =   "IBM Corp., Cambridge, MA, USA",
  keywords =     "existing higher level; existing higher level
                 languages; general purpose computer; programming
                 languages; roster of programming languages; MACSYMA",
  treatment =    "P Practical",
}

@InProceedings{Wang:1974:SED,
  author =       "Paul S. Wang",
  title =        "Symbolic Evaluation of Definite Integrals by Residue
                 Theory in {Macsyma}",
  crossref =     "Rosenfeld:1974:IPP",
  pages =        "823--827",
  year =         "1974",
  bibdate =      "Mon Dec 31 18:36:24 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@Manual{Anonymous:1975:MP,
  author =       "Anonymous",
  title =        "{MACSYMA} primer",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "22",
  year =         "1975",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Title from cover.",
  keywords =     "MACSYMA (Computer system)",
}

@TechReport{Group:1975:MP,
  author =       "{Mathlab Group}",
  title =        "{MACSYMA} Primer",
  type =         "Report",
  institution =  inst-MIT-AI,
  address =      inst-MIT:adr,
  month =        oct,
  year =         "1975",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@Manual{Lewis:1975:IMU,
  author =       "Ellen Lewis",
  title =        "An introduction to {ITS} for the {MACSYMA} user",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "ii + 38",
  year =         "1975",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Title from cover. ``August 18, 1975.'' Includes
                 index.",
  keywords =     "MACSYMA (Computer system); Time-sharing computer
                 systems.",
}

@Manual{MathlabGroup:1975:MRM,
  author =       "{Mathlab Group} and Richard A. Bogen",
  title =        "{MACSYMA} reference manual",
  organization = inst-MIT-PMAC,
  address =      inst-MIT-PMAC:adr,
  edition =      "Version eight",
  pages =        "iii + 199 + ix",
  year =         "1975",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Cover title. ``This manual maintains the format of
                 Version Seven but contains corrections and updates.''
                 ``This manual was written by Richard Bogen with
                 contributions by Jeffrey Golden \ldots{} [et al.].''",
  keywords =     "Programming (Electronic computers), MACSYMA (Computer
                 system) and LISP (Computer program language)",
}

@TechReport{Moses:1975:MP,
  author =       "J. Moses",
  title =        "A {MACSYMA} primer",
  type =         "Mathlab Memo",
  number =       "2",
  institution =  inst-MIT-CS,
  year =         "1975",
  bibsource =    "Ai/Logic.Prog.bib",
}

@TechReport{Bers:1976:SCN,
  author =       "A. (Abraham) Bers and John Laurence Kulp and C. F. F.
                 (Charles F. F.) Karney",
  title =        "Symbolic computation of nonlinear wave interactions on
                 {MACSYMA}",
  type =         "Plasma research report",
  number =       "PRR 76/17",
  institution =  inst-MIT-RLE,
  address =      inst-MIT-RLE:adr,
  pages =        "26",
  year =         "1976",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Includes bibliographical references (p. 25--26).
                 Supported by the Energy Research and Development
                 Administration. Supported by the National Science
                 Foundation.",
}

@InCollection{Engelman:1976:AML,
  author =       "C. Engelman",
  title =        "Algebraic Manipulation Languages",
  crossref =     "Ralston:1976:ECSa",
  pages =        "??--??",
  year =         "1976",
  bibdate =      "Mon Dec 31 18:40:26 2007",
  acknowledgement = ack-nhfb,
  keywords =     "FORMAC; MACSYMA",
}

@TechReport{Lewis:1976:IIM,
  author =       "E. Lewis",
  title =        "An Introduction to {ITS} for the {MACSYMA} User",
  type =         "Mathlab Memo",
  number =       "3",
  institution =  inst-MIT-AI,
  address =      inst-MIT:adr,
  month =        apr,
  year =         "1976",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@TechReport{Lewis:1976:IMU,
  author =       "Ellen Lewis",
  title =        "An introduction to {ITS} for the {MACSYMA} user",
  type =         "Mathlab memo",
  number =       "3",
  institution =  inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  edition =      "Revised",
  pages =        "49",
  year =         "1976",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system); Time-sharing computer
                 systems.",
}

@MastersThesis{Littleboy:1976:IPM,
  author =       "David Joseph Littleboy",
  title =        "An interactive primer for {MACSYMA}",
  type =         "Thesis (B.S.)",
  school =       "Massachusetts Institute of Technology, Dept. of
                 Electrical Engineering",
  pages =        "39",
  year =         "1976",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@Manual{Bogen:1977:MRM,
  author =       "Richard Bogen and Jeffrey Golden and Michael
                 Genesereth and Alexander Doohovskoy",
  title =        "{MACSYMA} reference manual: version nine",
  organization = inst-MIT,
  address =      inst-MIT:adr,
  pages =        "v + 308 + x",
  year =         "1977",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  bibsource =    "/usr/local/src/bib/siggraph/77.bib;
                 Graphics/imager/imager.77.bib;
                 Graphics/siggraph/77.bib",
  acknowledgement = ack-nhfb,
  annote =       "``This manual was written by Richard Bogen with
                 contributions by Jeffrey Golden \ldots{} [et al.].''
                 The MACSYMA Primer, published by M. I. T. in 1978,
                 attached.",
  keywords =     "MACSYMA (Computer system); Programming (Electronic
                 computers)",
}

@InProceedings{Genesereth:1977:ACM,
  author =       "Michael R. Genesereth",
  editor =       "????",
  booktitle =    "Proceedings of the 5th International Joint Conference
                 on Artificial Intelligence IJCAI-77, MIT, Cambridge,
                 Mass., August, 1977",
  title =        "An Automated Consultant for {MACSYMA}",
  publisher =    "????",
  address =      "????",
  pages =        "789--??",
  year =         "1977",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Dec 31 18:43:47 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@TechReport{Golden:1977:IMU,
  author =       "V. Ellen Golden",
  title =        "An introduction to {ITS} for the {MACSYMA} user",
  type =         "Mathlab memo",
  number =       "3",
  institution =  inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "iii + 61",
  year =         "1977",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Title from cover. Office of Naval Research contract",
  keywords =     "MACSYMA (Computer system); Time-sharing computer
                 systems.",
}

@InProceedings{Golden:1977:MDE,
  author =       "J. P. Golden",
  title =        "{MACSYMA}'s differential equation solver",
  crossref =     "Fateman:1977:PMU",
  year =         "1977",
  bibsource =    "Theory/cathode.bib",
  keywords =     "oderef",
}

@Manual{Group:1977:MRM,
  author =       "{Mathlab Group}",
  title =        "{MACSYMA} Reference Manual, Version 9",
  organization = inst-MIT-CS,
  address =      inst-MIT:adr,
  month =        dec,
  year =         "1977",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@MastersThesis{Ivie:1977:SMP,
  author =       "John Ivie",
  title =        "Some {MACSYMA} programs for solving recurrence
                 relations: research project",
  type =         "Master of Science, Plan II",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "24",
  year =         "1977",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@TechReport{Kulp:1977:RTT,
  author =       "John Laurence Kulp and Massachusetts Institute of
                 Technology. Research Laboratory of and Electronics",
  title =        "Ray trajectories in a torus --- an application of
                 {MACSYMA} to complex numerical computation",
  type =         "Plasma research report",
  number =       "PRR 77/9",
  institution =  inst-MIT-RLE,
  address =      inst-MIT-RLE:adr,
  pages =        "7 + [2]",
  year =         "1977",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Includes bibliographical references (page [8]).
                 Supported by the U.S. Energy Research and Development
                 Administration.",
}

@MastersThesis{Lueken:1977:UIF,
  author =       "E. Lueken",
  title =        "{{\"U}berlegungen zur Implementierung eines
                 Formelmanipulationssystemes}. ({German})
                 [{Considerations} for the Implementation of Formula
                 Manipulation Systems]",
  school =       "Technische Universit{\"a}t Braunschweig (??)",
  address =      "Braunschweig, Germany",
  year =         "1977",
  bibsource =    "Misc/TUBScsd.bib",
  descriptor =   "Alpak, Altran, Formac, Funktion, G.g.t., Kanonische
                 Darstellung von Polynomen, Macsyma, Mathlab, Polynom,
                 Rationale Funktion, Reduce, SAC-1, Scratchpad",
  language =     "German",
}

@InProceedings{White:1977:LDI,
  author =       "J. L. White",
  title =        "{LISP}: Data is Program, a Tutorial in {LISP}",
  crossref =     "Fateman:1977:PMU",
  pages =        "??--??",
  year =         "1977",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@InProceedings{White:1977:LPI,
  author =       "J. L. White",
  title =        "{LISP}: Program is Data, a Historical Perspective on
                 {MACLISP}",
  crossref =     "Fateman:1977:PMU",
  pages =        "??--??",
  year =         "1977",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@Manual{Anonymous:1978:MP,
  author =       "Anonymous",
  title =        "{MACSYMA} primer",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  edition =      "Revised",
  pages =        "25",
  year =         "1978",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Title from cover.",
  keywords =     "MACSYMA (Computer system)",
}

@MastersThesis{Foderaro:1978:TME,
  author =       "John Keith Foderaro",
  title =        "Typesetting {MACSYMA} equations",
  type =         "Master of Science, Plan II.",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "??",
  year =         "1978",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@Article{Ivie:1978:SMP,
  author =       "John Ivie",
  title =        "Some {Macsyma} Programs for Solving Recurrence
                 Relations",
  journal =      j-TOMS,
  volume =       "4",
  number =       "1",
  pages =        "24--33",
  month =        mar,
  year =         "1978",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database;
                 ftp://ftp.math.utah.edu/pub/tex/bib/toms.bib",
  note =         "See also \cite{Celis:1984:RCE}.",
  acknowledgement = ack-nhfb,
  classification = "921",
  journalabr =   "ACM Trans Math Software",
  keywords =     "mathematical programming",
}

@Manual{Lewis:1978:IMU,
  author =       "Ellen Lewis",
  title =        "An introduction to {ITS} for the {MACSYMA} user",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  edition =      "Revised",
  pages =        "64",
  year =         "1978",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system); Time-sharing computer
                 systems.",
}

@Manual{MathlabGroup:1978:MP,
  author =       "Mathlab Group",
  title =        "{MACSYMA} primer",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  pages =        "25",
  year =         "1978",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "``March 27, 1978.''",
  keywords =     "MACSYMA (Computer system)",
}

@Article{Sammet:1978:RPL,
  author =       "Jean E. Sammet",
  title =        "Roster of programming languages for 1976--77",
  journal =      j-SIGPLAN,
  volume =       "13",
  number =       "11",
  pages =        "56--85",
  month =        nov,
  year =         "1978",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Mon Dec 31 18:45:45 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InProceedings{Beyer:1979:LGT,
  author =       "W. A. Beyer",
  title =        "{Lie} group theory for symbolic integration of first
                 order ordinary differential equations",
  crossref =     "Lewis:1979:PMU",
  pages =        "362--384",
  year =         "1979",
  bibsource =    "Theory/cathode.bib",
}

@InProceedings{Campbell:1979:SCC,
  author =       "J. A. Campbell and P. Simon",
  title =        "Symbolic Computing with Compressable Data Structures",
  crossref =     "Ng:1979:SAC",
  pages =        "??--??",
  year =         "1979",
  bibdate =      "Mon Dec 31 18:47:20 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@MastersThesis{Favaro:1979:ISE,
  author =       "John M. Favaro",
  title =        "An interactive symbolic executor based on {MACSYMA}",
  type =         "Master of Science, Plan II.",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "",
  year =         "1979",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@InProceedings{Genesereth:1979:RPA,
  author =       "M. R. Genesereth",
  title =        "The role of plans in automated consultation",
  crossref =     "IJCAI:1979:IPS",
  pages =        "311--319",
  year =         "1979",
  bibsource =    "Theory/Comp.Alg.1.bib",
  note =         "User consultant for MACSYMA",
}

@TechReport{Golden:1979:IMU,
  author =       "V. Ellen Golden",
  title =        "An introduction to {ITS} for the {MACSYMA} user",
  type =         "Mathlab memo",
  number =       "3",
  institution =  inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  edition =      "Revised",
  pages =        "iii + 60",
  year =         "1979",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Title from cover. Office of Naval Research contract",
  keywords =     "MACSYMA (Computer system); Time-sharing computer
                 systems.",
}

@InProceedings{Ng:1979:GJC,
  author =       "E. Ng and Bruce W. Char",
  title =        "Gradient and {Jacobian} computation for numerical
                 applications",
  crossref =     "Lewis:1979:PMU",
  pages =        "604--621",
  year =         "1979",
  bibsource =    "Theory/auto.diff.bib",
  comment =      "Char -- Optimization techniques.",
  referred =     "[Char91a].",
}

@Article{Noor:1979:CSM,
  author =       "A. K. Noor and C. M. Andersen",
  title =        "Computerized Symbolic Manipulation in Structural
                 Mechanics --- Progress and Potential",
  journal =      j-COMP-STRUCTURES,
  volume =       "10",
  pages =        "95--118",
  year =         "1979",
  CODEN =        "CMSTCJ",
  ISSN =         "0045-7949",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/reduce.bib",
  annote =       "Concentrates on MACSYMA but mentions FORMAC and REDUCE
                 as also having been used in structures. Mainly finite
                 elements. Includes program and output.",
  comment =      "Concentrates on {MACSYMA} but mentions {FORMAC} and
                 {REDUCE} as also having been used in structures. Mainly
                 finite elements. Includes program and output.",
  keywords =     "Reduce",
}

@InProceedings{Pitman:1979:FLT,
  author =       "K. M. Pitman",
  title =        "A {FORTRAN} $\longrightarrow$ {LISP} Translator",
  crossref =     "Lewis:1979:PMU",
  pages =        "??--??",
  year =         "1979",
  bibdate =      "Wed Apr 10 17:09:27 2002",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wang:1979:PAC,
  author =       "P. Wang",
  title =        "Parallel $p$-adic Construction in the Univariate
                 Polynomial Factoring Algorithm",
  crossref =     "Lewis:1979:PMU",
  pages =        "310--317",
  year =         "1979",
  bibdate =      "Wed Apr 10 17:18:46 2002",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wolfram:1979:MTF,
  author =       "Steve Wolfram",
  title =        "{MACSYMA} Tools for {Feynman} Diagram Calculations",
  crossref =     "Lewis:1979:PMU",
  pages =        "??--??",
  year =         "1979",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Campbell:1980:SCL,
  author =       "J. A. Campbell and J. P. Fitch",
  title =        "Symbolic Computing with and without {LISP}",
  crossref =     "Anonymous:1980:CRL",
  pages =        "1--5",
  year =         "1980",
  bibdate =      "Mon Dec 31 18:49:57 2007",
  bibsource =    "Misc/Functional.bib",
  acknowledgement = ack-nhfb,
  keywords =     "functional LISP symbolic programming algebra REDUCE
                 MACSYMA",
}

@Manual{Fateman:1980:AMM,
  author =       "Richard J. Fateman and Mathlab Group",
  title =        "Addendum to the {Mathlab\slash MIT MACSYMA} reference
                 manual for {VAX\slash UNIX} ``{VAXIMA}''",
  organization = inst-UCB-CS,
  address =      inst-UCB-CS:adr,
  pages =        "6",
  year =         "1980",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system)",
}

@MastersThesis{Lanam:1980:PGE,
  author =       "Douglas H. Lanam",
  title =        "A package for generating and executing {Fortran}
                 programs with {Macsyma}",
  type =         "Master of Science, Plan II.",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "various",
  year =         "1980",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@Manual{MathlabGroup:1980:AMM,
  author =       "{Mathlab Group}",
  title =        "Addendum to the {Mathlab\slash MIT MACSYMA} reference
                 manual for {VAX\slash UNIX} version and {VAX\slash VMS}
                 version",
  organization = inst-UCB-CS,
  address =      inst-UCB-CS:adr,
  pages =        "5 + [3]",
  year =         "1980",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "``October 6, 1980.''",
  keywords =     "MACSYMA (Computer system)",
}

@Manual{MathlabGroup:1980:IMV,
  author =       "Mathlab Group and Richard J. Fateman",
  title =        "An introduction to {MACSYMA} for {VAX\slash UNIX}",
  organization = inst-UCB-CS,
  address =      inst-UCB-CS:adr,
  pages =        "13",
  year =         "1980",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system)",
}

@MastersThesis{Neirynck:1980:PFE,
  author =       "Anne D. Neirynck",
  title =        "Partial fraction expansion routines for {Vaxima}",
  type =         "Master of Science, Plan II.",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "39",
  year =         "1980",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@Manual{Drinkard:1981:MPC,
  author =       "R. Drew Drinkard and Nancy K. Sulinski",
  title =        "{MACSYMA}: a program for computer algebraic
                 manipulation (Demonstrations and Analysis)",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  pages =        "96",
  year =         "1981",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Reprinted by Symbolics with permission of Naval
                 Underwater Systems Center. NUSC Technical Document
                 6401.",
  keywords =     "LISP (Computer program language).",
}

@InProceedings{Fateman:1981:CAN,
  author =       "Richard J. Fateman",
  title =        "Computer Algebra and Numerical Integration",
  year =         "1981",
  crossref =     "Wang:1981:SPA",
  abstract =     "Algebraic manipulation systems such as MACSYMA include
                 algorithms and heuristic procedures for indefinite and
                 definite integration, yet these system facilities are
                 not as generally useful as might be thought. Most
                 isolated definite integration problems are more
                 efficiently tackled with numerical
                 programs. Unfortunately, the answers obtained are
                 sometimes incorrect, in spite of assurances of
                 accuracy; furthermore, large classes of problems can
                 sometimes be solved more rapidly by preliminary
                 algebraic transformations. In this paper we indicate
                 various directions for improving the usefulness of
                 integration programs given closed form integrands, via
                 algebraic manipulation techniques. These include
                 expansions in partial fractions or Taylor series,
                 detection and removal of singularities and symmetries,
                 and various approximation techniques for troublesome
                 problems.",
  acknowledgement = ack-nhfb,
  pages =        "228--232",
  bibdate =      "Mon Apr 25 07:01:52 2005",
}

@InProceedings{Foderaro:1981:CVM,
  author =       "J. K. Foderaro and R. J. Fateman",
  title =        "Characterization of {VAX Macsyma}",
  crossref =     "Wang:1981:SPA",
  pages =        "14--19",
  year =         "1981",
  bibsource =    "Theory/Comp.Alg.1.bib",
  bibdate =      "Wed Apr 10 17:11:39 2002",
}

@MastersThesis{Freedman:1981:IPP,
  author =       "Daniel Freedman",
  title =        "An integrated plotting package for {VAX\slash} {Unix
                 Macsyma}",
  type =         "Master of Science, Plan II.",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "??",
  year =         "1981",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
}

@Article{Reiman:1981:CCL,
  author =       "Allan Reiman",
  title =        "Computer-Aided Closure of the {Lie} Algebra Associated
                 with a Nonlinear Partial Differential Equation",
  journal =      j-COMP-MATH-APPL,
  volume =       "7",
  number =       "5",
  pages =        "387--393",
  month =        "????",
  year =         "1981",
  CODEN =        "CMAPDK",
  ISSN =         "0097-4943",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921; 932",
  journalabr =   "Comput Math Appl",
  keywords =     "computer programming --- Subroutines; MACSYMA;
                 mathematical techniques; plasmas",
}

@Article{Claude:1982:AMN,
  author =       "Daniel Claude and Pierre Dufresne",
  title =        "Application of {Macsyma} to Nonlinear Systems
                 Decoupling",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "144",
  pages =        "294--301",
  year =         "1982",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-11607-9",
  ISSN =         "0302-9743",
  LCCN =         "QA267.A1 L43 no.144",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921",
  conference =   "Computer Algebra, EUROCAM '82, European Computer
                 Algebra Conference.",
  journalabr =   "Lect Notes Comp Sci",
  keywords =     "algebraic manipulations; algorithms; closed loop
                 systems; mathematical techniques; nonlinear system
                 decoupling; programming language MACSYMA",
  meetingaddress = "Marseille, Fr",
  sponsor =      "ACM, Special Interest Group on Symbolic \& Algebraic
                 Manipulation, New York, NY, USA",
}

@TechReport{Fateman:1982:AMR,
  author =       "Richard J. Fateman",
  title =        "Addendum to the {MACSYMA} Reference Manual for the
                 {VAX}",
  type =         "Technical Report",
  institution =  "Computer Science Division, University of California,
                 Berkeley",
  year =         "1982",
  bibsource =    "/usr/local/src/bib/siggraph/82.bib;
                 Graphics/imager/imager.82.bib;
                 Graphics/siggraph/82.bib",
  keywords =     "systems",
}

@Manual{Fateman:1982:MPV,
  author =       "Richard J. Fateman",
  title =        "{MACSYMA} primer for {VAX\slash UNIX}",
  organization = inst-UCB-CS,
  address =      inst-UCB-CS:adr,
  pages =        "32",
  year =         "1982",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  series =       "UNX; 6.3.1 UNX; 6.3.1.",
  acknowledgement = ack-nhfb,
  annote =       "``Chapter 1.''",
  keywords =     "MACSYMA (Computer system)",
}

@Manual{Golden:1982:IMD,
  author =       "V. Ellen Golden and {Mathlab Group}",
  title =        "Introductory {MACSYMA} documentation: a collection of
                 papers: (a) An introduction to {ITS} for the {Macsyma}
                 user, (b) {ITS} easy once {ITS} explained, and (c)
                 {Macsyma} primer",
  organization = inst-MIT-LCS,
  address =      inst-MIT-LCS:adr,
  edition =      "Revised",
  pages =        "118",
  year =         "1982",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Cover title. Includes index. An introduction to ITS
                 for the MACSYMA user / V. Ellen Golden.-- ITS easy once
                 ITS explained / V. Ellen Golden.--MACSYMA primer /
                 Mathlab Group.",
  keywords =     "MACSYMA (Computer system)",
}

@Manual{Golden:1982:IMU,
  author =       "V. Ellen Golden",
  title =        "An Introduction to {ITS} for the {MACSYMA} user",
  organization = inst-MIT-LCS,
  address =      inst-MIT-LCS:adr,
  pages =        "118",
  year =         "1982",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Spine title: Introductory MACSYMA documentation: a
                 collection of papers.",
  keywords =     "MACSYMA (Computer system).",
}

@Article{vanHulzen:1982:CAS,
  author =       "J. A. {van Hulzen}",
  title =        "Computer Algebra Systems Viewed by a Notorious User",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "144",
  pages =        "166--180",
  year =         "1982",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-11607-9",
  ISSN =         "0302-9743",
  LCCN =         "QA267.A1 L43 no.144",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921",
  conference =   "Computer Algebra, EUROCAM '82, European Computer
                 Algebra Conference.",
  journalabr =   "Lect Notes Comp Sci",
  keywords =     "algorithms; computer algebra systems; mathematical
                 techniques; polynomials; programming languages; Vaxima
                 system",
  meetingaddress = "Marseille, Fr",
  sponsor =      "ACM, Special Interest Group on Symbolic \& Algebraic
                 Manipulation, New York, NY, USA",
}

@Article{Wang:1982:HAV,
  author =       "Paul S. Wang",
  title =        "{Hacijan}'s Algorithm in {Vaxima}: Improvements and
                 Difficulties",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "144",
  pages =        "135--143",
  year =         "1982",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-11607-9",
  ISSN =         "0302-9743",
  LCCN =         "QA267.A1 L43 no.144",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921",
  conference =   "Computer Algebra, EUROCAM '82, European Computer
                 Algebra Conference.",
  journalabr =   "Lect Notes Comp Sci",
  keywords =     "Hacijan's algorithm; hyperplanes; mathematical
                 programming, linear; polynomials; theorems; Vaxima
                 system; volume reduction",
  meetingaddress = "Marseille, Fr",
  sponsor =      "ACM, Special Interest Group on Symbolic \& Algebraic
                 Manipulation, New York, NY, USA",
}

@Manual{Bogen:1983:MRMa,
  author =       "Richard Bogen and Jeffrey Golden",
  title =        "{MACSYMA} reference manual",
  organization = inst-MIT-MLG,
  address =      inst-MIT-MLG:adr,
  edition =      "Version 10, first printing",
  pages =        "??",
  year =         "1983",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Includes an appendix on VAXIMA on Berkeley UNIX.",
  keywords =     "Algebra -- Data processing.; MACSYMA (Computer
                 system)",
}

@Manual{Bogen:1983:MRMb,
  author =       "Richard Bogen",
  title =        "{MACSYMA} Reference Manual, Version 10",
  organization = inst-MIT-CS,
  address =      inst-MIT:adr,
  month =        dec,
  year =         "1983",
  bibsource =    "Ai/lisp.bib",
  note =         "2nd Printing, Vol. I",
  keywords =     "LISP",
  stand =        "LISP-Museum, Stehsammler 1983",
}

@InCollection{Deken:1983:SCS,
  author =       "Joseph Deken",
  title =        "Symbolic Computing and Statistics",
  crossref =     "Heiner:1983:CSS",
  pages =        "70--73",
  year =         "1983",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  conference =   "Computer Science and Statistics: Proceedings of the
                 14th Symposium on the Interface.",
  keywords =     "algebraic manipulation; computer metatheory; Lisp
                 machine; MACSYMA program; symbolic computing; symbolic
                 integration; Taylor series",
  meetingaddress = "Troy, NY, USA",
}

@InProceedings{Gong:1983:LMH,
  author =       "Gail Gong",
  title =        "Letting {Macsyma} Help",
  crossref =     "Gentle:1983:CSS",
  pages =        "237--244",
  year =         "1983",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921; 922",
  conference =   "Computer Science and Statistics: Proceedings of the
                 15th Symposium on the Interface.",
  keywords =     "autoregressive process; computer software;
                 eigenvalues; Green's matrix; Jacobi matrix;
                 perturbation theory; power method",
  meetingaddress = "Houston, TX, USA",
  sponsor =      "US Dep of the Navy, Office of Naval Research,
                 Washington, DC, USA; NSF, Washington, DC, USA; IMSL
                 Inc, Houston, Tex, USA; American Statistical Assoc,
                 Washington, DC, USA; ACM, New York, NY, USA; Int Assoc
                 for Statistical Computing, Voorburg, Neth",
}

@Manual{Group:1983:MRM,
  author =       "{Mathlab Group}",
  title =        "{MACSYMA} Reference Manual, Version Ten",
  organization = inst-MIT-CS,
  address =      inst-MIT:adr,
  year =         "1983",
  bibdate =      "Wed Apr 10 16:03:08 2002",
}

@Article{Hermann:1983:GCP,
  author =       "R. Hermann",
  title =        "Geometric Construction and Properties of Some Families
                 of Solutions of Nonlinear Partial Differential
                 Equations",
  journal =      j-J-MATH-PHYS,
  volume =       "24",
  number =       "3",
  pages =        "510--521",
  year =         "1983",
  CODEN =        "JMAPAQ",
  ISSN =         "0022-2488",
  bibdate =      "Fri Jan 2 11:29:38 1998",
  bibsource =    "Theory/reduce.bib",
  comment =      "First of series of papers on 19th century pde theory.
                 The presentation is aimed at including systems such as
                 {MACSYMA} and {REDUCE} as tools. This paper is on
                 Lagrange-Charpit method. ``I have in mind developing
                 the differential algebraic aspects of the formalism,
                 going beyond the 19th century with the aid of symbolic
                 computer systems''.",
}

@Misc{Hulshof:1983:R,
  author =       "B. Hulshof and A. van-Hulzen and others",
  title =        "{REDUCE}",
  journal =      j-SIGSAM,
  volume =       "17",
  number =       "1",
  pages =        "16--44",
  year =         "1983",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824",
  bibsource =    "Distributed/QLD.bib; Distributed/QLD/1983.bib",
  annote =       "Titles of articles: --- Some REDUCE facilities for
                 pretty printing subscripts and formal derivatives. ---
                 About the realization of an extended, but really
                 interactive REDUCE by integration of a small editing
                 and executing system. --- REDUCE 2 for CP/M. --- A
                 comparison of the MACSYMA and REDUCE. --- Data
                 structures and execution times of algebraic mode
                 programs for REDUCE. --- A REDUCE package for series
                 analysis by Hadamard's theorem and QD schemes.",
  country =      "USA",
  date =         "29/04/83",
  descriptors =  "REDUCE; MACSYMA; LISP; operating system; symbolic
                 algebraic computation;",
  enum =         "1437",
  language =     "English",
  location =     "RWTH-AC-DFV: Bibl.",
  references =   "0",
  revision =     "19/03/92",
}

@TechReport{Hussain:1983:AMC,
  author =       "M. A. Hussain and Ben Noble",
  title =        "Applications of {MACSYMA} to calculations in applied
                 mathematics",
  type =         "Corporate Research and Development Report",
  number =       "83CRD054 (Technical information series)",
  institution =  org-GENERAL-ELECTRIC,
  address =      org-GENERAL-ELECTRIC:adr,
  pages =        "32",
  year =         "1983",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Cover title. Bibliography: p. 19--22.",
  keywords =     "Computer science -- Mathematics.; MACSYMA (Computer
                 system)",
}

@Article{Macala:1983:SCP,
  author =       "Glenn A. Macala",
  title =        "{Symbod}: a Computer Program for the Automatic
                 Generation of Symbolic Equations of Motion for Systems
                 of Hinge-Connected Rigid Bodies",
  journal =      "AIAA Paper",
  year =         "1983",
  CODEN =        "AAPRAQ",
  ISSN =         "0146-3705",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "654; 723; 931",
  conference =   "AIAA 21st Aerospace Sciences Meeting.",
  journalabr =   "AIAA Paper",
  keywords =     "connection geometry of bodies; dynamical formulation;
                 formulation coding; hinge-connected rigid bodies with
                 tree topologies; mass properties of each body in
                 system; mechanics; symbolic language MACSYMA",
  meetingaddress = "Reno, NV, USA",
  pagecount =    "9",
  sponsor =      "AIAA, New York, NY, USA",
}

@Manual{Mathlab:1983:MRMa,
  author =       "{MATHLAB Group}",
  title =        "{MACSYMA} Reference Manual",
  organization = inst-MIT-CS,
  address =      inst-MIT-CS:adr,
  edition =      "Tenth",
  month =        jan,
  year =         "1983",
  bibdate =      "Sun Feb 11 06:22:36 1996",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Manual{Mathlab:1983:MRMb,
  author =       "{The Mathlab Group, Lab. for Computer Science, MIT}",
  title =        "{MACSYMA} Reference Manual, Version 10, Volume {I}",
  organization = org-SYMBOLICS,
  address =      org-SYMBOLICS:adr,
  edition =      "Second printing",
  month =        dec,
  year =         "1983",
  bibsource =    "Ai/symbolics.bib",
}

@Manual{Mathlab:1983:MRMc,
  author =       "{The Mathlab Group, Lab. for Computer Science, MIT}",
  title =        "{MACSYMA} Reference Manual, Version 10, Volume {II}",
  organization = org-SYMBOLICS,
  address =      org-SYMBOLICS:adr,
  edition =      "Second printing",
  month =        dec,
  year =         "1983",
  bibsource =    "Ai/symbolics.bib",
}

@Manual{MathlabGroup:1983:MRM,
  author =       "Mathlab Group and Massachusetts Institute of
                 Technology. Laboratory for Computer and Science",
  title =        "{MACSYMA} reference manual",
  organization = inst-MIT,
  address =      inst-MIT:adr,
  edition =      "Version ten",
  pages =        "??",
  year =         "1983",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Includes index. Bibliography: v. 1, p. VI-1-VI-6.",
  keywords =     "LISP (Computer program language); MACSYMA (Computer
                 system)",
}

@Book{Moller-Holst:1983:ITM,
  author =       "Johan M{\o}ller-Holst",
  title =        "Introduksjon til {MACSYMA}",
  publisher =    "Kjeller: Forsvarets forskningsinstitut",
  address =      "???, Norway",
  pages =        "117",
  year =         "1983",
  ISBN =         "",
  LCCN =         "",
  bibdate =      "Wed Apr 10 16:08:56 2002",
  acknowledgement = ack-nhfb,
  language =     "Norwegian",
}

@Article{Norman:1983:CVR,
  author =       "Arthur C. Norman and Paul S. Wang",
  title =        "A Comparison of the {Vaxima} and {REDUCE}
                 Factorization Packages",
  journal =      j-SIGSAM,
  volume =       "17",
  number =       "1",
  pages =        "28--30",
  month =        feb,
  year =         "1983",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824",
  bibdate =      "Thu Mar 20 16:02:15 MST 1997",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/reduce.bib;
                 Theory/sigsam.bib",
  acknowledgement = ack-nhfb,
  classcodes =   "C6150C (Compilers, interpreters and other processors);
                 C7310 (Mathematics computing)",
  corpsource =   "Computer Lab., Univ. of Cambridge, Cambridge, UK",
  issue =        "65",
  keywords =     "compilers; factorization packages; Macsyma;
                 mathematics; program compilers; program interpreters;
                 Reduce; REDUCE; Vaxima",
  treatment =    "P Practical",
}

@Article{Wester:1983:EMC,
  author =       "Michael Wester and Stanly Steinberg",
  title =        "An extension to {MACSYMA}'s concept of functional
                 differentiation",
  journal =      j-SIGSAM,
  volume =       "17",
  number =       "3/4",
  pages =        "25--30",
  month =        aug # "/" # nov,
  year =         "1983",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824",
  bibdate =      "Sat Aug 13 17:21:21 MDT 1994",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/sigsam.bib",
  acknowledgement = ack-nhfb,
  keywords =     "design; languages",
  subject =      "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION,
                 Languages and Systems, MACSYMA \\ D.2.5 Software,
                 SOFTWARE ENGINEERING, Testing and Debugging, Symbolic
                 execution \\ F.3.3 Theory of Computation, LOGICS AND
                 MEANINGS OF PROGRAMS, Studies of Program Constructs,
                 Functional constructs \\ G.1 Mathematics of Computing,
                 NUMERICAL ANALYSIS, Partial Differential Equations",
}

@InProceedings{Andrews:1984:RS,
  author =       "George E. Andrews",
  title =        "{Ramanujan} and {SCRATCHPAD}",
  crossref =     "Golden:1984:PMU",
  pages =        "383--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Anon:1984:SSV,
  author =       "Anon",
  title =        "54Th Symposium on Shock and Vibration",
  journal =      "Shock and Vibration Bulletin",
  month =        jun,
  year =         "1984",
  CODEN =        "SVBUA4",
  bibdate =      "Tue Nov 10 07:54:58 1998",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "404; 421; 422; 601; 914; 931",
  conference =   "54th Symposium on Shock and Vibration.",
  journalabr =   "Shock Vibrat Bull",
  keywords =     "drop-table tests; explosions; gears; hard silo;
                 MACSYMA; MIL-STD-810D; military equipment; shock
                 response spectra; shock testing; structural analysis
                 --- Dynamic Response; vibrations",
  meetingaddress = "Pasadena, CA, USA",
  pagecount =    "541",
  sponsor =      "JPL, Pasadena, CA, USA",
}

@InProceedings{Baker:1984:PCN,
  author =       "Johnnie W. Baker and Oberta Slotterberg",
  title =        "Providing a Complex Number Environment for {MACSYMA}
                 and {VAXIMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "39--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Bannister:1984:MLD,
  author =       "Kenneth A. Bannister",
  title =        "{MACSYMA}-Aided Large Deformation Analysis of a
                 Cylindrical Shell Under Pure Bending",
  crossref =     "Golden:1984:PMU",
  pages =        "140--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Berman:1984:MPC,
  author =       "Robert H. Berman",
  title =        "Measuring the Performance of a Computational Physics
                 Environment",
  crossref =     "Golden:1984:PMU",
  pages =        "244--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Beyer:1984:SSP,
  author =       "William A. Beyer",
  title =        "Solution of Simultaneous Polynomial Equations by
                 Elimination in {MACSYMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "110--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Brenner:1984:SLA,
  author =       "Richard L. Brenner",
  title =        "Simplifying Large Algebraic Expressions by Computer",
  crossref =     "Golden:1984:PMU",
  pages =        "50--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Carrette:1984:RUM,
  author =       "George J. Carrette",
  title =        "Results in Unexpected {MACSYMA} Implementation
                 Environments",
  crossref =     "Golden:1984:PMU",
  pages =        "292--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Celis:1984:RCE,
  author =       "Pedro Celis",
  title =        "Remark: Corrections and Errors in {John Ivie}'s Some
                 {MACSYMA} Programs for Solving Recurrence Relations",
  journal =      j-TOMS,
  volume =       "10",
  number =       "4",
  pages =        "477--478",
  month =        dec,
  year =         "1984",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500",
  bibdate =      "Sun Sep 04 20:32:29 1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/tex/bib/toms.bib",
  note =         "See \cite{Ivie:1978:SMP}.",
  acknowledgement = ack-nhfb,
}

@InProceedings{Char:1984:DPM,
  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",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Connor:1984:UAS,
  author =       "J. N. L. Connor and P. R. Curtis and D. Farrelly",
  title =        "The Uniform Asymptotic Swallowtail Approximation:
                 Practical Methods for Oscillating Integrals with Four
                 Coalescing Saddle Points",
  journal =      j-J-PHYS-A,
  volume =       "17",
  pages =        "283--310",
  year =         "1984",
  CODEN =        "JPHAC5",
  ISSN =         "0305-4470",
  bibsource =    "ftp://ftp.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Used {REDUCE} and {SCHOONSCHIP} for some algebraic
                 manipulations, and then checked the results with
                 {MACSYMA}; this is the most distrustful reference we
                 have found.",
}

@InProceedings{Cooperman:1984:ATM,
  author =       "Gene Cooperman",
  title =        "An Alternative Top-Level for {MACSYMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "356--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Cuthill:1984:EII,
  author =       "Elizabeth Cuthill",
  title =        "Evaluating Infinite Integrals Using {MACSYMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "291--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Drinkard:1984:TPU,
  author =       "R. Drew {Drinkard, Jr.}",
  title =        "A Tutorial on Particular Uses of {MACSYMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "186--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Engelman:1984:TTD,
  author =       "Paul D. Engelman",
  title =        "Two to Three Dimensional Mapping",
  crossref =     "Golden:1984:PMU",
  pages =        "313--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Fateman:1984:RAM,
  author =       "R. J. Fateman and J. Foderaro and G. Foster and R.
                 McGeer and N. Soiffer and C. J. Williamson",
  title =        "Research in Algebraic Manipulation at the {University
                 of California, Berkeley}",
  crossref =     "Golden:1984:PMU",
  pages =        "188--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@MastersThesis{Frakes:1984:NSA,
  author =       "Joseph P. Frakes",
  title =        "Numeric-analytic solutions with the aid of {MACSYMA}
                 of the {Von Karman} equations for a circular plate
                 under a concentrated load",
  type =         "Thesis (M.S.A. Math.)",
  school =       "University of Virginia",
  address =      "Charlottesville, VA, USA",
  pages =        "v + 61 + 7",
  year =         "1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system); Von Karman equations.",
}

@MastersThesis{Gates:1984:DIA,
  author =       "Barbara Louise Gates",
  title =        "The design and implementation of an automatic {RATFOR}
                 code generator for {VAXIMA}",
  type =         "Thesis (M.S.)",
  school =       inst-KENT-STATE-UNIV,
  address =      inst-KENT-STATE-UNIV:adr,
  pages =        "iv + 93",
  year =         "1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Code generators.",
}

@InProceedings{Gates:1984:LRC,
  author =       "B. L. Gates and Paul S. Wang",
  title =        "A {LISP}-based {RATFOR} Code Generator",
  crossref =     "Golden:1984:PMU",
  pages =        "319--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Golden:1984:CGH,
  author =       "V. Ellen Golden",
  title =        "Computational Geography --- The Habitats of the
                 Migratory {Macsyma}",
  crossref =     "Golden:1984:PMU",
  pages =        "362--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Harten:1984:AMS,
  author =       "Leo Harten",
  title =        "Applications of {MACSYMA} in Solving Lineaar Systems
                 of Differential Equations",
  crossref =     "Golden:1984:PMU",
  pages =        "122--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Periodical{Harten:1984:MAN,
  editor =       "L. P. Harten",
  key =          "MACSYMA Applications Newsletter",
  title =        "{MACSYMA Applications Newsletter}",
  volume =       "1",
  number =       "1",
  publisher =    pub-PARADIGM,
  address =      pub-PARADIGM:adr,
  month =        jul,
  year =         "1984",
  bibsource =    "Ai/lisp.bib",
  keywords =     "LISP",
}

@InProceedings{Hollis:1984:HBM,
  author =       "P. Hollis and D. L. Taylor",
  title =        "{Hopf} Bifurcation in Multi-Degree-of-Freedom Systems
                 Using {MACSYMA}",
  crossref =     "Golden:1984:PMU",
  pages =        "169--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Jenks:1984:NSL,
  author =       "Richard D. Jenks",
  title =        "The New {SCRATCHPAD} Language and System for Computer
                 Algebra",
  crossref =     "Golden:1984:PMU",
  pages =        "409--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Leu:1984:ASD,
  author =       "M. C. Leu and N. Hemati",
  title =        "Automated Symbolic Derivation of Dynamic Equations of
                 Motion for Robotic Manipulators",
  crossref =     "Stelson:1984:SCA",
  pages =        "193--206",
  year =         "1984",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Cornell Univ, Sibley Sch of Mechanical \& Aerospace
                 Engineering, Ithaca, NY, USA",
  affiliationaddress = "Cornell Univ, Sibley Sch of Mechanical \&
                 Aerospace Engineering, Ithaca, NY, USA",
  classification = "721; 723; 731; 921; 931",
  conference =   "Sensors and Controls for Automated Manufacturing and
                 Robotics. Presented at the Winter Annual Meeting of the
                 American Society of Mechanical Engineers.",
  keywords =     "computer programming --- Algorithms; double pendulum;
                 equations of motion; Lagrange formalism; MACSYMA;
                 manipulator dynamic equations; Manipulators; modified
                 Stanford arm; multi-degree-of-freedom manipulators;
                 robots, industrial",
  meetingaddress = "New Orleans, LA, USA",
  sponsor =      "ASME, Dynamic Systems \& Control Div, New York, NY,
                 USA",
}

@InProceedings{Mejia:1984:SAS,
  author =       "Raymond Mejia",
  title =        "Some Applications of Symbolic Manipulation in
                 Biomathematics",
  crossref =     "Golden:1984:PMU",
  pages =        "35--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Periodical{Paradigm:1984:MAN,
  author =       "{Paradigm Associates}",
  title =        "{MACSYMA} applications newsletter",
  publisher =    pub-PARADIGM,
  address =      pub-PARADIGM:adr,
  year =         "1984",
  ISSN =         "8756-3762",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  alttitle =     "MACSYMA applications newsletter",
  annote =       "Description based on: Vol. 1, no. 2 (Aug. 1984); title
                 from caption.",
}

@MastersThesis{Powell:1984:ATF,
  author =       "Carl Robert Powell",
  title =        "An Automatic Testing Facility for {Vaxima}",
  type =         "Thesis (M.S.)",
  school =       inst-KENT-STATE-UNIV,
  address =      inst-KENT-STATE-UNIV:adr,
  pages =        "iv + 53",
  year =         "1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Computer programs -- Testing.",
}

@Book{Rand:1984:CAA,
  author =       "R. H. (Richard H.) Rand",
  title =        "Computer algebra in applied mathematics: an
                 introduction to {MACSYMA}",
  number =       "94",
  publisher =    pub-PITMAN,
  address =      pub-PITMAN:adr,
  pages =        "181",
  year =         "1984",
  ISBN =         "0-273-08632-4 (paperback)",
  LCCN =         "QA155.7.E4 R36 1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  price =        "US\$20.00",
  series =       "Research notes in mathematics",
  acknowledgement = ack-nhfb,
  keywords =     "Algebra -- Applications of computer systems; Algebra
                 -- Data processing.; MACSYMA (Computer system)",
}

@InProceedings{Schenck:1984:AMB,
  author =       "J. F. Schenck and M. A. Hussain",
  title =        "Application of {MACSYMA} to a Boundary Value Problem
                 Arising in Nuclear Magnetic Resonance Imaging",
  crossref =     "Golden:1984:PMU",
  pages =        "38--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Schwarz:1984:AC,
  author =       "F. Schwarz",
  title =        "{Algebra mit dem Computer}",
  journal =      "GMD-SPIEGEL",
  volume =       "2",
  pages =        "4--6",
  year =         "1984",
  bibsource =    "Distributed/QLD.bib; Distributed/QLD/1984.bib",
  annote =       "\ldots{} die beiden bedeutendsten Computer-algebra
                 (CA) Systeme, Macsyma und Reduce, sind seit kurzem auch
                 in der GMD Verfuegbar. bis jetzt haben sie zahlreiche
                 Anwendungen auf Probleme gefunden, die im zusammenhang
                 mit nichtlinearen Differentialgleichungen a uftreten.",
  country =      "D",
  date =         "17/09/84",
  descriptors =  "REDUCE; MACSYMA; symbolic algebraic computation;",
  enum =         "2824",
  language =     "German",
  location =     "RWTH-AC-DFV: Bibl.",
  references =   "0",
  revision =     "21/04/91",
}

@InProceedings{Stanat:1984:FLM,
  author =       "Donald F. Stanat",
  title =        "A Functional Language Machine and its Programming",
  crossref =     "Golden:1984:PMU",
  pages =        "371--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Steinberg:1984:UVW,
  author =       "Stanley Steinberg and P. Roache",
  title =        "Using {VAXIMA} to Write {Fortran} Code",
  crossref =     "Golden:1984:PMU",
  pages =        "1--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Stoutemyer:1984:WPR,
  author =       "David R. Stoutemyer",
  title =        "Which Polynomial Representation is Best?",
  crossref =     "Golden:1984:PMU",
  pages =        "221--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Suarez:1984:CAA,
  author =       "M. L. Suarez",
  title =        "Computer Algebra Applied to {Kalman} Filtering",
  crossref =     "Golden:1984:PMU",
  pages =        "188--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Periodical{Symbolics:1984:MN,
  author =       "{Symbolics, Inc. Computer Aided Mathematics Group}",
  title =        "{MACSYMA} newsletter",
  publisher =    org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  year =         "1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Algebra -- Data processing -- Periodicals.; Electronic
                 data processing -- Mathematics -- Periodicals.; LISP
                 (Computer program language) -- Periodicals.; MACSYMA
                 (Computer system) -- Periodicals.",
}

@Manual{Symbolics:1984:MRM,
  author =       "{Symbolics, Inc.} and {Mathlab Group}",
  title =        "{MACSYMA} reference manual",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  edition =      "Version ten",
  year =         "1984",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  note =         "Two volumes.",
  acknowledgement = ack-nhfb,
  annote =       "On t.p. the registered trademark symbol ``TM'' is
                 superscript following ``MACSYMA'' in the title.
                 Computer programming system developed by the Mathlab
                 Group of the MIT Laboratory for Computer Science
                 (formerly Project MAC) and currently supported and
                 distributed by Symbolics Inc. Cf. Introd., vol. 1.
                 Includes index. Bibliography: v. 1, p. F-1-F-5",
  keywords =     "LISP (Computer program language)",
}

@InProceedings{Wang:1984:MFE,
  author =       "Paul S. Wang",
  title =        "{MACSYMA}-Aided Finite Element Analysis",
  crossref =     "Golden:1984:PMU",
  pages =        "23--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Wester:1984:SSD,
  author =       "Michael Wester and Stanly Steinberg",
  title =        "A Survey of Symbolic Differentiation Implementations",
  crossref =     "Golden:1984:PMU",
  pages =        "330--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Wilcox:1984:ASS,
  author =       "Ralph Wilcox and Leo Harten",
  title =        "Analytical Solutions to Some Linear Systems of
                 Differential Equation",
  crossref =     "Golden:1984:PMU",
  pages =        "138--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Wolfram:1984:FYS,
  author =       "Steve Wolfram",
  title =        "Five Years of {SMP}",
  crossref =     "Golden:1984:PMU",
  pages =        "220--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Wood:1984:OSP,
  author =       "David L. Wood",
  title =        "An Overdetermined System of Partial Differential
                 Equations",
  crossref =     "Golden:1984:PMU",
  pages =        "121--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Yagla:1984:SCF,
  author =       "J. J. Yagla",
  title =        "Stability Criteria for Finite Difference Equations",
  crossref =     "Golden:1984:PMU",
  pages =        "294--??",
  year =         "1984",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Bessis:1985:CED,
  author =       "N. Bessis and G. Bessis and D. Roux",
  title =        "Closed-Form Expressions for the {Dirac-Coulomb} Radial
                 $r^{t}$ Integrals",
  journal =      j-PHYS-REV-A,
  volume =       "32",
  pages =        "2044--2050",
  year =         "1985",
  CODEN =        "PLRAAN",
  ISSN =         "1050-2947",
  bibsource =    "Theory/reduce.bib",
  comment =      "No direct algebraic manipulation, but the formula is
                 stated to be well suited to evaluation by {REDUCE} or
                 {MACSYMA}, and this is an advantage of their formula.",
}

@TechReport{DeLoatch:1985:MUA,
  author =       "Sandra J. DeLoatch and Langley Research Center and
                 Norfork State College",
  title =        "{MACSYMA} usage at {Langley}",
  type =         "{Central Scientific Computing Complex document Z-1;
                 NASA contractor report NASA CR 172518}",
  institution =  "Norfolk State College",
  address =      "Norfolk, VA, USA",
  pages =        "??",
  year =         "1985",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "``February 1985.'' ``Prepared under contract
                 NAS1-16921.'' Bibliography: p. 62. Microfiche.
                 [Washington, DC, USA?: National Aeronautics and Space
                 Administration], 1985. 1 microfiche; 11 x 15 cm.",
  govtdocnumber = "NAS 1.26:172518 830-H-14 (microfiche)",
  keywords =     "Computer programs.",
}

@Article{Golden:1985:DUF,
  author =       "Jeffery P. Golden",
  title =        "Differentiation of unknown functions in {MACSYMA}",
  journal =      j-SIGSAM,
  volume =       "19",
  number =       "2",
  pages =        "19--24",
  month =        may,
  year =         "1985",
  CODEN =        "SIGSBZ",
  ISSN =         "0163-5824",
  bibdate =      "Sat Aug 13 17:21:21 MDT 1994",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/sigsam.bib",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms",
  subject =      "F.2.2 Theory of Computation, ANALYSIS OF ALGORITHMS
                 AND PROBLEM COMPLEXITY, Nonnumerical Algorithms and
                 Problems, Sorting and searching \\ G.2.1 Mathematics of
                 Computing, DISCRETE MATHEMATICS, Combinatorics,
                 Generating functions",
}

@Book{Harten:1985:SLD,
  author =       "Leo P. Harten and George J. Carrette",
  title =        "Share Library in {DOE-MACSYMA}",
  publisher =    "ISA",
  address =      "Research Triangle Park, NC, USA",
  pages =        "99--102",
  year =         "1985",
  ISBN =         "0-87664-872-3",
  LCCN =         "????",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Paradigm Associates Inc, Cambridge, MA, USA",
  classification = "722; 723; 731",
  conference =   "Robotics and Expert Systems --- 1985, Proceedings of
                 ROBEXS '85, The First Annual Workshop.",
  keywords =     "codes, symbolic; computer programming languages ---
                 Lisp; computer systems, digital --- Time Sharing; data
                 processing --- Data Structures; hierarchical directory
                 structure; MACSYMA symbolic computation program; share
                 library; systems science and cybernetics ---
                 Hierarchical Systems; user-contributed codes",
  meetingaddress = "Houston, TX, USA",
  sponsor =      "ISA, Robotics \& Expert Systems Div, Research Triangle
                 Park, NC, USA; ISA, Clear Lake-Galveston Section, TX,
                 USA; ISA, District 7, USA",
}

@Article{Hussain:1985:EFE,
  author =       "M. A. Hussain and B. Noble",
  title =        "Equivalent Formulation of Equations of Motion for
                 Complex Dynamical Systems Using Computer Algebra",
  journal =      "Computers in Engineering, Proceedings of the
                 International Computers in Engineering Conference and",
  volume =       "1",
  pages =        "483--489",
  year =         "1985",
  CODEN =        "COENEF",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "GE, Corporate Research \& Development Cent,
                 Schenectady, NY, USA",
  classification = "655; 723; 731; 921; 931",
  conference =   "Computers in Engineering 1985, Proceedings of the 1985
                 ASME International Computers in Engineering Conference
                 and Exhibition.",
  journalabr =   "Computers in Engineering, Proceedings of the
                 International Computers in Engineering Conference and
                 Exhibit 1985",
  keywords =     "complex dynamical systems; complex spacecraft;
                 Computer Aided Analysis; computer algebra; computer
                 programming --- Applications; computer symbolic
                 manipulation; equations of motion; MACSYMA program;
                 spacecraft",
  meetingaddress = "Boston, MA, USA",
  sponsor =      "ASME, Computer Engineering Div, New York, NY, USA",
}

@Article{Ju:1985:CSF,
  author =       "M. S. Ju and J. M. Mansour",
  title =        "Comparative Studies of Formulating the Dynamics of
                 Rigid-Body Systems Using {Macsyma} --- a Case Study",
  journal =      "Developments in Mechanics",
  volume =       "13",
  pages =        "185--186",
  year =         "1985",
  CODEN =        "DEMEAX",
  ISSN =         "0419-0262",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Case Western Reserve Univ, Cleveland, OH, USA",
  classification = "461; 601; 921; 931",
  conference =   "Proceedings of the 19th Midwestern Mechanics
                 Conference.",
  journalabr =   "Developments in Mechanics",
  keywords =     "biomechanics; computational efficiency; equations of
                 motion; mathematical techniques; mechanisms; pattern
                 matching algorithm; rigid-body systems",
  meetingaddress = "Columbus, OH, USA",
  sponsor =      "Ohio State Univ, Dep of Engineering Mechanics,
                 Columbus, OH, USA",
}

@Article{Month:1985:SRBa,
  author =       "L. A. Month and R. H. Rand",
  title =        "Stability of a Rigid Body with an Oscillating
                 Particle: an Application of {Macsyma}",
  journal =      "American Society of Mechanical Engineers (Paper)",
  year =         "1985",
  CODEN =        "ASMSA4",
  ISSN =         "0402-1215",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of California, Berkeley, De