%%% -*-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, Dep of Mechanical
                 Engineering, Berkeley, CA, USA",
  affiliationaddress = "Univ of California, Berkeley, Dep of Mechanical
                 Engineering, Berkeley, CA, USA",
  classification = "723; 921; 931",
  conference =   "1985 Joint ASME\slash ASCE Applied Mechanics, Fluids
                 Engineering and Bioengineering Conference.",
  journalabr =   "Am Sco Mech Eng Pap",
  keywords =     "Computer Aided Analysis; dynamics; MACSYMA computer
                 algebra system; mathematical techniques --- Algebra;
                 oscillations; rigid body stability; rotation",
  meetingaddress = "Albuquerque, NM, USA",
  pagecount =    "7",
  sponsor =      "ASME, New York, NY, USA; ASCE, New York, NY, USA",
}

@Article{Month:1985:SRBb,
  author =       "L. A. Month and R. H. Rand",
  title =        "Stability of a Rigid Body with an Oscillating
                 Particle: an Application of {Macsyma}",
  journal =      "Journal of Applied Mechanics, Transactions ASME",
  volume =       "52",
  number =       "3",
  pages =        "686--692",
  month =        sep,
  year =         "1985",
  CODEN =        "JAMCAV",
  ISSN =         "0021-8936",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of California, Berkeley, Dep of Mechanical
                 Engineering, Berkeley, CA, USA",
  affiliationaddress = "Univ of California, Berkeley, Dep of Mechanical
                 Engineering, Berkeley, CA, USA",
  classification = "723; 921; 931",
  journalabr =   "J Appl Mech Trans ASME",
  keywords =     "computer algebra system; computer programming ---
                 Applications; floquet theory; mathematical techniques
                 --- Algebra; solids; Stability; stability chart",
}

@Article{Murzin:1985:SPR,
  author =       "F. A. Murzin",
  title =        "Syntactic Properties of the {REFAL} Language",
  journal =      j-INT-J-COMPUT-MATH,
  volume =       "17",
  pages =        "123--139",
  year =         "1985",
  CODEN =        "IJCMAT",
  ISSN =         "0020-7160",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/reduce.bib",
  annote =       "SNOBOL-like special purpose algebra system. Designed
                 for Cartan work. ``REFAL is rather an unusual
                 programming language. It is natural to ask in which
                 situations it is useful.'' Concludes MACSYMA or REDUCE
                 for standard manipulations, REFAL for nonstandard.",
  comment =      "{SNOBOL-like} special purpose algebra system. Designed
                 for Cartan work. ``{REFAL} is rather an unusual
                 programming language. It is natural to ask in which
                 situations it is useful.'' Concludes {MACSYMA} or
                 {REDUCE} for standard manipulations, {REFAL} for
                 nonstandard.",
  keywords =     "Reduce",
}

@InProceedings{Padget:1985:CDL,
  author =       "J. A. Padget",
  title =        "Current Development in {LISP}",
  crossref =     "Caviness:1985:PEE",
  pages =        "??--??",
  year =         "1985",
  bibdate =      "Mon Dec 31 18:50:36 2007",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@Article{Pavelle:1985:M,
  author =       "Richard Pavelle and Paul S. Wang",
  title =        "{MACSYMA} from ${F}$ to ${G}$",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "1",
  number =       "1",
  pages =        "69--100",
  month =        mar,
  year =         "1985",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  MRclass =      "68Q40 (65-04)",
  MRnumber =     "810 136",
  bibdate =      "Sat May 10 15:54:09 MDT 1997",
  bibsource =    "Distributed/QLD.bib; Distributed/QLD/1985.bib;
                 Theory/auto.diff.bib",
  acknowledgement = ack-nhfb,
  annote =       "A descriptive, non-technical tutorial on macsyma, a
                 well-known and widely used computer algebra system, is
                 presented. Several examples of its capabilities are
                 exhibited using actual Macsyma input and output. A
                 discussion of computer-based symbolic mathematical
                 computation is motivated by pointing out inherent
                 difficulties with familiar numeric computations. The
                 inner workings of computer algebra systems are briefly
                 discussed in addition to some",
  country =      "USA",
  date =         "14/08/85",
  descriptors =  "MACSYMA; survey; SYMBOLIC ALGEBRAIC LANGUAGE;",
  enum =         "2386",
  keywords =     "MACSYMA",
  language =     "English",
  location =     "RWTH-AC-DFV: TELL; PKI-OG: Li-Ord.Le",
  references =   "30",
  referred =     "[Char91a]; [Gold91a].",
  revision =     "21/04/91",
}

@Manual{Pavelle:1985:MCAa,
  author =       "Richard Pavelle",
  title =        "{MACSYMA}: capabilities and applications to problems
                 in engineering and the sciences",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  pages =        "60",
  year =         "1985",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Bibliography: p. 59--60.",
  keywords =     "Computer science -- Mathematics.; MACSYMA (Computer
                 system)",
}

@InProceedings{Pavelle:1985:MCAb,
  author =       "R. Pavelle",
  title =        "{Macsyma} --- Capabilities and Applications to
                 Problems in Engineering and the Sciences",
  crossref =     "Buchberger:1985:PEV",
  pages =        "19--32",
  year =         "1985",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Pavelle:1985:MFGa,
  author =       "Richard Pavelle and Paul S. Wang",
  title =        "{MACSYMA} from {F} to {G}",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "1",
  number =       "1",
  pages =        "69--100",
  month =        mar,
  year =         "1985",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  bibsource =    "Distributed/QLD.bib; Distributed/QLD/1985.bib;
                 Theory/auto.diff.bib",
  annote =       "A descriptive, non-technical tutorial on Macsyma, a
                 well-known and widely used computer algebra system, is
                 presented. Several examples of its capabilities are
                 exhibited using actual Macsyma input and output. A
                 discussion of computer-based symbolic mathematical
                 computation is motivated by pointing out inherent
                 difficulties with familiar numeric computations. The
                 inner workings of computer algebra systems are briefly
                 discussed in addition to some \ldots{}.",
  country =      "USA",
  date =         "14/08/85",
  descriptors =  "MACSYMA; survey; SYMBOLIC ALGEBRAIC LANGUAGE;",
  enum =         "2386",
  language =     "English",
  location =     "RWTH-AC-DFV: TELL; PKI-OG: Li-Ord.Le",
  references =   "30",
  referred =     "[Char91a]; [Gold91a].",
  revision =     "21/04/91",
}

@Book{Pavelle:1985:MFGb,
  author =       "Richard Pavelle and Paul S. Wang",
  title =        "{MACSYMA} from {F} to {G}",
  publisher =    pub-AP,
  address =      pub-AP:adr,
  pages =        "69--100",
  year =         "1985",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Caption title. Offprint: J. Symbolic Computation
                 (1985) 1, 69--100. Bibliography: p. 100.",
  keywords =     "Computer science -- Mathematics.; MACSYMA (Computer
                 system)",
}

@InProceedings{Pavelle:1985:PPC,
  author =       "Richard Pavelle",
  title =        "The Power of Present Computer Algebra Systems:
                 {MACSYMA} on a {LISP-Machine}",
  crossref =     "Caviness:1985:PEE",
  pages =        "??--??",
  year =         "1985",
  bibdate =      "Mon Dec 31 18:52:37 2007",
  abstract =     "This talk is a survey, in part from firsthand
                 experience of the current developments in LISP and
                 specialized LISP hardware happening in Europe, America
                 and Japan. This research will have major implications
                 for computer algebra and algebra system
                 environments.\par

                 Although LISP, by its extensible nature, has always
                 been an evolving language, unconstrained by standards,
                 the past few years have been amongst the most active.
                 In the field of language work there have been
                 SCHEME-84, Common LISP, Standard LISP 85 and 3-LISP,
                 whilst in hardware there are the continuing development
                 of Symbolics, the arrival of Texas Instruments, several
                 experimental machines in Japan, such as FLATS, Alpha
                 and TAO, and the start of similar projects in
                 Europe.\par

                 How all these factors will affect future developments
                 and implementations of REDUCE, MACSYMA and SCRATCHPAD
                 will also be discussed.",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
}

@InProceedings{Purtilo:1985:PES,
  author =       "James Purtilo",
  title =        "{Polylith}: An Environment to Support Management of
                 Tool Interfaces",
  crossref =     "ACM:1985:PAS",
  pages =        "12--18",
  year =         "1985",
  bibsource =    "Ai/ai.misc.bib",
  abstract =     "Describes a front end for Macsyma to allow interfacing
                 it with various other tools as well as general concepts
                 for front-ends.",
  keywords =     "Macsyma",
}

@Article{Roache:1985:NAG,
  author =       "Patrick J. Roache and Stanly Steinberg",
  title =        "New Approach to Grid Generation Using a Variational
                 Formulation",
  journal =      "AIAA Paper",
  pages =        "360--370",
  year =         "1985",
  CODEN =        "AAPRAQ",
  ISSN =         "0146-3705",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Ecodynamics Research Associates, Albuquerque,
                 NM, USA",
  classification = "631; 921; 931",
  conference =   "Collection of Technical Papers --- AIAA 7th
                 Computational Fluid Dynamics Conference.",
  journalabr =   "AIAA Paper",
  keywords =     "behavioral errors; computational fluid dynamics; fluid
                 dynamics; mathematical techniques; symbolic
                 manipulation; Thompson-Thames-Mastin method (TTM
                 method); VAX 780; Vaxima",
  meetingaddress = "Cincinnati, OH, Engl",
  sponsor =      "AIAA, New York, NY, USA",
}

@TechReport{Strauss:1985:JFJ,
  author =       "Nicholas Strauss",
  title =        "{Jordan} Form of $(i+j,j)$ over ${Z}_p$",
  type =         "Working Paper",
  number =       "275",
  institution =  inst-MIT-CS,
  address =      inst-MIT:adr,
  month =        jul,
  year =         "1985",
  bibsource =    "Ai/mit.ai.reports.bib",
  keywords =     "MACSYMA?",
}

@Manual{Symbolics:1985:IM,
  author =       "{Symbolics, Inc.}",
  title =        "An Introduction to {MACSYMA}",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  pages =        "18",
  year =         "1985",
  bibdate =      "Wed Apr 10 16:12:59 2002",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system)",
}

@Manual{Symbolics:1985:IUM,
  author =       "{Symbolics, Inc.}",
  title =        "An introduction to {UNIX MACSYMA}",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  edition =      "Version 3.0",
  pages =        "26",
  year =         "1985",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "Documents No. SM1051150.004.3.",
  keywords =     "LISP (Computer program language), MACSYMA (Computer
                 system)",
}

@Manual{Symbolics:1985:VUM,
  author =       "{Symbolics, Inc.} and {Mathlab Group}",
  title =        "{VAX UNIX MACSYMA} reference manual",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  edition =      "Version 11",
  pages =        "vii + 479",
  year =         "1985",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "On t.p. the trademark symbol is superscript after the
                 word ``MACSYMA'' in the title. Bibliography: B-1 --
                 B-6.",
  keywords =     "LISP (Computer program language).; MACSYMA (Computer
                 system).",
}

@Article{Tombal:1985:MCD,
  author =       "Ph. Tombal and A. Moussiaux",
  title =        "{MACSYMA} computation of the {Dirac-Bergmann}
                 algorithm for {Hamiltonian} systems with constraints",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "1",
  number =       "4",
  pages =        "419--421",
  month =        dec,
  year =         "1985",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  MRclass =      "70H35 (70-04)",
  MRnumber =     "87h:70033",
  bibdate =      "Sat May 10 15:54:09 MDT 1997",
  acknowledgement = ack-nhfb,
  keywords =     "Physics, MACSYMA, Dynamical Systems",
  xxtitle =      "Computation of the Dirac-Bergmann Algorithm for
                 Hamiltonian Systems with Constraints",
}

@Article{Wang:1985:CSN,
  author =       "Paul S. Wang",
  title =        "Combining Symbolic and Numerical Computational
                 Techniques on Modern Workstations",
  journal =      "Proceedings of the Hawaii International Conference on
                 System Science",
  pages =        "248--??",
  year =         "1985",
  CODEN =        "PHISD7",
  ISSN =         "0073-1129",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Kent State Univ, Dep of Mathematical Sciences,
                 Kent, OH, USA",
  classification = "723",
  conference =   "Proceedings of the Eighteenth Hawaii International
                 Conference on System Sciences 1985. Volume 1: Hardware,
                 Decision Support Systems and Knowledge-based Systems,
                 Special Topics. Proceedings of the Hawaii International
                 Conference on System Science 18th, Distributed by
                 Western Periodicals Co",
  keywords =     "abstract only; Applications; computer programming
                 languages; finite element analysis; Fortran code
                 generation; MACSYMA or Lisp; modern workstations;
                 symbolic and numerical computational techniques",
  meetingaddress = "Honolulu, HI, USA",
  sponsor =      "Univ of Hawaii, Honolulu, HI, USA; Univ of
                 Southwestern Louisiana, Lafayette, LA, USA; ACM, New
                 York, NY, USA; IEEE Computer Soc, Los Alamitos, CA,
                 USA",
}

@Article{Wolfram:1985:SMC,
  author =       "Stephen Wolfram",
  title =        "Symbolic Mathematical Computation",
  journal =      j-CACM,
  volume =       "28",
  number =       "4",
  pages =        "390--394",
  year =         "1985",
  CODEN =        "CACMA2",
  ISSN =         "0001-0782",
  bibdate =      "Mon Jan 22 07:30:41 MST 2001",
  bibsource =    "http://dblp.uni-trier.de/db/journals/cacm/cacm28.html#Wolfram84a",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA",
  oldlabel =     "Wolfram84a",
  XMLdata =      "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Wolfram84a",
}

@InProceedings{Young:1985:IPP,
  author =       "Douglas A. Young and Paul S. Wang",
  title =        "An Improved Plotting Package for {Vaxima}",
  crossref =     "Buchberger:1985:PEV",
  pages =        "431",
  year =         "1985",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Bajaj:1986:PGA,
  author =       "Chanderjit Bajaj",
  title =        "Proving Geometric Algorithm Non-Solvability: An
                 Application of Factoring Polynomials",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "2",
  number =       "1",
  pages =        "99--102",
  month =        mar,
  year =         "1986",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  MRclass =      "12-04 (11Y05)",
  MRnumber =     "87f:12001",
  bibdate =      "Sat May 10 15:54:09 MDT 1997",
  acknowledgement = ack-nhfb,
  classcodes =   "B0260 (Optimisation techniques); B0290F (Interpolation
                 and function approximation); C1180 (Optimisation
                 techniques); C4130 (Interpolation and function
                 approximation)",
  corpsource =   "Dept. of Comput. Sci., Purdue Univ., West Lafayette,
                 IN, USA",
  countrypub =   "UK A06",
  keywords =     "algebraic equations; approximation; arithmetic
                 operations; computer algebra; factoring polynomials;
                 geometric algorithm nonsolvability proving; geometric
                 optimisation; geometric programming; Integer
                 Factorization, MACSYMA, Optimization; MACSYMA system;
                 numerical; polynomials; problems; root; symbolic
                 approximations",
  treatment =    "T Theoretical or Mathematical",
}

@Manual{Bogen:1986:MRM,
  author =       "Richard Bogen",
  title =        "{MACSYMA} reference manual",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  edition =      "Version 12",
  pages =        "various",
  year =         "1986",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  annote =       "``This manual was written by the Computer-Aided
                 Mathematics Group of Symbolics, Inc. and is based on a
                 document originally written at MIT by Richard
                 Bogen''--Acknowledgements. Includes an appendix on
                 VAXIMA on Berkeley UNIX. Includes indexes.
                 Bibliography: B/1-B/5.",
  keywords =     "Algebra -- Data processing.; MACSYMA (Computer
                 system)",
}

@InProceedings{Golden:1986:OAM,
  author =       "J. P. Golden",
  title =        "An Operator Algebra for {Macsyma}",
  crossref =     "Char:1986:PSS",
  pages =        "244--246",
  year =         "1986",
  bibsource =    "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib",
}

@TechReport{Holmberg:1986:SMF,
  author =       "Ulf Holmberg",
  title =        "Some {MACSYMA} functions for analysis of multivariable
                 linear systems",
  number =       "LUFTD2\slash (TFRT-7333)\slash 1040\slash (1986)",
  institution =  "Department of Automatic Control, Lund Institute of
                 Technology, Lund, Sweden",
  year =         "1986",
  bibsource =    "Misc/cacsd.bib",
}

@Article{LeGland:1986:SNE,
  author =       "Francois LeGland and Antoine Gondel",
  title =        "Systematic Numerical Experiments in Nonlinear
                 Filtering with Automatic {Fortran} Code Generation",
  journal =      "Proceedings of the IEEE Conference on Decision and
                 Control Including The Symposium on Adaptive Pro",
  pages =        "638--642",
  year =         "1986",
  CODEN =        "PCDCDZ",
  ISSN =         "0191-2216",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  note =         "IEEE Service Cent. Piscataway, NJ, USA.",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Maryland, College Park, MD, USA",
  classification = "723; 731; 921",
  conference =   "Proceedings of the 25th IEEE Conference on Decision \&
                 Control.",
  journalabr =   "Proceedings of the IEEE Conference on Decision and
                 Control Including The Symposium on Adaptive Processes
                 25th.",
  keywords =     "automatic Fortran code generation; computer
                 programming --- Algorithms; computer programming
                 languages --- Fortran; MACSYMA language; mathematical
                 techniques --- Differential Equations; nonlinear
                 filtering; signal filtering and prediction; Zakai
                 equation",
  meetingaddress = "Athens, Greece",
  sponsor =      "IEEE Control Systems Soc, New York, NY, USA; SIAM,
                 Philadelphia, PA, USA; Operations Research Soc of
                 America, Baltimore, MD, USA; Greek Ministry of Culture,
                 Athens, Greece; Natl Technical Univ of Athens, Athens,
                 Greece; et al",
}

@Article{Leu:1986:ASD,
  author =       "M. C. Leu and N. Hemati",
  title =        "Automated Symbolic Derivation of Dynamic Equations of
                 Motion for Robotic Manipulators",
  journal =      j-J-DYN-SYST-MEAS-CONTROL,
  volume =       "108",
  number =       "3",
  pages =        "172--179",
  month =        sep,
  year =         "1986",
  CODEN =        "JDSMAA",
  ISSN =         "0022-0434",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Cornell Univ, Ithaca, NY, USA",
  classification = "721; 723; 731; 931",
  journalabr =   "J Dyn Syst Meas Control Trans ASME",
  keywords =     "computer programs; equations of motion; Lagrange
                 formalism; Manipulators; robots, industrial; symbolic
                 language MACSYMA",
}

@TechReport{Lund:1986:UME,
  author =       "Michael Lund",
  title =        "Using {MACSYMA} to evaluate likelihood functions",
  type =         "Technical report",
  number =       "7317",
  institution =  "Institutionen f{\"o}r reglerteknik, Lunds tekniska
                 h{\"o}gskola",
  address =      "Lund, Sweden",
  pages =        "4 + 3",
  year =         "1986",
  bibdate =      "Wed Apr 10 15:49:51 2002",
  acknowledgement = ack-nhfb,
}

@TechReport{Maartensson:1986:ATC,
  author =       "Bengt M{\aa}rtensson",
  title =        "Automatic {\TeX} code generation from {Macsyma} and
                 {CTRL-C}",
  type =         "Technical report",
  number =       "7334",
  institution =  "Institutionen f{\"o}r reglerteknik, Lunds tekniska
                 h{\"o}gskola",
  address =      "Lund, Sweden",
  pages =        "7 + 5",
  year =         "1986",
  bibdate =      "Wed Apr 10 15:51:17 2002",
  acknowledgement = ack-nhfb,
}

@InCollection{Mehta:1986:KBS,
  author =       "Unmeel Mehta",
  title =        "Knowledge Based Systems for Computational Aerodynamics
                 and Fluid Dynamics",
  crossref =     "Kowalik:1986:KBP",
  pages =        "183--212",
  year =         "1986",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "NASA, USA",
  classification = "631; 651; 723; 931",
  journalabr =   "Knowl Based Probl Solving",
  keywords =     "aerodynamicist program; aerodynamics --- Analysis;
                 artificial intelligence; Expert Systems; fluid
                 dynamics; MACSYMA program; optimizer program; spider
                 program",
}

@InProceedings{Nicosia:1986:DMF,
  author =       "S. Nicosia and P. Tomei and A. Tornambe",
  title =        "Dynamic Modelling of Flexible Robot Manipulators",
  crossref =     "IEEE:1986:PII",
  pages =        "365--372",
  year =         "1986",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  note =         "IEEE Service Cent. Piscataway, NJ, USA.",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Second Univ of Rome, Italy",
  classification = "723; 731; 921; 931",
  conference =   "Proceedings --- 1986 IEEE International Conference on
                 Robotics and Automation.",
  keywords =     "computer programming languages; dynamic modeling;
                 dynamics; flexible robot manipulators; generalized
                 Lagrangian approach; MACSYMA language; Mathematical
                 Models; robotics; robots, industrial",
  meetingaddress = "San Francisco, CA, USA",
  sponsor =      "IEEE, Council on Robotics \& Automation, New York, NY,
                 USA",
}

@Periodical{Paradigm:1986:MAN,
  author =       "{Paradigm Associates, Inc.}",
  title =        "{MACSYMA Applications Newsletter}",
  publisher =    pub-PARADIGM,
  address =      pub-PARADIGM:adr,
  year =         "1986",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@InProceedings{Pavelle:1986:CAC,
  author =       "Richard Pavelle",
  title =        "Computer Algebra: Capabilities and Applications to
                 Problems in Engineering and the Sciences",
  crossref =     "Pierce:1986:AIA",
  pages =        "100--110",
  year =         "1986",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Symbolics Inc, MACSYMA Group, Cambridge, MA,
                 USA",
  classification = "723; 921",
  conference =   "Artificial Intelligence Applications in Chemistry.
                 Developed from a Symposium at the 190th Meeting of the
                 American Chemical Society.",
  journalabr =   "ACS Symp Ser",
  keywords =     "artificial intelligence --- Applications;
                 capabilities/uses; Computer Applications; computer
                 graphics --- Interactive; differential calculus;
                 factorization; MACSYMA computer algebra system;
                 mathematical techniques; polynomial equations;
                 Taylor/Laurent series",
  meetingaddress = "Chicago, IL, USA",
  sponsor =      "ACS, Div of Computers in Chemistry, Washington, DC,
                 USA",
}

@Article{Rand:1986:OMP,
  author =       "D. W. Rand and P. Winternitz",
  title =        "Odepainleve --- a {Macsyma} Package for {Painlev{\'e}}
                 Analysis of Ordinary Differential Equations",
  journal =      j-COMP-PHYS-COMM,
  volume =       "33",
  number =       "12",
  pages =        "359--383",
  month =        dec,
  year =         "1986",
  CODEN =        "CPHCBZ",
  ISSN =         "0010-4655",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ de Montreal, Montreal, Que, Can",
  classification = "723; 921",
  journalabr =   "Comput Phys Commun",
  keywords =     "computer aided analysis; computer program odepainleve;
                 Differential Equations; mathematical techniques",
}

@Article{Rishel:1986:ASS,
  author =       "Raymond Rishel and Lawrence Harris",
  title =        "Algorithm for a Solution of a Stochastic Adaptive
                 Linear Quadratic Optimal Control Problem",
  journal =      j-IEEE-TRANS-AUTOMAT-CONTR,
  volume =       "AC-31",
  number =       "12",
  pages =        "1165--1170",
  month =        dec,
  year =         "1986",
  CODEN =        "IETAA9",
  ISSN =         "0018-9286",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Kentucky, Lexington, KY, USA",
  classification = "723; 731; 921; 922",
  journalabr =   "IEEE Trans Autom Control",
  keywords =     "control systems, adaptive; control systems, discrete
                 time; control systems, linear; control systems,
                 optimal; control systems, stochastic; linear quadratic
                 control; MACSYMA programming language; mathematical
                 techniques --- Variational Techniques; optimality
                 conditions; random disturbance vector times",
}

@InProceedings{Sasaki:1986:SAE,
  author =       "Tateaki Sasaki",
  title =        "Simplification of algebraic expression by multiterm
                 rewriting rules",
  crossref =     "Char:1986:PSS",
  pages =        "115--120",
  year =         "1986",
  bibdate =      "Thu Mar 12 07:38:29 MST 1998",
  bibsource =    "http://www.acm.org/pubs/toc/",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/issac/32439/p115-sasaki/",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms; design; languages",
  subject =      "{\bf I.1.1} Computing Methodologies, SYMBOLIC AND
                 ALGEBRAIC MANIPULATION, Expressions and Their
                 Representation, Simplification of expressions. {\bf
                 F.4.2} Theory of Computation, MATHEMATICAL LOGIC AND
                 FORMAL LANGUAGES, Grammars and Other Rewriting Systems,
                 Parallel rewriting systems.",
}

@Article{Sloane:1986:MFM,
  author =       "N. J. A. Sloane",
  title =        "My Friend {MACSYMA}",
  journal =      j-NAMS,
  volume =       "33",
  number =       "1",
  pages =        "40--43",
  month =        jan,
  year =         "1986",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibsource =    "/usr/local/src/bib/siggraph/86.bib;
                 Graphics/siggraph/86.bib",
  keywords =     "multidimensional quantization, symbolic mathematics",
}

@MastersThesis{Spirkovska:1986:MMU,
  author =       "Lilly Spirkovska",
  title =        "{MUFIE}, {Macsyma's User-Friendly Interactive
                 Executive}: research project",
  type =         "Master of Sciences, Plan II",
  school =       inst-UCB-EECS,
  address =      inst-UCB-EECS:adr,
  pages =        "various",
  year =         "1986",
  LCCN =         "T7.49 .S6491",
  bibdate =      "Fri Feb 09 12:23:12 1996",
}

@InProceedings{Sreenath:1986:DTM,
  author =       "N. Sreenath and P. S. Krishnaprasad",
  title =        "{Dynaman}: a Tool for Manipulator Design and
                 Analysis",
  crossref =     "IEEE:1986:PII",
  pages =        "836--842",
  year =         "1986",
  bibdate =      "Wed Jan 15 15:35:13 MST 1997",
  bibsource =    "Compendex database",
  note =         "IEEE Service Cent. Piscataway, NJ, USA.",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Maryland, College Park, MD, USA",
  classification = "691; 721; 723; 731",
  conference =   "Proceedings --- 1986 IEEE International Conference on
                 Robotics and Automation.",
  keywords =     "computer software; dynaman; MACSYMA; Manipulators;
                 robots; robots, industrial",
  meetingaddress = "San Francisco, CA, USA",
  sponsor =      "IEEE, Council on Robotics \& Automation, New York, NY,
                 USA",
}

@Article{Steinberg:1986:UMW,
  author =       "Stanly Steinberg and Patrick J. Roache",
  title =        "Using {Macsyma} to Write {FORTRAN} Subroutines",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "2",
  number =       "2",
  pages =        "213--216",
  month =        jun,
  year =         "1986",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  bibdate =      "Wed Mar 19 13:51:24 MST 1997",
  bibsource =    "Theory/auto.diff.bib; Theory/Comp.Alg.1.bib;
                 Theory/symbolic.math.bib",
  acknowledgement = ack-nhfb,
  classcodes =   "C6130 (Data handling techniques); C6140D (High level
                 languages)",
  corpsource =   "Dept. of Math. and Stat., New Mexico Univ.,
                 Albuquerque, NM, USA",
  countrypub =   "UK A08",
  keywords =     "boundary value problems; difference code; differential
                 equations; electric field; elliptic partial; finite;
                 FORTRAN; FORTRAN subroutines; laser cavity; MACSYMA;
                 physics, differential equations, finite differences;
                 symbol manipulation; symbol manipulator",
  referred =     "[Char91a].",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Manual{Symbolics:1986:IMS,
  author =       "{Symbolics, Inc., Computer Aided Mathematics Group}",
  title =        "An Introduction to {MACSYMA} for {Symbolics}
                 computers",
  organization = org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  edition =      "version 4.0",
  pages =        "36 + [4]",
  year =         "1986",
  bibdate =      "Thu Feb 8 08:16:45 MST 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACSYMA (Computer system)",
}

@Misc{Symbolics:1986:MN,
  author =       "{Symbolics, Inc.}",
  title =        "{MACSYMA Newsletter}",
  institution =  org-SYMBOLICS-CAM,
  address =      org-SYMBOLICS-CAM:adr,
  year =         "1986",
  bibsource =    "Theory/Comp.Alg.1.bib",
}

@Article{Watowich:1986:SAO,
  author =       "S. J. Watowich and J. L. Krause and R. S. Berry",
  title =        "Stability Analysis of an Optimally Controlled
                 Light-Driven Engine",
  journal =      j-J-SYMBOLIC-COMP,
  volume =       "2",
  number =       "1",
  pages =        "103--108",
  month =        mar,
  year =         "1986",
  CODEN =        "JSYCEH",
  ISSN =         "0747-7171",
  bibdate =      "Wed Mar 19 13:51:24 MST 1997",
  acknowledgement = ack-nhfb,
  classcodes =   "C1320 (Stability in control theory); C3340B (Control
                 of heat systems); C4170 (Differential equations)",
  corpsource =   "Dept. of Chem., Chicago Univ., IL, USA",
  countrypub =   "UK A07",
  keywords =     "computer algebra routines; free-piston engine; heat
                 engines; MACSYMA; MACSYMA, differential equations,
                 numerics; mixed boundary conditions; nonlinear
                 differential equations; numerical program; optimally
                 controlled light-driven engine; parameter sets; piston;
                 program; stability; stability analysis; symbolic
                 processing; trajectories",
  treatment =    "T Theoretical or Mathematical",
}

@InProceedings{Zewari:1986:PIR,
  author =       "S. W. Zewari and J. M. Zugel",
  title =        "{Prolog} Implementation in Robot Kinematics",
  crossref =     "Gupta:1986:CEP",
  pages =        "133--136",
  month =        jul,
  year =         "1986",
  bibsource =    "Theory/Comp.Alg.1.bib",
  annote =       "This person argues that since Macsyma and SMP are too
                 hard to use, the symbolic math work should be done in
                 Prolog. The person i