%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.17",
%%% date = "18 March 2014",
%%% time = "06:54:44 MST",
%%% filename = "axiom.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "08326 4243 20356 198616",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; AXIOM; Fricas; OpenAxiom;
%%% Scratchpad; symbolic algebra",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This file contains a bibliography of
%%% publications about the AXIOM (formerly
%%% known as Scratchpad) symbolic algebra
%%% system. It also covers publications about
%%% Scratchpad and a few about MathCAD.
%%%
%%% At version 1.17, the year coverage looked
%%% like this:
%%%
%%% 1971 ( 3) 1984 ( 6) 1997 ( 0)
%%% 1972 ( 3) 1985 ( 2) 1998 ( 1)
%%% 1973 ( 0) 1986 ( 4) 1999 ( 2)
%%% 1974 ( 1) 1987 ( 5) 2000 ( 0)
%%% 1975 ( 1) 1988 ( 8) 2001 ( 1)
%%% 1976 ( 1) 1989 ( 18) 2002 ( 1)
%%% 1977 ( 1) 1990 ( 7) 2003 ( 3)
%%% 1978 ( 0) 1991 ( 16) 2004 ( 1)
%%% 1979 ( 0) 1992 ( 16) 2005 ( 9)
%%% 1980 ( 0) 1993 ( 10) 2006 ( 2)
%%% 1981 ( 0) 1994 ( 11) 2007 ( 4)
%%% 1982 ( 0) 1995 ( 7) 2008 ( 1)
%%%
%%% Article: 34
%%% Book: 17
%%% InCollection: 1
%%% InProceedings: 47
%%% Manual: 1
%%% MastersThesis: 2
%%% Proceedings: 27
%%% TechReport: 16
%%%
%%% Total entries: 145
%%%
%%% Scratchpad and AXIOM were developed at IBM
%%% research laboratories over many years before
%%% they were offered as supported products.
%%% Today, AXIOM is marketed for several
%%% platforms by the Numerical Algorithms Group,
%%% Inc. (NAG) (Downer's Grove, IL, USA. and
%%% Oxford, UK), and versions are available in
%%% late 1995 for Hewlett--Packard 9000 (HP-UX),
%%% IBM RS/6000 (AIX), and Sun (SunOS) systems,
%%% with ports to other systems under
%%% development.
%%%
%%% Further information on AXIOM licensing
%%% can be found at http://www.nag.com/ and
%%% http://www.nag.co.uk/1h/symbolic/AX.html.
%%%
%%% NAG maintains an AXIOM code and documentation
%%% repository at http://www.nag.co.uk/symbolic/
%%% AX/Upload_Readme.html. All of the NAG
%%% technical reports listed in this bibliography
%%% can be found at that address.
%%%
%%% In 2006, AXIOM became free software, with a
%%% Web site at
%%%
%%% http://www.axiom-developer.org
%%%
%%% This bibliography has been collected from the
%%% author's personal bibliography files, from
%%% the very large computer science bibliography
%%% collection on ftp.ira.uka.de in
%%% /pub/bibliography to which many people of
%%% have contributed, and from several
%%% Internet-accessible library catalogs, notably
%%% those of the University of California,
%%% Library of Congress, OCLC, plus the IEEE
%%% INSPEC (1989--1995) database.
%%%
%%% This bibliography is sorted by year, and
%%% within each year, by author and title key,
%%% with ``bibsort -byyear''. Cross-referenced
%%% proceedings entries appear at the end,
%%% because of a restriction in the current
%%% BibTeX.
%%%
%%% 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.",
%%% }
%%% ====================================================================
%%% 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 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-NAG = "Numerical Algorithms Group, Inc."}
@String{inst-NAG:adr = "Downer's Grove, IL, USA and Oxford,
UK"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-ACM-COMM-COMP-ALGEBRA = "ACM Communications in Computer Algebra"}
@String{j-AMER-J-PHYSICS = "American Journal of Physics"}
@String{j-COED = "CoED"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-ELECTRONIK = "Elektronik"}
@String{j-IFIP-TRANS-A = "IFIP Transactions. A. Computer Science and
Technology"}
@String{j-J-SYMBOLIC-COMP = "Journal of Symbolic Computation"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-MATH-COMP-EDU = "Mathematics and computer education"}
@String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
@String{j-SIGSAM = "SIGSAM Bulletin (ACM Special Interest
Group on Symbolic and Algebraic
Manipulation)"}
@String{j-STAT-COMP = "Statistics and Computing"}
@String{j-THEOR-COMP-SCI = "Theoretical Computer Science"}
@String{j-TOMS = "ACM Transactions on Mathematical Software"}
@String{j-ZEIT-ANGE-MATH-PHYS = "Zeitschrift fur Angewandte Mathematik
und Physik"}
%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AP = "Academic Press"}
@String{pub-AP:adr = "New York, NY, USA"}
@String{pub-DEKKER = "Marcel Dekker"}
@String{pub-DEKKER:adr = "New York, NY, USA"}
@String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg,
Germany~/ London, UK~/ etc."}
@String{pub-VIEWEG = "Friedrich Vieweg und Sohn"}
@String{pub-VIEWEG:adr = "Braunschweig, Germany"}
%%% ====================================================================
%%% Bibliography entries:
@InProceedings{Griesmer:1971:SIF,
author = "J. H. Griesmer and R. D. Jenks",
title = "{SCRATCHPAD/1} --- an interactive facility for
symbolic mathematics",
crossref = "Petrick:1971:PSS",
pages = "42--58",
year = "1971",
DOI = "http://dx.doi.org/10.1145806266",
bibdate = "Thu Jul 26 08:45:53 2001",
bibsource = "/usr/local/src/bib/bibliography/Theory/obscure.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://delivery.acm.org/10.1145/810000/806266/p42-griesmer.pdf",
}
@TechReport{Jenks:1971:MPS,
author = "R. D. Jenks",
title = "{META\slash PLUS}: The Syntax Extension Facility for
{SCRATCHPAD}",
type = "Research Report",
number = "RC 3259",
institution = "International Business Machines Inc., Thomas J. Watson
Research Center",
address = "Yorktown Heights, NY, USA",
pages = "??",
month = feb,
year = "1971",
bibdate = "Sat Dec 30 08:53:02 1995",
bibsource = "/usr/local/src/bib/bibliography/Ai/lisp.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Griesmer:1972:EOSb,
author = "J. Griesmer and R. Jenks",
title = "Experience with an online symbolic math. system
{SCRATCHPAD}",
crossref = "Online:1972:OCP",
pages = "??--??",
year = "1972",
bibsource = "/usr/local/src/bib/bibliography/Distributed/QLD.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
bydate = "Le",
byrev = "Le",
date = "00/00/00",
descriptors = "Formula manipulation",
enum = "1209",
language = "English",
location = "PKI-OG: Li-Ord.Le",
references = "0",
revision = "21/04/91",
}
@Article{Griesmer:1972:SCV,
author = "James H. Griesmer and Richard D. Jenks",
title = "{SCRATCHPAD}: {A} capsule view",
journal = j-SIGPLAN,
volume = "7",
number = "10",
pages = "93--102",
year = "1972",
CODEN = "SINODQ",
DOI = "http://dx.doi.org/10.1145807019",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu Jul 26 10:33:16 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Proceedings of the symposium on Two-dimensional
man-machine communication, Mark B. Wells and James B.
Morris (eds.)",
acknowledgement = ack-nhfb,
bookpages = "iii + 160",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706",
}
@Article{Jenks:1974:SL,
author = "R. D. Jenks",
title = "The {SCRATCHPAD} language",
journal = j-SIGPLAN,
volume = "9",
number = "4",
pages = "101--111",
month = apr,
year = "1974",
CODEN = "SINODQ",
DOI = "http://dx.doi.org/10.1145807051",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Sat Apr 25 11:46:37 MDT 1998",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C7310 (Mathematics
computing)",
conflocation = "Santa Monica, CA, USA; 28-29 March 1974",
conftitle = "ACM SIGPLAN Symposium on Very High Level Languages",
corpsource = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706",
keywords = "formal description; formal programming language; high
level programming language; interactive system;
mathematical algorithms; natural sciences applications
of computers; online problem solving; problem oriented
languages; SCRATCHPAD language; symbolic mathematical
computation; user language",
sponsororg = "ACM",
treatment = "A Application; P Practical",
}
@Article{Norman:1975:CFP,
author = "A. C. Norman",
title = "Computing with Formal Power Series",
journal = j-TOMS,
volume = "1",
number = "4",
pages = "346--356",
month = dec,
year = "1975",
CODEN = "ACMSCU",
ISSN = "0098-3500 (print), 1557-7295 (electronic)",
ISSN-L = "0098-3500",
bibdate = "Sat Aug 27 00:22:26 1994",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
fjournal = "ACM Transactions on Mathematical Software",
journal-URL = "http://portal.acm.org/toc.cfm?idx=J782",
keywords = "Scratchpad",
}
@InProceedings{Jenks:1976:PC,
author = "Richard D. Jenks",
editor = "Richard D. Jenks",
booktitle = "Symsac '76: proceedings of the 1976 ACM Symposium on
Symbolic and Algebraic Computation, August 10--12,
1976, Yorktown Heights, New York",
title = "A pattern compiler",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "60--65",
year = "1976",
DOI = "http://dx.doi.org/10.1145806324",
ISBN = "????",
ISBN-13 = "????",
LCCN = "QA155.7.E4 .A15 1976; QA9.58 .A11 1976",
bibdate = "Thu Jul 26 08:56:43 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
bookpages = "384",
keywords = "Scratchpad",
}
@MastersThesis{Lueken:1977:UIF,
author = "E. Lueken",
title = "{Ueberlegungen zur Implementierung eines
Formelmanipulationssystemes}",
school = "Technischen Universit{\"{a}}t Carolo-Wilhelmina zu
Braunschweig",
address = "Braunschweig, Germany",
pages = "??",
year = "1977",
bibsource = "/usr/local/src/bib/bibliography/Misc/TUBScsd.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
descriptor = "Alpak, Altran, Formac, Funktion, G.g.t., Kanonische
Darstellung von Polynomen, Macsyma, Mathlab, Polynom,
Rationale Funktion, Reduce, Sac-1, Scratchpad",
}
@InProceedings{Andrews:1984:RS,
author = "George E. Andrews",
title = "{Ramanujan} and {SCRATCHPAD}",
crossref = "Golden:1984:PMU",
pages = "383--??",
year = "1984",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@Manual{Davenport:1984:S,
author = "J. Davenport and P. Gianni and R. Jenks and V. Miller
and S. Morrison and M. Rothstein and C. Sundaresan and
R. Sutor and B. Trager",
title = "{Scratchpad}",
organization = "Mathematical Sciences Department",
address = "IBM Thomas Watson Research Center",
pages = "??",
year = "1984",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.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 = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Jenks:1984:PKN,
author = "Richard D. Jenks",
title = "A primer: 11 keys to {New Scratchpad}",
crossref = "Fitch:1984:E",
pages = "123--147",
year = "1984",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Sutor:1985:SIC,
author = "R. S. Sutor",
title = "The {Scratchpad II} Computer Algebra Language and
System",
crossref = "Buchberger:1985:EEC",
pages = "32--33",
year = "1985",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Gebauer:1986:BAS,
author = "R{\"u}diger Gebauer and H. Michael M{\"o}ller",
editor = "Bruce W. Char",
booktitle = "Proceedings of the 1986 Symposium on Symbolic and
Algebraic Computation: Symsac '86, July 21--23, 1986,
Waterloo, Ontario",
title = "{Buchberger}'s algorithm and staggered linear bases",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "218--221",
year = "1986",
DOI = "http://dx.doi.org/10.1145.32482",
ISBN = "0-89791-199-7",
ISBN-13 = "978-0-89791-199-3",
LCCN = "QA155.7.E4 A281 1986",
bibdate = "Thu Jul 26 09:06:12 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "ACM order number 505860.",
acknowledgement = ack-nhfb,
bookpages = "254",
}
@TechReport{Jenks:1986:SIA,
author = "Richard D. Jenks and Robert S. Sutor and Stephen M.
Watt",
title = "Scratchpad {II}: an abstract datatype system for
mathematical computation",
type = "Research Report",
number = "RC 12327 (\#55257)",
institution = "International Business Machines Inc., Thomas J. Watson
Research Center",
address = "Yorktown Heights, NY, USA",
pages = "23",
year = "1986",
bibdate = "Thu Oct 31 17:23:28 2002",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
keywords = "Abstract data types (Computer science); Operating
systems (Computers)",
}
@InProceedings{Lucks:1986:FIP,
author = "Michael Lucks",
editor = "Bruce W. Char",
booktitle = "Proceedings of the 1986 Symposium on Symbolic and
Algebraic Computation: Symsac '86, July 21--23, 1986,
Waterloo, Ontario",
title = "A fast implementation of polynomial factorization",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "228--232",
year = "1986",
DOI = "http://dx.doi.org/10.1145.32485",
ISBN = "0-89791-199-7",
ISBN-13 = "978-0-89791-199-3",
LCCN = "QA155.7.E4 A281 1986",
bibdate = "Thu Jul 26 09:06:12 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "ACM order number 505860.",
acknowledgement = ack-nhfb,
keywords = "Scratchpad",
}
@InProceedings{Purtilo:1986:ASI,
author = "J. Purtilo",
editor = "Bruce W. Char",
booktitle = "Proceedings of the 1986 Symposium on Symbolic and
Algebraic Computation: Symsac '86, July 21--23, 1986,
Waterloo, Ontario",
title = "Applications of a software interconnection system in
mathematical problem solving environments",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "16--23",
year = "1986",
DOI = "http://dx.doi.org/10.1145.32443",
ISBN = "0-89791-199-7",
ISBN-13 = "978-0-89791-199-3",
LCCN = "QA155.7.E4 A281 1986",
bibdate = "Thu Jul 26 09:26:18 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "ACM order number 505860.",
acknowledgement = ack-nhfb,
keywords = "Scratchpad",
}
@TechReport{Burge:1987:ISS,
author = "W. Burge and S. Watt",
title = "Infinite Structures in {SCRATCHPAD II}",
number = "RC 12794 (\#57573)",
institution = "IBM Thomas J. Watson Research Center",
address = "Bos 218, Yorktown Heights, NY 10598, USA",
pages = "??",
year = "1987",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@TechReport{Senechaud:1987:SIP,
author = "P. Senechaud and F. Siebert and G. Villard",
title = "Scratchpad {II}: Pr{\'e}sentation d'un nouveau langage
de calcul formel",
number = "640-M",
institution = "TIM 3 (IMAG)",
address = "Grenoble, France",
pages = "??",
month = feb,
year = "1987",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@TechReport{Sutor:1987:TICa,
author = "Robert S. Sutor and Richard D. Jenks",
title = "The type inference and coercion facilities in the
{Scratchpad II} interpreter",
type = "Research Report",
number = "RC 12595 (\#56575)",
institution = "IBM Thomas J. Watson Research Center",
address = "Yorktown Heights, NY, USA",
pages = "11",
year = "1987",
bibdate = "Sat Dec 30 08:25:26 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
keywords = "Abstract data types (Computer science); Programming
languages (Electronic computers)",
}
@InProceedings{Sutor:1987:TICb,
author = "R. S. Sutor and R. D. Jenks",
title = "The Type Inference and Coercion Facilities in the
{Scratchpad II} Interpreter",
crossref = "Wexelblat:1987:IIT",
pages = "56--63",
year = "1987",
bibsource = "/usr/local/src/bib/bibliography/Compiler/bevan.bib;
/usr/local/src/bib/bibliography/Misc/sigplan.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The Scratchpad II system is an abstract datatype
programming language, a compiler for the language, a
library of packages of polymorphic functions and
parameterized abstract datatypes, and an interpreter
that provides sophisticated type inference and coercion
facilities. Although originally designed for the
implementation of symbolic mathematical algorithms,
Scratchpad II is a general purpose programming
language. This paper discusses aspects of the
implementation of the interpreter and how it attempts
to provide a user friendly ad relatively weakly typed
front end for the strongly typed programming
language.",
acknowledgement = ack-nhfb,
checked = "19940516",
keywords = "scratchpad",
refs = "8",
subject = "D.3.4 Software, PROGRAMMING LANGUAGES, Processors,
Interpreters \\ I.1.3 Computing Methodologies,
ALGEBRAIC MANIPULATION, Languages and Systems,
SCRATCHPAD \\ D.3.3 Software, PROGRAMMING LANGUAGES,
Language Constructs, Abstract data types",
}
@InProceedings{Andrews:1988:ASP,
author = "G. E. Andrews",
title = "Application of {Scratchpad} to problems in special
functions and combinatorics",
crossref = "Janssen:1988:TCA",
pages = "158--??",
year = "1988",
bibdate = "Fri Dec 29 18:28:25 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@Book{Davenport:1988:CA,
author = "J. H. Davenport and Y. Siret and E. Tournier",
title = "Computer Algebra: Systems and Algorithms for Algebraic
Computation",
publisher = pub-AP,
address = pub-AP:adr,
pages = "xix + 267",
year = "1988",
ISBN = "0-12-204230-1",
ISBN-13 = "978-0-12-204230-0",
LCCN = "QA155.7.E4 D38 1988",
bibdate = "Fri Dec 29 18:14:51 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
notes = "{\footnotesize Dies ist die englische Ausgabe des
urspr{\"u}nglich bei Masson 1987 erschienen Buches {\em
Calcul Formel}. Es ist die erste Monographie {\"u}ber
Computeralgebra. Es wird in etwa die Theorie behandelt,
die heute in den gr{\"o}{\ss}eren Systemen wie MACSYMA,
MAPLE, REDUCE oder SCRATCHPAD II realisiert ist. Das
erste Kapitel ist der Diskussion verschiedener \CA\
Systeme mit Beispielen gewidmet. Die wichtige Frage der
Repr{\"a}sentation der mathematischen Objekte auf einem
Computer ist das Thema des zweiten Kapitels. Der
Algorithmus von Buchberger, zylindrische Dekomposition,
Berechnung von gr{\"o}{\ss}ten gemeinsamen Teilern,
p-adische Methoden und Faktorisierung,
Differentialgleichungen und Stammfunktionen sind die
wichtigsten behandelten Gegenst{\"a}nde des Buches, das
mit einer ausf{\"u}hrlichen Bibliographie und einer
Beschreibung von REDUCE im Anhang endet. \hfill J.
Grabmeier}",
}
@Article{Gebauer:1988:IBA,
author = "R. Gebauer and H. M. M{\"o}ller",
title = "On an installation of {Buchberger}'s algorithm",
journal = j-J-SYMBOLIC-COMP,
volume = "6",
number = "2-3",
pages = "275--286",
month = oct # "-" # dec,
year = "1988",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 08:24:38 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Buchberger's algorithm calculates Gr{\"o}bner bases of
polynomial ideals. Its efficiency depends strongly on
practical criteria for detecting superfluous
reductions. Buchberger recommends two criteria. The
more important one is interpreted in this paper as a
criterion for detecting redundant elements in a basis
of a module of syzygies The authors present a method
for obtaining a reduced, nearly minimal basis of that
module. The simple procedure for detecting (redundant
syzygies and) superfluous reductions is incorporated
now in the installation of Buchberger's algorithm in
SCRATCHPAD II and REDUCE 3.3. The paper concludes with
statistics stressing the good computational properties
of these installations.",
acknowledgement = ack-nhfb,
affiliation = "Springer-Verlag, New York, NY, USA",
classification = "C4130 (Interpolation and function approximation);
C6130 (Data handling techniques); C7310 (Mathematics)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "Buchberger algorithm installation; Gr{\"o}bner bases;
Polynomial ideals; Superfluous reductions; Redundant
elements; Module of syzygies; SCRATCHPAD II; REDUCE
3.3; Computational properties",
language = "English",
pubcountry = "UK",
thesaurus = "Polynomials; Symbol manipulation",
}
@InProceedings{Jenks:1988:SIA,
author = "R. D. Jenks and R. S. Sutor and S. M. Watt",
title = "{Scratchpad II}: An Abstract Datatype System for
Mathematical Computation",
crossref = "Janssen:1988:TCA",
pages = "12--37",
year = "1988",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InCollection{Schwarz:1988:PAD,
author = "F. Schwarz",
title = "Programming with abstract data types: the symmetry
package {SPDE} in {Scratchpad}",
crossref = "Janssen:1988:TCA",
pages = "167--176",
year = "1988",
bibsource = "/usr/local/src/bib/bibliography/Theory/cathode.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@Article{Shannon:1988:UGB,
author = "D. Shannon and M. Sweedler",
title = "Using {Gr{\"o}bner} bases to determine algebra
membership, split surjective algebra homomorphisms
determine birational equivalence",
journal = j-J-SYMBOLIC-COMP,
volume = "6",
number = "2-3",
pages = "267--273",
month = oct # "-" # dec,
year = "1988",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 06:48:10 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "This paper presents a simple algorithm, based on
Gr{\"o}bner bases, to test if a given polynomial g of
k(X/sub 1/,\ldots{}, X/sub n/) lies in k(f/sub
1/,\ldots{}, f/sub m/) where k is a field, X/sub
i/,\ldots{}, X/sub n/ are indeterminates over k and
f/sub 1/,\ldots{}, f/sub m/ in k(X/sub 1/,\ldots{},
X/sub n/). If so, the algorithm produces a polynomial P
of m variables where g=P(f/sub 1/,\ldots{}, f/sub m/).
Say omega:B to k(X/sub 1/,\ldots{}, X/sub n/) is a
homomorphism where omega (b/sub i/)=f/sub i/, for
algebra generators (b/sub i/) contained in/implied by
B. If omega is onto, the algorithm gives a homomorphism
lambda:k(X/sub 1/,\ldots{}, X/sub n/) to B, where the
composite omega lambda is the identity map. In
particular, the algorithm computes the inverse of
algebra automorphisms of the polynomial ring. A
variation of the test if k(f/sub 1/,\ldots{}, f/sub
m/)=k(X/sub 1/,\ldots{}, X/sub n/), tells if k(f/sub
1/,\ldots{}, f/sub m/)=k(X/sub 1/,\ldots{}, X/sub n/).
Existing computer algebra systems, such as IBM'S
SCRATCHPAD II, have Gr{\"o}bner basis packages which
allow the user to specify a term ordering sufficient to
carry out the algorithm.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., Transylvania Univ., Lexington, KY,
USA",
classification = "C4130 (Interpolation and function approximation);
C6130 (Data handling techniques); C7310 (Mathematics)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "IBM; Gr{\"o}bner bases; Algebra membership; Split
surjective algebra homomorphisms; Birational
equivalence; Polynomial; Homomorphism; Algebra
generators; Identity map; Algebra automorphisms;
Computer algebra systems; SCRATCHPAD II",
language = "English",
pubcountry = "UK",
thesaurus = "Polynomials; Symbol manipulation",
}
@InProceedings{Sutor:1988:SIA,
author = "R. D. Jenks R. S. Sutor and S. M. Watt",
title = "{Scratchpad II}: {An} abstract Datatype system for
mathematical computation",
crossref = "Janssen:1988:TCA",
pages = "12--??",
year = "1988",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.1.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@Article{Boehm:1989:TIP,
author = "Hans-J. Boehm",
title = "Type inference in the presence of type abstraction",
journal = j-SIGPLAN,
volume = "24",
number = "7",
pages = "192--206",
month = jul,
year = "1989",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu May 13 12:31:07 MDT 1999",
bibsource = "http://www.acm.org/pubs/contents/proceedings/pldi/73141/index.html;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/73141/p192-boehm/",
abstract = "A number of recent programming language designs
incorporate a type checking system based on the
Girard--Reynolds polymorphic \$lambda@-calculus. This
allows the construction of general purpose, reusable
software without sacrificing compile-time type
checking. A major factor constraining the
implementation of these languages is the difficulty of
automatically inferring the lengthy type information
that is otherwise required if full use is made of these
languages. There is no known algorithm to solve any
natural and fully general formulation of this `type
inference' problem. One very reasonable formulation of
the problem is known to be undecidable. Here we define
a restricted version of the type inference problem and
present an efficient algorithm for its solution. We
argue that the restriction is sufficiently weak to be
unobtrusive in practice.",
acknowledgement = ack-nhfb,
affiliationaddress = "Houston, TX, USA",
annote = "Published as part of the Proceedings of PLDI'89.",
classification = "723",
conference = "Proceedings of the SIGPLAN '89 Conference on
Programming Language Design and Implementation",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706",
journalabr = "SIGPLAN Not",
keywords = "Abstract Data Types (ADT); algorithms; Computer
Programming Languages--Design; Data Processing; Data
Structures; design; languages; Scratchpad; theory",
meetingaddress = "Portland, OR, USA",
meetingdate = "Jun 21--23 1989",
meetingdate2 = "06/21--23/89",
sponsor = "ACM, Special Interest Group on Programming Languages,
New York; SS NY, USA",
subject = "{\bf F.4.1} Theory of Computation, MATHEMATICAL LOGIC
AND FORMAL LANGUAGES, Mathematical Logic. {\bf F.3.3}
Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS,
Studies of Program Constructs, Type structure.",
}
@InProceedings{Bronstein:1989:SRE,
author = "M. Bronstein",
title = "Simplification of real elementary functions",
crossref = "ACM:1989:PAI",
pages = "207--211",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author describes an algorithm, based on Risch's
real structure theorem, that determines explicitly all
the algebraic relations among a given set of real
elementary functions. He provides examples from its
implementation in the Scratchpad computer algebra
system that illustrate the advantages over the use of
complex logarithms and exponentials.",
acknowledgement = ack-nhfb,
affiliation = "IBM Res. Div., T. J. Watson Res. Center, Yorktown
Heights, NY, USA",
classification = "C1110 (Algebra); C7310 (Mathematics)",
keywords = "Computer algebra system; Real elementary functions;
Real structure theorem; Scratchpad",
language = "English",
thesaurus = "Functions; Mathematics computing; Symbol
manipulation",
}
@InProceedings{Burge:1989:ISS,
author = "W. H. Burge and S. M. Watt",
title = "Infinite structures in {Scratchpad} {II}",
crossref = "Davenport:1989:EEC",
pages = "138--148",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "An infinite structure is a data structure which cannot
be fully constructed in any fixed amount of space.
Several varieties of infinite structures are currently
supported in Scratchpad II: infinite sequences, radix
expansions, power series and continued fractions. Two
basic methods are employed to represent infinite
structures: self-referential data structures and lazy
evaluation. These may be employed either separately or
in conjunction. This paper presents recently developed
facilities in Scratchpad II for manipulating infinite
structures. General techniques for manipulating
infinite structures are covered, as well as the higher
level manipulations on the various types of
mathematical objects represented by infinite
structures.",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C6120 (File organisation); C7310 (Mathematics)",
keywords = "Continued fractions; Higher level manipulations;
Infinite sequences; Infinite structure; Lazy
evaluation; Mathematical objects; Power series; Radix
expansions; Scratchpad II; Self-referential data
structures",
language = "English",
thesaurus = "Algebra; Data structures; Mathematics computing;
Series [mathematics]; Software packages; Symbol
manipulation",
}
@InProceedings{Dicrescenzo:1989:AEA,
author = "C. Dicrescenzo and D. Duval",
title = "Algebraic extensions and algebraic closure in
{Scratchpad} {II}",
crossref = "Gianni:1989:SAC",
pages = "440--446",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Many problems in computer algebra, as well as in
high-school exercises, are such that their statement
only involves integers but their solution involves
complex numbers. For example, the complex numbers $
\sqrt 2 $ and $ - \sqrt 2 $ appear in the solutions of
elementary problems in various domains. The authors
describe an implementation of an algebraic closure
domain constructor in the language Scratchpad II. In
the first part they analyze the problem, and in the
second part they describe a solution based on the D5
system.",
acknowledgement = ack-nhfb,
affiliation = "TIM3, INPG, Grenoble, France",
classification = "C7310 (Mathematics)",
keywords = "Algebraic closure domain constructor; D5 system;
Language Scratchpad II",
language = "English",
thesaurus = "Mathematics computing; Symbol manipulation",
}
@InProceedings{Gianni:1989:ASS,
author = "P. Gianni and T. Mora",
title = "Algebraic solution of systems of polynomial equations
using {Gr{\"o}bner} bases",
crossref = "Huguet:1989:AAA",
pages = "247--257",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "One of the most important applications of Buchberger's
algorithm for Gr{\"o}bner basis computation is the
solution of systems of polynomial equations (having
finitely many roots), i.e. the computation of zeros of
0-dimensional polynomial ideals. It is based on a
relation between Gr{\"o}bner bases w.r.t. a
lexicographical ordering and elimination ideals. The
algorithms discussed in this paper are implemented in
SCRATCHPAD II. In the first section the authors recall
some well-known properties of Gr{\"o}bner bases and
properties on the structure of Gr{\"o}bner bases of
zero-dimensional ideals; in the second section they
recall the Gr{\"o}bner basis algorithm for solving
systems of algebraic equations. The original results
are then presented. The authors first take advantage of
the obvious fact that density can be controlled
performing `small' changes of coordinates: they show
that such approach is possible during a Gr{\"o}bner
basis computation, in such a way that computations done
before a change of coordinates are valid also after it;
they propose a `linear algebra' approach to obtain the
Gr{\"o}bner basis w.r.t. the lexicographical ordering
from the one w.r.t. the total-degree ordering; and
finally they present a zero-dimensional radical
algorithm and show how to apply it to the present
problem.",
acknowledgement = ack-nhfb,
affiliation = "Pisa Univ., Italy",
classification = "C1110 (Algebra); C4140 (Linear algebra); C7310
(Mathematics)",
keywords = "Coordinate changes; Polynomial equations; Gr{\"o}bner
bases; Buchberger's algorithm; Gr{\"o}bner basis
computation; Zeros; 0-Dimensional polynomial ideals;
Lexicographical ordering; Elimination ideals;
SCRATCHPAD II; Algebraic equations; Linear algebra;
Total-degree ordering; Zero-dimensional radical
algorithm",
language = "English",
thesaurus = "Equations; Linear algebra; Mathematics computing;
Poles and zeros; Polynomials",
}
@InProceedings{Kusche:1989:IGT,
author = "K. Kusche and B. Kutzler and H. Mayr",
title = "Implementation of a geometry theorem proving package
in {SCRATCHPAD} {II}",
crossref = "Davenport:1989:EEC",
pages = "246--257",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The problem of automatically proving geometric
theorems has gained a lot of attention in the last two
years. Following the general approach of translating a
given geometric theorem into an algebraic one, various
powerful provers based on characteristic sets and
Gr{\"o}bner bases have been implemented by groups at
Academia Sinica Beijing (China), U. Texas at Austin
(USA), General Electric Schenectady (USA), and Research
Institute for Symbolic Computation Linz (Austria). So
far, fair comparisons of the various provers were not
possible, because the underlying hardware and the
underlying algebra systems differed greatly. This paper
reports on the first uniform implementation of all
these provers in the computer algebra system and
language SCRATCHPAD II. The authors summarize the
recent achievements in the area of automated geometry
theorem proving, shortly review the SCRATCHPAD II
system, describe the implementation of the geometry
theorem proving package, and finally give computing
time statistics of 24 examples.",
acknowledgement = ack-nhfb,
affiliation = "Res. Inst. for Symbolic Comput., RISC-LINZ, Johannes
Kepler Univ., Linz, Austria",
classification = "C1230 (Artificial intelligence); C7310
(Mathematics)",
keywords = "Geometry theorem proving package; SCRATCHPAD II;
Characteristic sets; Gr{\"o}bner bases; Computer
algebra system; Computing time statistics",
language = "English",
thesaurus = "Algebra; Computational geometry; Mathematics
computing; Symbol manipulation; Theorem proving",
}
@Article{Mathews:1989:SCA,
author = "J. Mathews",
title = "Symbolic computational algebra applied to {Picard}
iteration",
journal = j-MATH-COMP-EDU,
volume = "23",
number = "2",
pages = "117--122",
month = "Spring",
year = "1989",
CODEN = "MCEDDA",
ISSN = "0730-8639",
bibdate = "Tue Sep 17 06:48:10 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Picard iteration occurs in differential equations as a
constructive procedure for establishing the existence
of a solution to a differential equation. This
application of Picard iteration illustrates how to use
a computer to generate a sequence of functions which
converges to a solution. The article shows the step by
step process in translating mathematical theory into
the symbolic manipulation setting. Systems such as
MACSYMA, ALTRAN, REDUCE, SMP, MAPLE, SCRATCHPAD, and
muMATH are being introduced in undergraduate
mathematics courses to assist in keeping track of
equations during complicated manipulations. The product
muMATH is illustrated because of its availability. It
runs on all 16-bit computers which are IBM compatible.
The way has been opened to see how computers can be
used as a symbol cruncher.",
acknowledgement = ack-nhfb,
affiliation = "California State Univ., Fullerton, CA, USA",
classification = "C4130 (Interpolation and function approximation);
C4170 (Differential equations); C6130 (Data handling
techniques); C7310 (Mathematics)",
fjournal = "Mathematics and computer education",
keywords = "Differential equations; IBM compatible; Mathematical
theory; Mathematics computing; MuMATH; Picard
iteration; Symbol cruncher; Symbolic manipulation;
Undergraduate mathematics",
language = "English",
pubcountry = "USA",
thesaurus = "Differential equations; Iterative methods; Mathematics
computing; Microcomputer applications; Symbol
manipulation",
}
@InProceedings{Ollivier:1989:IRM,
author = "F. Ollivier",
title = "Inversibility of rational mappings and structural
identifiability in automatics",
crossref = "ACM:1989:PAI",
pages = "43--54",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author investigates different methods for testing
whether a rational mapping f from k/sup n/ to k/sup m/
admits a rational inverse, or whether a polynomial
mapping admits a polynomial one. He gives a new
solution, which seems much more efficient in practice
than previously known ones using `tag' variables and
standard basis, and a majoration for the degree of the
standard basis calculations which is valid for both
methods in the case of a polynomial map which is
birational. He shows that a better bound can be given
for the method, under some assumption on the form of f.
The method can also extend to check whether a given
polynomial belongs to the subfield generated by a
finite set of fractions. The author illustrates the
algorithm with an application to structural
identifiability. The implementation has been done in
the IBM computer algebra system Scratchpad II.",
acknowledgement = ack-nhfb,
affiliation = "Lab. d'Inf. de l'X, Ecole Polytech., Palaiseau,
France",
classification = "C1110 (Algebra); C1120 (Analysis); C7310
(Mathematics)",
keywords = "Computer algebra system; Fractions; IBM;
Inversibility; Polynomial inverse; Polynomial mapping;
Rational inverse; Rational mappings; Scratchpad II;
Structural identifiability",
language = "English",
thesaurus = "Inverse problems; Mathematics computing; Polynomials;
Set theory; Symbol manipulation",
}
@TechReport{Salvy:1989:EAA,
author = "B. Salvy",
title = "Examples of automatic asymptotic expansions",
number = "114",
institution = "Inst. Nat. Recherche Inf. Autom.",
address = "Le Chesnay, France",
pages = "18",
month = dec,
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Describes the current state of a Maple library, gdev,
designed to perform asymptotic expansions for a large
class of expressions. Many examples are provided, along
with a short sketch of the underlying principles. A
striking feature of these examples is that none of them
can be computed directly with any of the most
widespread symbolic computation systems (Macsyma,
Mathematica, Maple or Scratchpad II).",
acknowledgement = ack-nhfb,
classification = "C1120 (Analysis); C6130 (Data handling techniques);
C7310 (Mathematics)",
keywords = "Asymptotic expansions; Gdev; Maple library; Symbolic
computation systems",
language = "English",
pubcountry = "France",
thesaurus = "Mathematical analysis; Mathematics computing;
Subroutines; Symbol manipulation",
}
@InProceedings{Schwarz:1989:FAL,
author = "F. Schwarz",
title = "A factorization algorithm for linear ordinary
differential equations",
crossref = "ACM:1989:PAI",
pages = "17--25",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The reducibility and factorization of linear
homogeneous differential equations are of great
theoretical and practical importance in mathematics.
Although it has been known for a long time that
factorization is in principle a decision procedure, its
use in an automatic differential equation solver
requires a more detailed analysis of the various steps
involved. Especially important are certain auxiliary
equations, the so-called associated equations. An upper
bound for the degree of its coefficients is derived.
Another important ingredient is the computation of
optimal estimates for the size of polynomial and
rational solutions of certain differential equations
with rotational coefficients. Applying these results,
the design of the factorization algorithm LODEF and its
implementation in the Scratchpad II Computer Algebra
System is described.",
acknowledgement = ack-nhfb,
affiliation = "GMD, Inst. F1, St. Augustin, West Germany",
classification = "C1120 (Analysis); C4170 (Differential equations);
C7310 (Mathematics)",
keywords = "Associated equations; Automatic differential equation
solver; Factorization algorithm; Linear ordinary
differential equations; LODEF; Optimal estimates;
Polynomial solutions; Rational solutions; Rotational
coefficients; Scratchpad II Computer Algebra System;
Upper bound",
language = "English",
thesaurus = "Linear differential equations; Mathematics computing;
Polynomials; Symbol manipulation",
}
@InProceedings{Sit:1989:GAS,
author = "W. Y. Sit",
title = "On {Goldman}'s algorithm for solving first-order
multinomial autonomous systems",
crossref = "Mora:1989:AAA",
pages = "386--395",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "A brief exposition of a method for finding first
integrals for first order multinomial autonomous
systems (FOMAS) of ordinary differential equations with
constant coefficients is given. The method is a
simplified as well as a redesigned version based on a
paper of Goldman (1987). The author shows how it can be
applied to FOMAS with parametric coefficients. The
algorithm is currently being implemented using the
SCRATCHPAD II computer algebra language and system at
the IBM TJ Watson Research Center.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., City Coll. of New York, NY, USA",
classification = "B0290P (Differential equations); B0290R (Integral
equations); C4170 (Differential equations); C4180
(Integral equations); C7310 (Mathematics)",
keywords = "Computer algebra language; Constant coefficients;
First integrals; First order multinomial autonomous
systems; FOMAS; Goldman algorithm; IBM; Ordinary
differential equations; SCRATCHPAD II",
language = "English",
thesaurus = "Differential equations; Integral equations;
Mathematics computing",
}
@Article{Wang:1989:PCL,
author = "D. Wang",
title = "A program for computing the {Liapunov} functions and
{Liapunov} constants in {Scratchpad} {II}",
journal = j-SIGSAM,
volume = "23",
number = "4",
pages = "25--31",
month = oct,
year = "1989",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "/usr/local/src/bib/bibliography/Theory/sigsam.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The report describes the implementation and use of a
program for computing the Liapunov functions and
Liapunov constants for a class of differential systems
in Scratchpad II.",
acknowledgement = ack-nhfb,
affiliation = "Res. Inst. for Symbolic Comput., Johannes Kepler
Univ., Linz, Austria",
classification = "C1320 (Stability); C4170 (Differential equations);
C7420 (Control engineering)",
fjournal = "SIGSAM Bulletin",
keywords = "Differential systems, design; Liapunov constants;
Liapunov functions; performance; Scratchpad II",
language = "English",
pubcountry = "USA",
subject = "E.4 Data, CODING AND INFORMATION THEORY, Data
compaction and compression \\ G.2.0 Mathematics of
Computing, DISCRETE MATHEMATICS, General",
thesaurus = "Control system CAD; Differential equations; Lyapunov
methods; Polynomials",
}
@InProceedings{Watt:1989:FPM,
author = "S. M. Watt",
title = "A fixed point method for power series computation",
crossref = "Gianni:1989:SAC",
pages = "206--217",
month = "",
year = "1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Presents a novel technique for manipulating structures
which represent infinite power series. The technique
described allows a power series to be defined in a very
natural but computationally inefficient way and
transforms it to an equivalent, efficient form. This is
achieved by using a fixed point operator on the delayed
part to remove redundant calculations. The paper
describes this fixed point method and the class of
problems to which it is applicable. It has been used in
Scratchpad II to improve the performance of a number of
operations on infinite series, including division,
reversion, special functions and the solution of linear
and non-linear ordinary differential equations. A few
examples are given of the method and of the speed up
obtained. To illustrate, the computation of the first n
terms of exp(u) for a dense, infinite series u is
reduced from O(n/sup 4/) to O(n/sup 2/) coefficient
operations, the same as required by the standard
on-line algorithms.",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C4240 (Programming and algorithm theory); C7310
(Mathematics)",
keywords = "Delayed part; Fixed point method; Fixed point
operator; Infinite power series; Power series
computation; Redundant calculations; Scratchpad II",
language = "English",
thesaurus = "Computational complexity; Mathematics computing",
}
@InProceedings{Davenport:1990:SVA,
author = "J. H. Davenport and B. M. Trager",
title = "{Scratchpad}'s View of Algebra {I}: Basic Commutative
Algebra",
crossref = "Miola:1990:DIS",
pages = "40--54",
month = "",
year = "1990",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "auch in: {AXIOM} Technical Report, ATR/1, NAG Ltd.,
Oxford, 1992.",
abstract = "The paper describes the constructive theory of
commutative algebra which underlies that part of
Scratchpad which deals with commutative algebra. The
authors begin by explaining the background that led the
Scratchpad group to construct such a general theory.
They contrast the general theory in Scratchpad with
Reduce-3's theory of domains, which is in many ways
more limited, but is the closest approach to an
implemented general theory to be found outside
Scratchpad. This leads them to describe the general
Scratchpad view of data types and categories, and the
possibilities it offers. They then digress a little to
ask what criteria should be adopted in choosing what
types to define. Having discussed the philosophical
issues, they then discuss commutative algebra proper,
breaking this up into the sections `up to Ring',
`Integral Domain', `Gcd Domain' and `Euclidean
Domain'.",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Math. Sci., Bath Univ., UK",
classification = "C1110 (Algebra); C7310 (Mathematics)",
keywords = "Categories; Commutative algebra; Constructive theory;
Data types; Euclidean Domain; Gcd Domain; Greatest
common divisors; Integral Domain; Philosophical issues;
Ring; Scratchpad",
language = "English",
thesaurus = "Algebra; Software packages; Symbol manipulation",
}
@InProceedings{Fateman:1990:ATD,
author = "R. J. Fateman",
title = "Advances and trends in the design and construction of
algebraic manipulation systems",
crossref = "Watanabe:1990:IPI",
pages = "60--67",
year = "1990",
DOI = "http://dx.doi.org/10.1145.96895",
bibdate = "Thu Jul 26 09:04:25 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Compares and contrasts several techniques for the
implementation of components of an algebraic
manipulation system. On one hand is the mathematical
algebraic approach which characterizes (for example)
IBM's Scratchpad II. On the other hand is the more ad
hoc approach which characterizes many other popular
systems (for example, Macsyma, Reduce, Maple, and
Mathematica). While the algebraic approach has
generally positive results, careful examination
suggests that there are significant remaining problems,
especially in the representation and manipulation of
analytical, as opposed to algebraic mathematics. The
author describes some of these problems, and some
general approaches for solutions.",
acknowledgement = ack-nhfb,
affiliation = "California Univ., Berkeley, CA, USA",
classification = "C4240 (Programming and algorithm theory); C7310
(Mathematics)",
keywords = "Algebraic manipulation systems; Algebraic mathematics;
Macsyma; Maple; Mathematica; Mathematical algebraic;
Reduce; Scratchpad II",
language = "English",
thesaurus = "Algebra; Symbol manipulation",
}
@InProceedings{Fortenbacher:1990:ETI,
author = "A. Fortenbacher",
title = "Efficient type inference and coercion in computer
algebra",
crossref = "Miola:1990:DIS",
pages = "56--60",
month = "",
year = "1990",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Computer algebra systems of the new generation, like
Scratchpad, are characterized by a very rich type
concept, which models the relationship between
mathematical domains of computation. To use these
systems interactively, however, the user should be
freed of type information. A type inference mechanism
determines the appropriate function to call. All known
models which define a semantics for type inference
cannot express the rich `mathematical' type structure,
so presently type inference is done heuristically. The
following paper defines a semantics for a subproblem,
namely coercion, which is based on rewrite rules. From
this definition, an efficient coercion algorithm for
Scratchpad is constructed using graph techniques.",
acknowledgement = ack-nhfb,
affiliation = "Sci. Center Heidelberg, IBM Deutschland GmbH,
Germany",
classification = "C1110 (Algebra); C4210 (Formal logic); C6120 (File
organisation); C7310 (Mathematics)",
keywords = "Coercion algorithm; Computer algebra; Graph
techniques; Rewrite rules; Scratchpad; Type inference
mechanism",
language = "English",
thesaurus = "Algebra; Data structures; Inference mechanisms;
Mathematics computing; Rewriting systems; Symbol
manipulation",
}
@TechReport{Fouche:1990:ILK,
author = "Francois Fouche",
title = "Une Implantation de l'algorithme de {Kovacic} en
{Scratchpad}",
institution = "Institut de Recherche Math{\'{e}}matique
Avanc{\'{e}}e",
address = "Strasbourg, France",
pages = "31",
year = "1990",
bibdate = "Sat Dec 30 08:25:26 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
}
@Article{Melachrinoudis:1990:TAT,
author = "E. Melachrinoudis and D. L. Rumpf",
title = "Teaching advantages of transparent computer software
--- {MathCAD}",
journal = j-COED,
volume = "10",
number = "1",
pages = "71--76",
month = jan # "-" # mar,
year = "1990",
CODEN = "CWLJDP",
ISSN = "0736-8607",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The case is presented for using mathematical
scratchpad software, such as MathCAD, in undergraduate
and graduate engineering courses. The pedagogical
benefits, especially relative to the usual black box
engineering software, are described. Several examples
of student written projects are presented. The projects
solve problems in operations research, control theory
and statistical regression analysis.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Ind. Eng., Northeastern Univ., Boston, MA,
USA",
classification = "C7110 (Education); C7310 (Mathematics); C7400
(Engineering); C7810C (Computer-aided instruction)",
fjournal = "CoED",
keywords = "Black box engineering software; Control theory;
Graduate engineering courses; MathCAD; Mathematical
scratchpad software; Operations research; Pedagogical
benefits; Statistical regression analysis; Student
written projects; Transparent computer software;
Undergraduate",
language = "English",
pubcountry = "USA",
thesaurus = "CAD; Educational computing; Engineering computing;
Mathematics computing; Teaching",
}
@InProceedings{Augot:1991:MDS,
author = "D. Augot and P. Charpin and N. Sendrier",
title = "The minimum distance of some binary codes via the
{Newton}'s identities",
crossref = "Cohen:1991:EIS",
pages = "65--73",
month = "",
year = "1991",
bibdate = "Tue Sep 17 06:41:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The authors propose a natural way of deciding whether
a given cyclic code contains a word of given weight.
The method is based on the manipulation of the locators
and of the locator polynomial of a codeword x. Because
of the dimensions of the problem, one needs to use
symbolic computation software, like Maple or Scratchpad
II. The method can be ineffective when the length is
too large. The paper is in two parts: In the first
part, they present the main definitions and properties
needed. In the second part, they explain how to use
these properties, and, as illustration, prove the three
following facts: the dual of the BCH code of length 63
and designed distance 9 has true minimum distance 14
(which was already known). The BCH code of length 1023
and designed distance 253 has minimum distance 253. The
cyclic codes of length 2/sup 11/, 2/sup 13/, 2/sup 17/,
with generator polynomial m/sub 1/(x) and m/sub 7/(x)
have minimum distance 4.",
acknowledgement = ack-nhfb,
affiliation = "Paris 6 Univ., France",
classification = "B6120B (Codes)",
keywords = "BCH code; Binary codes; Codeword; Cyclic codes;
Generator polynomial; Locator polynomial; Minimum
distance; Newton identities; Symbolic computation",
language = "English",
thesaurus = "Codes",
}
@InProceedings{Bronstein:1991:RDE,
author = "M. Bronstein",
title = "The {Risch} differential equation on an algebraic
curve",
crossref = "Watt:1991:PIS",
pages = "241--246",
month = "",
year = "1991",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author presents a new rational algorithm for
solving Risch differential equations over algebraic
curves. This algorithm can also be used to solve n/sup
th/-order linear ordinary differential equations with
coefficients in an algebraic extension of the rational
functions. In the general ('mixed function') case, this
algorithm finds the denominator of any solution of the
equation. The algorithm has been implemented in the
Maple and Scratchpad computer algebra systems.",
acknowledgement = ack-nhfb,
affiliation = "Inf. ETH-Zentrum, Zurich, Switzerland",
classification = "C4170 (Differential equations); C7310
(Mathematics)",
keywords = "Algebraic curve; Computer algebra systems; Maple;
N/sup th/-order linear ordinary differential equations;
Rational algorithm; Rational functions; Risch
differential equation; Scratchpad",
language = "English",
thesaurus = "Differential equations; Symbol manipulation",
}
@InProceedings{Burge:1991:SRI,
author = "W. H. Burge",
title = "{Scratchpad} and the {Rogers--Ramanujan} identities",
crossref = "Watt:1991:PIS",
pages = "189--190",
month = "",
year = "1991",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "This note sketches the part played by Scratchpad in
obtaining new proofs of Euler's theorem and the
Rogers--Ramanujan Identities.",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C1160 (Combinatorial mathematics); C7310
(Mathematics)",
keywords = "Euler theorem; Infinite series; Restricted partition
pairs; Rogers--Ramanujan identities; Scratchpad",
language = "English",
thesaurus = "Mathematics computing; Number theory; Symbol
manipulation",
}
@InProceedings{Davenport:1991:SVA,
author = "J. H. Davenport and P. Gianni and B. M. Trager",
title = "{Scratchpad}'s view of algebra. {II}. {A} categorical
view of factorization",
crossref = "Watt:1991:PIS",
pages = "32--38",
month = "",
year = "1991",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "auch in: {AXIOM} Technical Report, ATR/2, NAG Ltd.,
Oxford, 1992.",
abstract = "For pt.I see Proc. DISCO 1990 (p.40-54). The paper
explains how Scratchpad solves the problem of
presenting a categorical view of factorization in
unique factorization domains, i.e. a view which can be
propagated by functors such as
SparseUnivariatePolynomial or Fraction. This is not
easy, as the constructive version of the classical
concept of UniqueFactorizationdomain cannot be so
propagated. The solution adopted is based largely on
the Seidenberg conditions (F) and (P), but there are
several additional points that have to be borne in mind
to produce reasonably efficient algorithms in the
required generality. The consequence of the algorithms
and interfaces presented is that Scratchpad can
factorize in any extension of the integers or finite
fields by any combination of polynomial, fraction and
algebraic extensions: a capability far more general
than any other computer algebra system possesses.",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Math., Bath Univ., Claverton Down, UK",
classification = "C4130 (Interpolation and function approximation);
C7310 (Mathematics)",
keywords = "Algebraic extensions; Categorical view; Computer
algebra system; Factorization; Finite fields; Fraction;
Integers; Polynomial; Scratchpad; Seidenberg
conditions",
language = "English",
thesaurus = "Mathematics computing; Polynomials; Symbol
manipulation",
}
@InProceedings{Goodwin:1991:UMT,
author = "B. M. Goodwin and R. A. Buonopane and A. Lee",
title = "Using {MathCAD} in teaching material and energy
balance concepts",
crossref = "Anonymous:1991:PAC",
pages = "345--349 (vol. 1)",
year = "1991",
bibdate = "Tue Sep 17 06:37:45 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The authors show how PC-based applications software,
specifically MathCAD, is used in the teaching of
material and energy balance concepts. MathCAD is a
microcomputer software package which acts as a
mathematical scratchpad. It has proven to be a very
useful instructional tool in introductory chemical
engineering courses. MathCAD solutions to typical
course problems are presented.",
acknowledgement = ack-nhfb,
affiliation = "Northeastern Univ., Boston, MA, USA",
classification = "C7450 (Chemical engineering); C7810C (Computer-aided
instruction)",
keywords = "Energy balance concepts; Instructional tool;
Introductory chemical engineering courses; MathCAD;
Mathematical scratchpad; PC-based applications
software",
language = "English",
thesaurus = "Chemical engineering computing; Computer aided
instruction; Microcomputer applications; Spreadsheet
programs",
}
@TechReport{Grabmeier:1991:CSA,
author = "J. Grabmeier and K. Huber and U. Krieger",
title = "{Das Computeralgebra-System AXIOM bei kryptologischen
und verkehrstheoretischen Untersuchungen des
Forschungsinstituts der Deutschen Bundespost TELEKOM}",
type = "Technischer Report",
number = "TR 75.91.20",
institution = "IBM Wissenschaftliches Zentrum",
address = "Heidelberg, Germany",
pages = "??",
year = "1991",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@Article{Koseleff:1991:WGF,
author = "P.-V. Koseleff",
title = "Word games in free {Lie} algebras: several bases and
formulas",
journal = j-THEOR-COMP-SCI,
volume = "79",
number = "1",
pages = "241--256",
month = feb,
year = "1991",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author compares the efficiency of many methods
which allow calculations in Lie algebras. Many
construction methods exist for the base of free Lie
algebras developed from finite sets. They use two
algorithms for calculation of several
Campbell--Hausdorf formulas. Diverse implementations
are realised in LISP on Scratchpad II.",
acknowledgement = ack-nhfb,
affiliation = "IBM, Paris, France",
classification = "C6130 (Data handling techniques); C7310
(Mathematics)",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975",
keywords = "Bases; Campbell--Hausdorf formulas; Finite sets; Free
Lie algebras; LISP; Scratchpad II",
language = "English",
pubcountry = "Netherlands",
thesaurus = "Mathematics computing; Symbol manipulation",
}
@Article{Lambe:1991:RHP,
author = "L. A. Lambe",
title = "Resolutions via homological perturbation",
journal = j-J-SYMBOLIC-COMP,
volume = "12",
number = "1",
pages = "71--87",
month = jul,
year = "1991",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "There is a trade-off between the size of the
resolutions which arise from the perturbation method
and the complexity of the new differential. In order to
keep the modules relatively small, there is a
considerable increase in the algebraic complexity of
the resulting differentials. In order to study such
complexes systematically, examples are needed. To
facilitate such study, the Scratchpad system was used
to set up and perform the necessary calculations.
Because of the way Scratchpad is organized, this could
be done in a way that minimizes programming effort and
provides the natural mathematical environment for such
calculations. The author discusses some of the general
theory behind homological perturbation theory, gives an
idea of what is needed to make calculations within that
theory in Scratchpad, and calculates a resolution of
the integers over the integral group ring of the 4*4
upper triangular matrices with ones along the
diagonal.",
acknowledgement = ack-nhfb,
affiliation = "Illinois Univ., Chicago, IL, USA",
classification = "C4240 (Programming and algorithm theory); C7310
(Mathematics)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "Algebraic complexity; Complexity; Homological
perturbation; Integers; Mathematical environment;
Resolutions; Scratchpad system",
language = "English",
pubcountry = "UK",
thesaurus = "Computational complexity; Perturbation theory; Symbol
manipulation",
}
@InProceedings{LeBlanc:1991:UMT,
author = "S. E. LeBlanc",
title = "The use of {MathCAD} and {Theorist} in the {ChE}
classroom",
crossref = "Anonymous:1991:PAC",
pages = "287--299 (vol. 1)",
year = "1991",
bibdate = "Tue Sep 17 06:37:45 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "MathCAD and Theorist are two powerful mathematical
packages available for instruction in the ChE
classroom. MathCAD is advertised as an `electronic
scratchpad' and it certainly lives up to its billing.
It is an extremely user-friendly collection of
numerical routines that eliminates the drudgery of
solving many of the types of problems encountered by
undergraduate ChE's (and engineers in general). MathCAD
is available for both the Macintosh and IBM PC
compatibles. The PC version is available as a
full-functioned student version for around US\$40 (less
than many textbooks). Theorist is a symbolic
mathematical package for the Macintosh. Many
interesting and instructive things can be done with it
in the ChE curriculum. One of its many attractive
features includes the ability to generate high quality
three dimensional plots that can be very instructive in
examining the behavior of an engineering system. The
author discusses the application and use of these
packages in chemical engineering and give example
problems and their solutions for a number of courses
including stoichiometry, unit operations,
thermodynamics and design.",
acknowledgement = ack-nhfb,
affiliation = "Toledo Univ., OH, USA",
classification = "C7450 (Chemical engineering); C7810C (Computer-aided
instruction)",
keywords = "Chemical engineering; MathCAD; Mathematical packages;
Numerical routines; Stoichiometry; Symbolic
mathematical package; Theorist; Thermodynamics; Unit
operations",
language = "English",
thesaurus = "Chemical engineering computing; Computer aided
instruction; Spreadsheet programs; Symbol
manipulation",
}
@Article{Lynch:1991:NQM,
author = "R. Lynch and H. A. Mavromatis",
title = "New quantum mechanical perturbation technique using an
`electronic scratchpad' on an inexpensive computer",
journal = j-AMER-J-PHYSICS,
volume = "59",
number = "3",
pages = "270--273",
month = mar,
year = "1991",
CODEN = "AJPIAS",
ISSN = "0002-9505",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The authors have developed a new method for doing
numerical quantum mechanical perturbation theory. It
has the flavor of Rayleigh--Schr{\"o}dinger
perturbation theory (division of the Hamiltonian into
an unperturbed Hamiltonian and a perturbing term, use
of the basis formed by the eigenfunctions of the
unperturbed Hamiltonian) while turning out to be a
variational technique. Furthermore, it is easily
implemented by means of the widely used `electronic
scratchpad,' MathCAD 2.0, using an inexpensive
computer. As an example of the method, the problem of a
harmonic oscillator with a quartic perturbing term is
examined.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Phys., King Fahd Univ. of Pet. and Miner.,
Dhahran, Saudi Arabia",
classification = "A0150H (Instructional computer use); A0210 (Algebra,
set theory, and graph theory); A0230 (Function theory,
analysis); A0365D (Functional analytical methods);
A0365F (Algebraic methods); A0365G (Solutions of wave
equations: bound state); C7810C (Computer-aided
instruction)",
fjournal = "American Journal of Physics",
keywords = "Electronic scratchpad; Eigenvalues; Eigenfunctions;
Quantum mechanical perturbation technique;
Rayleigh--Schr{\"o}dinger perturbation theory;
Hamiltonian; Variational technique; MathCAD 2.0;
Harmonic oscillator",
language = "English",
pubcountry = "USA",
thesaurus = "Computer aided instruction; Eigenvalues and
eigenfunctions; Harmonic oscillators; Perturbation
theory; Quantum theory; Variational techniques",
}
@Article{Salvy:1991:EAA,
author = "B. Salvy",
title = "Examples of automatic asymptotic expansions",
journal = j-SIGSAM,
volume = "25",
number = "2",
pages = "4--17",
month = apr,
year = "1991",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Describes the current state of a Maple library, gdev,
designed to perform asymptotic expansions for a large
class of expressions. Many examples are provided, along
with a short sketch of the underlying principles. At
the time when this report is written, a striking
feature of these examples is that none of them can be
computed directly with any of today's most widespread
symbolic computation systems (Macsyma, Mathematica,
Maple or Scratchpad II).",
acknowledgement = ack-nhfb,
affiliation = "LIX, Ecole Polytech., Palaiseau, France",
classification = "C6130 (Data handling techniques); C7310
(Mathematics)",
fjournal = "SIGSAM Bulletin",
keywords = "Automatic asymptotic expansions; Expressions; Gdev;
Maple library; Symbolic computation systems",
language = "English",
pubcountry = "USA",
thesaurus = "Symbol manipulation",
}
@Article{Schwarz:1991:MOG,
author = "F. Schwarz",
title = "Monomial orderings and {Gr{\"o}bner} bases",
journal = j-SIGSAM,
volume = "25",
number = "1",
pages = "10--23",
month = jan,
year = "1991",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Let there be given a set of monomials in n variables
and some order relations between them. The following
fundamental problem of monomial ordering is considered.
Is it possible to decide whether these ordering
relations are consistent and if so to extend them to an
admissible ordering for all monomials? The answer is
given in terms of the algorithm MACOT which constructs
a matrix of so-called cotes which establishes the
desired ordering relations. The main area of
application of this algorithm, i.e. the construction of
Gr{\"o}bner bases for different orderings and of
universal Gr{\"o}bner bases, is presented. An
implementation in Scratchpad is also briefly
described.",
acknowledgement = ack-nhfb,
affiliation = "GMD Inst., St. Augustin, Germany",
classification = "C1110 (Algebra); C4140 (Linear algebra); C7310
(Mathematics)",
fjournal = "SIGSAM Bulletin",
keywords = "Computer algebra; Thomas theorem; Multivariate
polynomial; Gr{\"o}bner bases; Monomial ordering;
Ordering relations; Admissible ordering; MACOT; Matrix;
Cotes; Scratchpad",
language = "English",
pubcountry = "USA",
thesaurus = "Algebra; Matrix algebra; Polynomials; Symbol
manipulation",
}
@Article{Wang:1991:MMC,
author = "Dongming Wang",
title = "Mechanical manipulation for a class of differential
systems",
journal = j-J-SYMBOLIC-COMP,
volume = "12",
number = "2",
pages = "233--254",
month = aug,
year = "1991",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "/usr/local/src/bib/bibliography/Theory/cathode.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author describes a mechanical procedure for
computing the Liapunov functions and Liapunov constants
for a class of differential systems. These functions
and constants are used for establishing the stability
criteria, the conditions for the existence of a center
and for the investigation of limit cycles. Some
problems for handling the computer constants, which are
usually large polynomials in terms of the coefficients
of the differential system, and an approach towards
their solution by using computer algebraic methods are
proposed. This approach has been successfully applied
to check some known results mechanically. The author
has implemented a system DEMS on an HP1000 and in
Scratchpad II on an IBM4341 for computing and
manipulating the Liapunov functions and Liapunov
constants. As examples, two particular cubic systems
are discussed in detail. The explicit algebraic
relations between the computed Liapunov constants and
the conditions given by Saharnikov are established,
which leads to a rediscovery of the incompleteness of
his conditions. A class of cubic systems with 6-tuple
focus is presented to demonstrate the feasibility of
the approach for finding systems with higher multiple
focus.",
acknowledgement = ack-nhfb,
affiliation = "Res. Inst. for Symbolic Comput., Johannes Kepler
Univ., Linz, Austria",
classification = "C1320 (Stability); C4170 (Differential equations);
C7420 (Control engineering)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "6-Tuple focus; Computer algebraic methods; Cubic
systems; DEMS; Differential systems; HP1000; IBM4341;
Incompleteness; Large polynomials; Liapunov constants;
Liapunov functions; Limit cycles; Limit cycles
SCRATCHPAD, Nonlinear DEs; Mechanical procedure;
Scratchpad II; Stability criteria",
language = "English",
pubcountry = "UK",
thesaurus = "Control system analysis computing; Lyapunov methods;
Nonlinear differential equations; Stability; Symbol
manipulation",
}
@Article{Anonymous:1992:PEH,
author = "Anonymous",
title = "Programming Environments for High-Level Scientific
Problem Solving. {IFIP} {TC2}\slash {WG} 2.5 Working
Conference",
journal = j-IFIP-TRANS-A,
volume = "A-2",
pages = "??--??",
year = "1992",
CODEN = "ITATEC",
ISSN = "0926-5473",
bibdate = "Tue Sep 17 06:41:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "23--27 Sept. 1991",
conflocation = "Karlsruhe, Germany",
confsponsor = "IFIP",
fjournal = "IFIP Transactions. A. Computer Science and
Technology",
pubcountry = "Netherlands",
}
@TechReport{Camion:1992:PCG,
author = "Paul Camion and Bernard Courteau and Andre Montpetit",
title = "Un probl{\`e}me combinatoire dans les graphes de
{Hamming} et sa solution en {Scratchpad}. ({English}:
{A} combinatorial problem in {Hamming} graphs and its
solution in {Scratchpad})",
type = "Rapports de recherche",
number = "1586",
institution = "Institut National de Recherche en Informatique et en
Automatique",
address = "Le Chesnay, France",
pages = "12",
month = jan,
year = "1992",
bibdate = "Sat Dec 30 08:42:16 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "We present a combinatorial problem which arises in the
determination of the complete weight coset enumerators
of error-correcting codes [1]. In solving this problem
by exponential power series with coefficients in a ring
of multivariate polynomials, we fall on a system of
differential equations with coefficients in a field of
rational functions. Thanks to the abstraction
capabilities of Scratchpad this differential equation
may be solved simply and naturally, which seems not to
be the case for the other computer algebra systems now
available.",
acknowledgement = ack-nhfb,
}
@InProceedings{Dalmas:1992:PFL,
author = "S. Dalmas",
title = "A polymorphic functional language applied to symbolic
computation",
crossref = "Wang:1992:ISS",
pages = "369--375",
month = "",
year = "1992",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The programming language in which to describe
mathematical objects and algorithms is a fundamental
issue in the design of a symbolic computation system.
XFun is a strongly typed functional programming
language. Although it was not designed as a specialized
language, its sophisticated type system can be
successfully applied to describe mathematical objects
and structures. After illustrating its main features,
the author sketches how it could be applied to symbolic
computation. A comparison with Scratchpad II is
attempted. XFun seems to exhibit more flexibility
simplicity and uniformity.",
acknowledgement = ack-nhfb,
affiliation = "Inst. Nat. de Recherche d'Inf. et d'Autom., Valbonne,
France",
classification = "C6140D (High level languages); C7310 (Mathematics)",
keywords = "Mathematical objects; Polymorphic functional language;
Scratchpad II; Symbolic computation; XFun",
language = "English",
thesaurus = "Functional programming; High level languages; Symbol
manipulation",
}
@TechReport{Davenport:1992:AS,
author = "J. H. Davenport",
title = "The {AXIOM} System",
type = "AXIOM Technical Report",
number = "TR5/92 (ATR/3) (NP2492)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = dec,
year = "1992",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@TechReport{Davenport:1992:HDO,
author = "J. H. Davenport",
title = "How Does One Program in the {AXIOM} System?",
type = "AXIOM Technical Report",
number = "TR6/92 (ATR/4) (NP2493)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = dec,
year = "1992",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@TechReport{Davenport:1992:SVAa,
author = "J. H. Davenport and B. M. Trager",
title = "{Scratchpad}'s View of Algebra {I}: Basic Commutative
Algebra",
number = "TR3/92 (ATR/1) (NP2490)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = dec,
year = "1992",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@TechReport{Davenport:1992:SVAb,
author = "J. H. Davenport and P. Gianni and B. M. Trager",
title = "{Scratchpad}'s View of Algebra {II}: {A} Categorical
View of Factorization",
number = "TR4/92 (ATR/2) (NP2491)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = dec,
year = "1992",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@Article{Duval:1992:EPS,
author = "D. Duval and F. Jung",
title = "Examples of problem solving using computer algebra",
journal = j-IFIP-TRANS-A,
volume = "A-2",
pages = "133--141, 143",
month = "",
year = "1992",
CODEN = "ITATEC",
ISSN = "0926-5473",
bibdate = "Tue Sep 17 06:41:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Computer algebra, in contrast with numerical analysis,
aims at returning exact solutions to given problems.
One consequence is that the shape of the solutions may,
at first, look somewhat surprising. The authors present
two examples of problem solving using computer algebra,
with emphasis on the shape of the solutions. The first
example is the resolution of linear differential
equations with polynomial coefficients, and the second
one is the resolution of polynomial equations in one
variable. In the first example the solution may look
useless since it makes use of divergent series, and in
the second example the solution may look rather
awkward. But in both examples it is shown that these
solutions are in the right shape for a lot of
applications, including numerical ones. It is also
shown that some features of the computer algebra system
Scratchpad, especially strong typing and genericity,
are useful for the implementation of a method for a
second problem, i.e. for the implementation of the
`dynamic' algebraic closure of a field.",
acknowledgement = ack-nhfb,
affiliation = "Lab. de Theorie des Nombres et Algorithmique, Limoges
Univ., France",
classification = "C7310 (Mathematics)",
fjournal = "IFIP Transactions. A. Computer Science and
Technology",
keywords = "Algebraic closure; Computer algebra; Divergent series;
Exact solutions; Genericity; Linear differential
equations; Polynomial coefficients; Polynomial
equations; Problem solving; Scratchpad; Strong typing",
language = "English",
thesaurus = "Linear differential equations; Polynomials; Symbol
manipulation",
}
@InProceedings{Gil:1992:CJC,
author = "I. Gil",
title = "Computation of the {Jordan} canonical form of a square
matrix (using the {Axiom} programming language)",
crossref = "Wang:1992:ISS",
pages = "138--145",
month = "",
year = "1992",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Presents an algorithm for computing: the Jordan form
of a square matrix with coefficients in a field K using
the computer algebra system Axiom. This system presents
the advantage of allowing generic programming. That is
to say, the algorithm can first be implemented for
matrices with rational coefficients and then
generalized to matrices with coefficients in any field.
Therefore the author presents the general method which
is essentially based on the use of the Frobenius form
of a matrix in order to compute its Jordan form; and
then restricts attention to matrices with rational
coefficients. On the one hand the author streamlines
the algorithm froben which computes the Frobenius form
of a matrix, and on the other she examines in some
detail the transformation from the Frobenius form to
the Jordan form, and gives the so called algorithm
Jordform. The author studies in particular, the
complexity of this algorithm and proves that it is
polynomial when the coefficients of the matrix are
rational. Finally the author gives some experiments and
a conclusion.",
acknowledgement = ack-nhfb,
affiliation = "LMC, IMAG, Grenoble, France",
classification = "C4130 (Interpolation and function approximation);
C4140 (Linear algebra); C4240 (Programming and
algorithm theory); C7310 (Mathematics)",
keywords = "Axiom programming language; Complexity; Computer
algebra system; Froben; Frobenius form; Generic
programming; Jordan canonical form; Jordform;
Polynomial; Rational coefficients; Square matrix",
language = "English",
thesaurus = "Computational complexity; Matrix algebra; Polynomials;
Symbol manipulation",
}
@TechReport{Grabmeier:1992:FFA,
author = "J. Grabmeier and A. Scheerhorn",
title = "Finite Fields in {AXIOM}",
type = "AXIOM Technical Report",
number = "TR7/92 (ATR/5) (NP2522)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = dec,
year = "1992",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@Book{Jenks:1992:ASC,
author = "Richard D. Jenks and Robert S. Sutor",
title = "{AXIOM}: The Scientific Computation System",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xxiv + 742",
year = "1992",
ISBN = "0-387-97855-0 (New York), 3-540-97855-0 (Berlin)",
ISBN-13 = "978-0-387-97855-0 (New York), 978-3-540-97855-8
(Berlin)",
LCCN = "QA76.95.J46 1992",
bibdate = "Fri Dec 29 18:16:15 1995",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Lambe:1994:NGC,
author = "Larry Lambe",
editor = "Mats Gyllenberg and Lars Erik Persson",
booktitle = "{Analysis, algebra, and computers in mathematical
research: proceedings of the Twenty-first Nordic
Congress of Mathematicians, Lule{\aa} University of
Technology, Sweden, 1992}",
title = "Next generation computer algebra systems {AXIOM} and
the {Scratchpad} concept: Applications to research in
algebra",
volume = "156",
publisher = pub-DEKKER,
address = pub-DEKKER:adr,
pages = "201--222",
year = "1994",
ISBN = "0-8247-9217-3",
ISBN-13 = "978-0-8247-9217-6",
LCCN = "QA299.6 .N67 1992",
MRclass = "18-04 (Machine computation, programs (category
theory)) 68W30 (Symbolic computation and algebraic
computation) 20-04 (Machine computation, programs
(group theory)) 18G15 (Ext and Tor, generalizations)
18G35 (Chain complexes (homological algebra)) 55U15
(Chain complexes) 20J05 (Homological methods in group
theory) 16E40 (Homology and cohomology theories for
assoc. rings)",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
series = "Lecture Notes in Pure and Applied Mathematics",
URL = "http://www.loc.gov/catdir/enhancements/fy0647/94002464-d.html",
ZMnumber = "0832.18001",
abstract = "One way in which mathematicians deal with infinite
amounts of data is symbolic representation. A simple
example is the quadratic equation $ x = {- b \pm \sqrt
{b^2 - 4a} c \over 2a} $, a formula which uses symbolic
representation to describe the solutions to an infinite
class of equations. Most computer algebra systems can
deal with polynomials with symbolic coefficients, but
what if symbolic exponents are called for (e.g., $ 1 +
t^i) $ ? What if symbolic limits on summations are also
called for (e.g., $ 1 + t + \cdots + t^i = \sum_j t^j)
$ ? The ``Scratchpad concept'' is a theoretical ideal
which allows the implementation of objects at this
level of abstraction and beyond in a mathematically
consistent way. The AXIOM computer algebra system is an
implementation of a major part of the Scratchpad
concept. AXIOM (formerly called Scratchpad) is a
language with extensible parameterized types and
generic operators which is based on the notion of
domains and categories [{\it R. D. Jenks} and {\it R.
S. Sutor}, Axiom. The scientific computation system,
Springer, Berlin etc. (1992; Zbl 0758.68010)]. By
examining some aspects of the AXIOM system, the
Scratchpad concept will be illustrated. It will be
shown how some complex problems in homological algebra
[cf. the author, Contemp. Math. 134, 183-218 (1992; Zbl
0798.16028), J. Pure Appl. Algebra 84, No. 3, 311-329
(1993; Zbl 0766.55015)] were solved through the use of
this system.",
bookpages = "ix + 408",
keywords = "AXIOM; bar construction; computer algebra; domains;
Ext; generic operators; parameterized types;
perturbation lemma; Scratchpad; symbolic exponents;
symbolic limits; Tor",
language = "English",
}
@InProceedings{Rioboo:1992:RAC,
author = "Renaud Rioboo",
title = "Real algebraic closure of an ordered field,
implementation in {Axiom}",
crossref = "Wang:1992:ISS",
pages = "206--215",
year = "1992",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Real algebraic numbers appear in many computer algebra
problems. For instance the determination of a
cylindrical algebraic decomposition for an Euclidian
space requires computing with real algebraic numbers.
This paper describes an implementation for computations
with the real roots of a polynomial. This process is
designed to be recursively used, so the resulting
domain of computation is the set of all real algebraic
numbers. An implementation for the real algebraic
closure has been done in Axiom (previously called
Scratchpad).",
acknowledgement = ack-nhfb,
affiliation = "LITP, Univ. Pierre et Marie Curie, Paris, France",
classification = "C4130 (Interpolation and function approximation);
C6130 (Data handling techniques); C7310 (Mathematics)",
keywords = "Axiom; Computer algebra; Cylindrical algebraic
decomposition; Euclidian space; Ordered field;
Polynomial; Real algebraic closure",
language = "English",
thesaurus = "Polynomials; Symbol manipulation",
}
@Article{Sit:1992:ASP,
author = "W. Y. Sit",
title = "An algorithm for solving parametric linear systems",
journal = j-J-SYMBOLIC-COMP,
volume = "13",
number = "4",
pages = "353--394",
month = apr,
year = "1992",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 06:41:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The author presents a theoretical foundation for
studying parametric systems of linear equations and
proves an efficient algorithm for identifying all
parametric values (including degenerate cases) for
which the system is consistent. The algorithm gives a
small set of regimes where for each regime, the
solutions of the specialized systems may be given
uniformly. For homogeneous linear systems, or for
systems where the right hand side is arbitrary, this
small set is irredundant. He discusses in detail
practical issues concerning implementations, with
particular emphasis on simplification of results.
Examples are given based on a close implementation of
the algorithm in SCRATCHPAD II. He also gives a
complexity analysis of the Gaussian elimination method
and compares that with the algorithm.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., City Coll. of New York, NY, USA",
classification = "B0290H (Linear algebra); C4140 (Linear algebra);
C4240 (Programming and algorithm theory); C7310
(Mathematics)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "Complexity analysis; Efficient algorithm; Gaussian
elimination method; Linear equations; Parametric linear
systems; SCRATCHPAD II",
language = "English",
pubcountry = "UK",
thesaurus = "Computational complexity; Matrix algebra; Symbol
manipulation",
}
@InProceedings{Smedley:1992:UPO,
author = "Trevor J. Smedley",
editor = "Hal Berghel and others",
booktitle = "Applied computing --- technological challenges of the
1990's: proceedings of the 1992 ACM\slash SIGAPP
Symposium on Applied Computing, Kansas City Convention
Center, March 1--3, 1992",
title = "Using pictorial and object oriented programming for
computer algebra",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1243--1247",
year = "1992",
DOI = "http://dx.doi.org/10.1145.130154",
ISBN = "0-89791-502-X",
ISBN-13 = "978-0-89791-502-1",
LCCN = "QA76.76.A65 S95 1992",
bibdate = "Thu Jul 26 09:02:03 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
bookpages = "xiii + 1257 (2 volumes)",
keywords = "Scratchpad",
}
@MastersThesis{Zenger:1992:GFD,
author = "Ch. Zenger",
title = "{Gr{\"o}bnerbasen f{\"u}r Differentialformen und ihre
Implementierung in AXIOM}",
type = "Diplomarbeit",
school = "Universit{\"a}t Karlsruhe",
address = "Karlsruhe, Germany",
pages = "??",
year = "1992",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
}
@InProceedings{Bronstein:1993:FPF,
author = "Manuel Bronstein and Bruno Salvy",
title = "Full Partial Fraction Decomposition of Rational
Functions",
crossref = "Bronstein:1993:IPI",
pages = "157--160",
year = "1993",
bibdate = "Thu Mar 12 08:40:26 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/164081/p157-bronstein/",
abstract = "We describe a rational algorithm that computes the
full partial fraction expansion of a rational function
over the algebraic closure of its field of definition.
The algorithm uses only gcd operations over the initial
field but the resulting decomposition is expressed with
linear denominators. We give examples from its Axiom
and Maple implementations.",
acknowledgement = ack-nhfb,
affiliation = "Wissenschaftliches Rechnen, Eidgenossische Tech.
Hochschule, Zurich, Switzerland",
classification = "B0290D (Functional analysis); B0290H (Linear
algebra); B0290M (Numerical integration and
differentiation); C4120 (Functional analysis); C4140
(Linear algebra); C4160 (Numerical integration and
differentiation); C7310 (Mathematics computing)",
keywords = "ACM; Algebraic closure; algebraic computation; Axiom;
Decomposition; Full partial fraction decomposition; Gcd
operations; Maple; Polynomial; Rational functions;
SIGSAM; symbolic computation; Symbolic integration,
ISSAC; theory; verification",
subject = "{\bf I.1.0} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, General. {\bf G.1.0}
Mathematics of Computing, NUMERICAL ANALYSIS, General.
{\bf I.1.2} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, Algorithms.",
thesaurus = "Function evaluation; Integration; Matrix
decomposition; Polynomial matrices; Symbol
manipulation",
}
@TechReport{Davenport:1993:PTR,
author = "J. H. Davenport",
title = "Primality Testing Revisited",
number = "TR2/93 (ATR/6) (NP2556)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
month = aug,
year = "1993",
bibdate = "Fri Dec 29 16:31:49 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
abstract = "Rabin's algorithm is commonly used in computer algebra
systems and elsewhere for primality testing. This paper
presents an experience with this in the Axiom computer
algebra system. As a result of this experience, we
suggest certain strengthenings of the algorithm.",
acknowledgement = ack-nhfb,
}
@InProceedings{Goodloe:1993:ADT,
author = "A. Goodloe and P. Loustaunau",
title = "An abstract data type development of graded rings",
crossref = "Fitch:1993:DIS",
pages = "193--202",
month = "",
year = "1993",
bibdate = "Tue Sep 17 06:37:45 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Novel computer algebra systems such as Scratchpad and
Weyl have been developed with built in mechanisms for
expressing abstract data types. These systems are
object oriented in that they incorporate multiple
inheritance and polymorphic types. The authors are
taking a similar approach to the development of
algorithms for computing in graded rings. They develop
the tools required to compute with polynomials with
coefficients in a graded ring R. They focus on graded
rings R which are polynomial rings graded by a monoid,
and allow partial orders on the monomials. The ideas
presented can be applied to more general graded rings
R, such as associated graded rings to filtered rings,
as long as certain computational `requirements' are
satisfied.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., George Mason Univ., Fairfax, VA, USA",
classification = "C4130 (Interpolation and function approximation);
C6120 (File organisation); C7310 (Mathematics)",
keywords = "Abstract data types; Computer algebra systems;
Filtered rings; Graded rings; Monoid; Multiple
inheritance; Object oriented; Partial orders;
Polymorphic types; Polynomial rings; Scratchpad; Weyl",
language = "English",
thesaurus = "Abstract data types; Polynomials; Symbol
manipulation",
}
@InProceedings{Monagan:1993:GPD,
author = "M. B. Monagan",
title = "{Gauss}: a parameterized domain of computation system
with support for signature functions",
crossref = "Miola:1993:DIS",
pages = "81--94",
month = "",
year = "1993",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The fastest known algorithms in classical algebra make
use of signature functions. That is, reducing
computation with formulae to computing with the
integers modulo p, by substituting random numbers for
variables, and mapping constants modulo p. This idea is
exploited in specific algorithms in computer algebra
systems, e.g. algorithms for polynomial greatest common
divisors. It is also used as a heuristic to speed up
other calculations. But none exploit it in a systematic
manner. The author designs an AXIOM like system in
which these signature functions can be constructed
automatically, hence better exploited. He exploits them
in new ways. He reports on the design of such a system,
Gauss.",
acknowledgement = ack-nhfb,
affiliation = "Inst. fur Wissenschaftliches Rechnen, ETH, Zurich,
Switzerland",
classification = "C4130 (Interpolation and function approximation);
C7310 (Mathematics)",
keywords = "AXIOM like system; Classical algebra; Computation
system; Computer algebra systems; Gauss; Heuristic;
Integers modulo; Mapping constants modulo;
Parameterized domain; Polynomial greatest common
divisors; Random numbers; Signature functions",
language = "English",
thesaurus = "Polynomials; Symbol manipulation",
}
@InProceedings{Petitot:1993:EA,
author = "M. Petitot",
title = "Experience with {Axiom}",
crossref = "Jacob:1993:PSI",
pages = "240",
month = "",
year = "1993",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The computer algebra system Axiom (formerly
Scratchpad) allows a strict typing of the manipulated
data. Using examples from noncommutative algebra
(polynomials in noncommutative variables, Lie
polynomials, Poincar{\'e}--Birkoff--Witt basis) the
authors show the interest and the limits of some
essential notions in Axiom: the genericity, the
inheritance, the distinction domain/category and the
type inference.",
acknowledgement = ack-nhfb,
affiliation = "LIFL, Lille I Univ., Villeneuve d'Ascq, France",
classification = "C1230 (Artificial intelligence); C4130
(Interpolation and function approximation); C7310
(Mathematics)",
keywords = "Category; Computer algebra system Axiom; Distinction
domain; Genericity; Inheritance; Lie polynomials;
Manipulated data; Noncommutative algebra;
Poincar{\'e}--Birkoff--Witt basis; Polynomials;
Scratchpad; Type inference",
language = "English",
thesaurus = "Inference mechanisms; Lie algebras; Mathematics
computing; Polynomials",
}
@InProceedings{Weber:1993:CCA,
author = "A. Weber",
title = "On coherence in computer algebra",
crossref = "Miola:1993:DIS",
pages = "95--106",
month = "",
year = "1993",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Modern computer algebra systems (e.g. AXIOM) support a
rich type system including parameterized data types and
the possibility of implicit coercions between types. In
such a type system it will be frequently the case that
there are different ways of building coercions between
types. An important requirement is that all coercions
between two types coincide, a property which is called
coherence. The author proves a coherence theorem for a
formal type system having several possibilities of
coercions covering many important examples. Moreover,
he gives some informal reasoning why the formally
defined restrictions can be satisfied by an actual
system.",
acknowledgement = ack-nhfb,
affiliation = "Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ.,
Germany",
classification = "C4210 (Formal logic); C4240 (Programming and
algorithm theory); C7310 (Mathematics)",
keywords = "AXIOM; Coherence; Coherence theorem; Computer algebra;
Formal type system; Informal reasoning; Parameterized
data types; Type system",
language = "English",
thesaurus = "Symbol manipulation; Theorem proving; Type theory",
}
@Article{Beneke:1994:DFM,
author = "T. Beneke and W. Schwippert",
title = "Double-track into the future: {MathCAD} will gain new
users with {Standard} and {Plus} versions",
journal = j-ELECTRONIK,
volume = "43",
number = "15",
pages = "107--110",
month = jul,
year = "1994",
CODEN = "EKRKAR",
ISSN = "0013-5658",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "MathCAD software is a type of `intelligent scratchpad
with a pocket calculator function'. Hitherto it has
been suitable only to a limited extent for engineering
mathematics. The new Version 5.0 is now offered in two
implementations: as an inexpensive basic package and in
a considerably more costly Plus version. The authors
question whether MathCAD can catch up with the
classical Maple and Mathematica products.",
acknowledgement = ack-nhfb,
classification = "C7310 (Mathematics computing)",
fjournal = "Elektronik",
keywords = "Engineering mathematics; Intelligent scratchpad;
MathCAD software",
language = "German",
pubcountry = "Germany",
thesaurus = "CAD; Mathematics computing; Software packages",
}
@Article{Brown:1994:CSC,
author = "R. Brown and A. Tonks",
title = "Calculations with simplicial and cubical groups in
{AXIOM}",
journal = j-J-SYMBOLIC-COMP,
volume = "17",
number = "2",
pages = "159--179",
month = feb,
year = "1994",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Work on calculations with simplicial and cubical
groups in AXIOM was carried out using loan equipment
and software from IBM UK and guidance from L. A. Lambe.
We report on the results of this work, and present the
AXIOM code written by the second author during this
period. This includes an implementation of the monoids
which model cubes and simplices, together with a new
AXIOM category of near-rings with which to carry out
non-abelian calculations. Examples of the use of this
code in interactive AXIOM sessions are also given.",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Math., Univ. of Wales, Bangor, UK",
classification = "C6130 (Data handling techniques); C7310
(Mathematics)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "AXIOM; Cubical groups; Monoids; Nonabelian
calculations; Simplicial groups; Software",
language = "English",
pubcountry = "UK",
thesaurus = "Mathematics computing; Symbol manipulation",
}
@Article{Gruntz:1994:IG,
author = "D. Gruntz and M. Monagan",
title = "Introduction to {Gauss}",
journal = j-SIGSAM,
volume = "28",
number = "2",
pages = "3--19",
month = aug,
year = "1994",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Tue Dec 12 09:33:35 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "The Gauss package offers Maple users a new approach to
programming based on the idea of parameterized types
(domains) which is central to the AXIOM system. This
approach to programming is now regarded by many as the
right way to go in computer algebra systems design. We
describe how Gauss is designed and show examples of
usage. We end with some comments about how Gauss is
being used in Maple.",
acknowledgement = ack-nhfb,
affiliation = "Inst. for Sci. Comput., Eidgenossische Tech.
Hochschule, Zurich, Switzerland",
classification = "C6110 (Systems analysis and programming); C6130
(Data handling techniques); C7310 (Mathematics
computing)",
fjournal = "SIGSAM Bulletin",
keywords = "AXIOM system; Computer algebra systems design; Gauss
package; Maple users; Parameterized types;
Programming",
language = "English",
pubcountry = "USA",
thesaurus = "Programming environments; Software packages; Symbol
manipulation; Systems analysis; Type theory",
}
@InProceedings{Jenks:1994:HMA,
author = "Richard D. Jenks and Barry M. Trager",
title = "How to make {AXIOM} into a {Scratchpad}",
crossref = "ACM:1994:IPI",
pages = "32--40",
year = "1994",
MRclass = "68W30 (Symbolic computation and algebraic
computation)",
bibdate = "Tue Sep 17 06:29:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
ZMnumber = "0945.68543",
abstract = "Scratchpad (Griesmer and Jenks, 1971) was a computer
algebra system that had one principal representation
for mathematical formulae based on expression trees.
Its user interface design was based on a
pattern-matching paradigm with infinite rewrite rule
semantics, providing what we believe to be the most
natural paradigm for interactive symbolic problem
solving. Like M and M, however, user programs were
interpreted, often resulting in poor performance
relative to similar facilities coded in standard
programming languages such as FORTRAN and C. Scratchpad
development stopped in 1976 giving way to a new system
design that evolved into AXIOM. AXIOM has a
strongly-typed programming language for building a
library of parameterized types and algorithms, and a
type-inferencing interpreter that accesses the library
and can build any of an infinite number of types for
interactive use. We suggest that the addition of an
expression tree type to AXIOM can allow users to
operate with the same freedom and convenience of
untyped systems without giving up the expressive power
and run-time efficiency provided by the type system. We
also present a design that supports a multiplicity of
programming styles, from the Scratchpad
pattern-matching paradigm to functional programming to
more conventional procedural programming.",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C6180 (User interfaces); C7310 (Mathematics
computing)",
keywords = "AXIOM; C; Computer algebra system; Expression trees;
FORTRAN; Functional programming; Infinite rewrite rule
semantics; Library; Mathematical formulae;
Pattern-matching; Procedural programming; Run-time
efficiency; Scratchpad; Strongly-typed programming
language; Symbolic problem solving; Type-inferencing
interpreter; Untyped systems; User interface design;
User programs",
language = "English",
thesaurus = "Mathematics computing; Pattern matching; Program
interpreters; Programming; Symbol manipulation; User
interfaces",
}
@TechReport{Keady:1994:PAS,
author = "G. Keady and G. Nolan",
title = "Production of {Argument SubPrograms} in the {AXIOM}
--- {NAG} link: examples involving nonlinear systems",
number = "TR1/94 ATR/7 (NP2680)",
institution = inst-NAG,
address = inst-NAG:adr,
pages = "??",
year = "1994",
bibdate = "Thu Jan 04 18:40:00 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.nag.co.uk/doc/TechRep/axiomtr.html",
acknowledgement = ack-nhfb,
}
@InProceedings{Seiler:1994:CIA,
author = "W. M. Seiler",
title = "Completion to involution in {AXIOM}",
crossref = "Calmet:1994:RWC",
pages = "103--104",
month = "",
year = "1994",
bibdate = "Tue Sep 17 06:32:41 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "We have implemented an algorithm to complete a given
system of partial differential equations to an
involutive one in the computer algebra system AXIOM. An
earlier version of this program has been described in
Schu, Seiler, and Calmet (1992). The new version is
much more efficient due to better simplification and
many new features. It also provides procedures for the
analysis of the arbitrariness of the general solution.
The goal of the implementation was not to transform
simply an algorithm into a program but to start with
the construction of an environment for symbolic
computations within the geometric theory of
differential equations. The modular structure allows an
easy extension e.g. by a package for the symmetry
analysis.",
acknowledgement = ack-nhfb,
affiliation = "Inst. fur Algorithmen und Kognitive Syst., Karlsruhe
Univ., Germany",
classification = "C4170 (Differential equations); C7310 (Mathematics
computing)",
keywords = "AXIOM; Computer algebra system; Involution; Partial
differential equations; Symbolic computations; Symmetry
analysis",
language = "English",
thesaurus = "Mathematics computing; Partial differential equations;
Symbol manipulation",
}
@Article{Seiler:1994:PDO,
author = "Werner M. Seiler",
title = "Pseudo differential operators and integrable systems
in {AXIOM}",
journal = j-COMP-PHYS-COMM,
volume = "79",
number = "2",
pages = "329--340",
month = apr,
year = "1994",
CODEN = "CPHCBZ",
DOI = "http://dx.doi.org/10.1016/0010-4655(94)90076-0",
ISSN = "0010-4655 (print), 1879-2944 (electronic)",
ISSN-L = "0010-4655",
bibdate = "Mon Feb 13 21:29:43 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib;
http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib",
URL = "http://www.sciencedirect.com/science/article/pii/0010465594900760",
abstract = "An implementation of the algebra of pseudo
differential operators in the computer algebra system
AXIOM is described. In several examples the application
of the package to typical computations in the theory of
integrable systems is demonstrated.",
acknowledgement = ack-nhfb,
affiliation = "Inst. fur Algorithmen und Kognitive Syst., Karlsruhe
Univ., Germany",
classification = "C4170 (Differential equations); C7310
(Mathematics)",
fjournal = "Computer Physics Communications",
journal-URL = "http://www.sciencedirect.com/science/journal/00104655",
keywords = "AXIOM; Computer algebra; PDO; Pseudo differential
operators",
language = "English",
pubcountry = "Netherlands",
thesaurus = "Mathematics computing; Partial differential equations;
Symbol manipulation",
}
@Article{vanHoeij:1994:ACI,
author = "M. van Hoeij",
title = "An algorithm for computing an integral basis in an
algebraic function field",
journal = j-J-SYMBOLIC-COMP,
volume = "18",
number = "4",
pages = "353--363",
month = oct,
year = "1994",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Algorithms for computing integral bases of an
algebraic function field are implemented in some
computer algebra systems. They are used e.g. for the
integration of algebraic functions. The method used by
Maple 5.2 and AXIOM is given by B. M. Trager (1984). He
adapted an algorithm of Ford and Zassenhaus (1978),
that computes the ring of integers in an algebraic
number field, to the case of a function field. It turns
out that using algebraic geometry one can write a
faster algorithm. The method we give is based on
Puiseux expansions. One can see this as a variant on
the Coates' algorithm as it is described by Davenport
(1981). Some difficulties in computing with Puiseux
expansions can be avoided using a sharp bound for the
number of terms required which are given. We derive
which denominator is needed in the integral basis.
Using this result `intermediate expression swell' can
be avoided. The Puiseux expansions generally introduce
algebraic extensions.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., Nijmegen Univ., Netherlands",
classification = "C6130 (Data handling techniques); C7310 (Mathematics
computing)",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "Algebraic function field; Algebraic number field;
AXIOM; Computer algebra systems; Integral basis;
Intermediate expression swell; Maple 5.2; Puiseux
expansions",
language = "English",
pubcountry = "UK",
thesaurus = "Mathematics computing; Symbol manipulation",
}
@Article{Anonymous:1995:GAM,
author = "Anonymous",
title = "{GAMM} 94 Annual Meeting",
journal = j-ZEIT-ANGE-MATH-PHYS,
volume = "75",
number = "suppl. 2",
pages = "",
year = "1995",
CODEN = "ZAMMAX",
ISSN = "0044-2267",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "4--8 April 1994",
conflocation = "Braunschweig, Germany",
pubcountry = "Germany",
}
@Article{Arnault:1995:CCN,
author = "Fran{\c{c}}ois Arnault",
title = "Constructing {Carmichael} Numbers Which are Strong
Pseudoprimes to Several Bases",
journal = j-J-SYMBOLIC-COMP,
volume = "20",
number = "2",
pages = "151--162 (or 151--161??)",
month = aug,
year = "1995",
CODEN = "JSYCEH",
ISSN = "0747-7171 (print), 1095-855X (electronic)",
ISSN-L = "0747-7171",
MRclass = "11Y11 (11A51)",
MRnumber = "96k:11153",
MRreviewer = "Andrew Granville",
bibdate = "Sat May 10 15:54:09 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib;
http://www.math.utah.edu/pub/tex/bib/jsymcomp.bib",
acknowledgement = ack-nhfb,
classcodes = "C7310 (Mathematics computing); C1160 (Combinatorial
mathematics)",
corpsource = "Fac. des Sci., Limoges Univ., France",
fjournal = "Journal of Symbolic Computation",
journal-URL = "http://www.sciencedirect.com/science/journal/07477171",
keywords = "Axiom; Carmichael numbers; composite numbers; Lucas;
Maple; number theory; pseudoprimes; Rabin-Miller test;
symbol manipulation",
treatment = "T Theoretical or Mathematical",
}
@Article{Boulanger:1995:OOM,
author = "J.-L. Boulanger",
title = "Object oriented method for {Axiom}",
journal = j-SIGPLAN,
volume = "30",
number = "2",
pages = "33--41",
month = feb,
year = "1995",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Tue Sep 17 06:32:41 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Axiom is a very powerful computer algebra system which
combines two language paradigms (functional and OOP).
The mathematical world is complex and mathematicians
use abstraction to design it. The paper presents some
aspects of object oriented development in Axiom. Axiom
programming is based on several new tools for object
oriented development, it uses two levels of class and
some operations such as coerce, retract or convert
which permit the type evolution. These notions
introduce the concept of multi-view.",
acknowledgement = ack-nhfb,
affiliation = "Lab. d'Inf. Fondamentale de Lille, Lille I Univ.,
Villeneuve d'Ascq, France",
classification = "C4240 (Programming and algorithm theory); C6110J
(Object-oriented programming); C6120 (File
organisation); C6130 (Data handling techniques); C6140D
(High level languages); C7310 (Mathematics computing)",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706",
keywords = "Abstraction; Axiom; Axiom programming; Class; Coerce;
Computer algebra system; Convert; Functional language;
Multiview concept; Object oriented development; Object
oriented method; Object-oriented language; Retract;
Tools; Type evolution",
language = "English",
pubcountry = "USA",
thesaurus = "Abstract data types; Functional languages; Functional
programming; Mathematics computing; Object-oriented
languages; Object-oriented programming; Symbol
manipulation; Type theory",
}
@InProceedings{Broadbery:1995:IDE,
author = "P. A. Broadbery and T. G{\'o}mez-D{\'\i}az and S. M.
Watt",
title = "On the Implementation of Dynamic Evaluation",
crossref = "Levelt:1995:IPI",
pages = "77--84",
year = "1995",
bibdate = "Thu Mar 12 08:42:30 MST 1998",
bibsource = "http://www.acm.org/pubs/toc/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.acm.org:80/pubs/citations/proceedings/issac/220346/p77-broadbery/",
abstract = "Dynamic evaluation is a technique for producing
multiple results according to a decision tree which
evolves with program execution. Sometimes we need to
produce results for all possible branches in the
decision tree, while on other occasions it may be
sufficient to compute a single result which satisfies
certain properties. This technique finds use in
computer algebra where computing the correct result
depends on recognising and properly handling special
cases of parameters. In previous work, programs using
dynamic evaluation have explored all branches of
decision trees by repeating the computations prior to
decision points. The paper presents two new
implementations of dynamic evaluation which avoid
recomputing intermediate results. The first approach
uses Scheme `continuations' to record the state for
resuming program execution. The second implementation
uses the Unix `fork' operation to form new processes to
explore alternative branches in parallel. These
implementations are based on modifications to Lisp- and
C-based run-time systems for the Axiom Version 2
extension language (previously known as $ A^{\mbox
{Hash}} $ ). This allows the same high-level source
code to be compared using the `re-evaluation', the
`continuation', and the `fork' implementations.",
acknowledgement = ack-nhfb,
affiliation = "Numerical Algorithms Group Ltd., Oxford, UK",
classification = "C1140E (Game theory); C1160 (Combinatorial
mathematics); C6130 (Data handling techniques); C6150G
(Diagnostic, testing, debugging and evaluating
systems); C6150J (Operating systems)",
keywords = "algebraic computation, Dynamic evaluation; algorithms;
Axiom Version 2 extension language; C-based run-time
systems; Computer algebra; Decision points; Decision
tree; High-level source code; ISSAC; languages;
Lisp-based run-time systems; Multiple results; Program
execution; Re-evaluation; Scheme continuations; State
recording; symbolic computation; Unix fork operation",
subject = "{\bf I.1.2} Computing Methodologies, SYMBOLIC AND
ALGEBRAIC MANIPULATION, Algorithms, Algebraic
algorithms. {\bf D.3.2} Software, PROGRAMMING
LANGUAGES, Language Classifications, SCHEME. {\bf
F.2.1} Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Numerical Algorithms and
Problems, Computations on polynomials. {\bf D.3.2}
Software, PROGRAMMING LANGUAGES, Language
Classifications, C.",
thesaurus = "Decision theory; Symbol manipulation; System
monitoring; Trees [mathematics]; Unix",
}
@Article{Duval:1995:DEA,
author = "Dominique Duval",
title = "{{\'E}}valuation dynamique et cl{\^o}ture
alg{\'e}brique en {Axiom}. (French) {Dynamic evaluation
and algebraic closure in Axiom}",
journal = "J. Pure Appl. Algebra",
volume = "99",
number = "3",
pages = "267--295",
year = "1995",
DOI = "http://dx.doi.org/10.1016/0022-4049(94)00053-L",
ISSN = "0022-4049",
MRclass = "11Y40 (Algebraic number theory computations) 68W30
(Symbolic computation and algebraic computation) 68Q65
(Abstract data types; algebraic specification) 18C10
(Algebraic theories, etc.)",
bibdate = "Tue Mar 30 18:47:12 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
ZMnumber = "0851.1107",
abstract = "Dynamic evaluation is a method of computing that
permits the computation to be refined into different
cases that are considered separately. A precise
description and mathematical foundation was given in
terms of sketch theory by {\it D. Duval} and {\it J.-C.
Reynaud} [Math. Structures Comput. Sci. 4, 239-271
(1994; Zbl 0822.68063)]. In the present paper, the
mechanism of dynamic evaluation is explained without
reference to sketch theory in order to make it
accessible to a wider audience. Next, it is shown how
dynamic evaluation can be employed to compute with
algebraic numbers without having to do explicit
factorization of polynomials. The essential step here
is to define the dynamic algebraic closure of a field.
Finally, a program for the Axiom system implementing
dynamic algebraic closure is presented.",
acknowledgement = ack-nhfb,
keywords = "algebraic numbers; Axiom; dynamic algebraic closure of
a field; dynamic evaluation; sketches",
language = "French",
reviewer = "A. Bijlsma (Eindhoven)",
}
@Article{Roesner:1995:VSP,
author = "K. G. Roesner",
title = "Verified solutions for parameters of an exact solution
for {non-Newtonian} liquids using computer algebra",
journal = j-ZEIT-ANGE-MATH-PHYS,
volume = "75",
number = "suppl. 2",
pages = "S435--S438",
month = "",
year = "1995",
ISSN = "0044-2267",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "An exact solution of the time independent velocity
field for the Taylor--Couette flow of a polymer
solution is derived solving the resulting first order
ordinary differential equation of fifth degree
analytically. Intensive use is made of computer algebra
systems AXIOM and MACSYMA to find the exact solution.
The coaxial cylinders in the Taylor--Couette flow
problem are assumed to rotate at different angular
velocities. The geometrical and kinematic parameters
can be chosen arbitrarily. The model equation for the
material law of the viscoelastic liquid is based on the
thermodynamic model for dilute solutions due to
Lhuillier and Ouibrahim (1980) which is an analogy to
the earlier paper of Frankel and Acrivos (1970). In the
present investigation the influence of the parameters
of the viscoelastic model on the velocity profile in
the cylindrical gap is studied and the range of
validity of the constitutive equation is
investigated.",
acknowledgement = ack-nhfb,
affiliation = "Inst. fur Mech., Tech. Hochschule Darmstadt, Germany",
classification = "A0210 (Algebra, set theory, and graph theory); A0230
(Function theory, analysis); A0270 (Computational
techniques); A4710 (General fluid dynamics theory,
simulation and other computational methods); A4715
(Laminar flows); A4730 (Rotational flow, vortices,
buoyancy and other flows involving body forces); A4750
(Non-Newtonian dynamics)",
keywords = "AXIOM; Coaxial cylinders; Computer algebra;
Constitutive equation; Cylindrical gap; Dilute
solutions; Exact solution; First order ordinary
differential equation; Geometrical parameters;
Kinematic parameters; MACSYMA; Material law;
NonNewtonian liquids; Polymer solution; Taylor--Couette
flow; Thermodynamic model; Time independent velocity
field; Velocity profile; Viscoelastic liquid;
Viscoelastic model",
language = "English",
thesaurus = "Algebra; Couette flow; Differential equations; Flow
simulation; Non-Newtonian fluids; Physics computing;
Polymer solutions; Rotational flow; Thermodynamics",
}
@Book{Benker:1998:ICS,
author = "Hans Benker",
title = "{Ingenieurmathematik mit Computeralgebra-Systemen.
AXIOM, DERIVE, MACSYMA, MAPLE, MATHCAD, MATHEMATICA,
MATLAB und MuPAD in der Anwendung}. (German)
{Engineering mathematics with computer algebra systems.
The applications: AXIOM, DERIVE, MACSYMA, MAPLE,
MATHCAD, MATHEMATICA, MATLAB UND MuPAD.}",
publisher = pub-VIEWEG,
address = pub-VIEWEG:adr,
pages = "xiii + 439",
year = "1998",
MRclass = "68W30 (Symbolic computation and algebraic computation)
68-01 (Textbooks (computer science)) 00A06 (Mathematics
for non-mathematicians) 68-04 (Machine computation,
programs (computer science)) 65D18 (Computer graphics
and computational geometry)",
bibdate = "Tue Mar 30 18:49:35 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
ZMnumber = "0909.68109",
acknowledgement = ack-nhfb,
keywords = "calculus; differential equations; Fourier transform;
Laplace transform; linear algebra; optimization;
probability theory; statistics; textbook",
language = "German",
reviewer = "Helmut K{\"o}cher (Dresden)",
}
@InProceedings{Doye:1999:ACA,
author = "Nicolas J. Doye",
title = "Automated coercion for {Axiom}",
crossref = "Dooley:1999:IJS",
pages = "229--235",
year = "1999",
bibdate = "Sat Mar 11 16:39:42 MST 2000",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.acm.org/pubs/contents/proceedings/issac/309831/",
acknowledgement = ack-nhfb,
}
@Article{Kendall:2001:SIC,
author = "Wilfrid S. Kendall",
title = "Symbolic {It{\^o}} calculus in {AXIOM}: an ongoing
story",
journal = j-STAT-COMP,
volume = "11",
number = "1",
pages = "25--35",
year = "2001",
CODEN = "STACE3",
DOI = "http://dx.doi.org/10.1023/A:1026553731272",
ISSN = "0960-3174",
ISSN-L = "0960-3174",
MRclass = "Database Expansion Item",
MRnumber = "MR1837142",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
fjournal = "Statistics and Computing",
keywords = "computer algebra; coupling of random processes; Dryden
density Mathematica; financial mathematics; Itovsn3;
It{\^o} calculus; It{\^o} formula; Macsyma; Maple;
Mardia; REDUCE; semimartingale; statistics of shape;
stochastic calculus; stochastic integral; symbolic
It{\^o} calculus; XIOM",
}
@Article{Daly:2002:AOS,
author = "T. Daly",
title = "{Axiom} as Open Source",
journal = j-SIGSAM,
volume = "36",
number = "1",
pages = "28--??",
month = mar,
year = "2002",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Mon Apr 29 07:16:09 MDT 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
fjournal = "SIGSAM Bulletin",
issue = "139",
}
@Book{Daly:2003:AVA,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 5: {Axiom} Interpreter",
pages = "xlvi + 1387",
year = "2003",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol5.pdf",
acknowledgement = ack-nhfb,
}
@Book{Grabmeier:2003:CAH,
editor = "Johannes Grabmeier and Erich Kaltofen and Volker
Weispfenning",
title = "Computer algebra handbook: foundations, applications,
systems",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xx + 637",
year = "2003",
ISBN = "3-540-65466-6",
ISBN-13 = "978-3-540-65466-7",
LCCN = "QA155.7.E4 C64954 2003",
MRclass = "68W30, 00B15, 68-06",
bibdate = "Tue Nov 22 06:00:25 MST 2005",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib;
z3950.loc.gov:7090/Voyager",
note = "Includes CD-ROM.",
URL = "http://www.springer.com/sgw/cda/frontpage/0,11855,1-102-22-1477871-0,00.html",
acknowledgement = ack-nhfb,
keywords = "Aldor; AXIOM; Derive; exact arithmetic; Macsyma;
Magma; Maple Mathematica; MuPAD; REDUCE; TI-92",
subject = "Algebra; Data processing",
}
@Book{Jenks:2003:AVS,
author = "Richard D. Jenks and Robert S. Sutor and Tim Daly",
title = "{Axiom} Volume 0: The Scientific Computation System",
pages = "xviii + 1187",
year = "2003",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol0.pdf",
acknowledgement = ack-nhfb,
}
@Article{Caviness:2004:MRD,
author = "Bob Caviness and Barbara Gatje and James H. Griesmer
and Tony Hearn and Manual Bronstein and Erich
Kaltofen",
title = "In Memoriam: {Richard Dimick Jenks}: {Axiom} Developer
and Computer Algebra Pioneer",
journal = j-SIGSAM,
volume = "38",
number = "1",
pages = "30--30",
month = mar,
year = "2004",
CODEN = "SIGSBZ",
ISSN = "0163-5824 (print), 1557-9492 (electronic)",
ISSN-L = "0163-5824",
bibdate = "Sat Apr 17 11:49:58 MDT 2004",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://savannah.nongnu.org/projects/axiom/",
acknowledgement = ack-nhfb,
fjournal = "SIGSAM Bulletin",
issue = "147",
}
@Book{Daly:2005:AVAb,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 2: {Axiom} Users Guide",
pages = "iv + 7",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol2.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAc,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 3: {Axiom} Programmers Guide",
pages = "iv + 3",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol3.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAd,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 4: {Axiom} Developers Guide",
pages = "v + 91",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol4.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAe,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 6: {Axiom} Command",
pages = "vi + 187",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol6.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAf,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 8: {Axiom} Graphics",
pages = "xi + 538",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol8.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAg,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 9: {Axiom} Compiler",
pages = "iv + 30",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol9.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAh,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 10: {Axiom} Algebra: Implementation",
pages = "iv + 5",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol10.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAi,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 12: {Axiom} Crystal",
pages = "iv + 9",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol12.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2005:AVAj,
author = "Tim Daly and Martin Dunstan",
title = "{Axiom} Volume 7: {Axiom} Hyperdoc",
pages = "xvi + 632",
year = "2005",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol7.pdf",
acknowledgement = ack-nhfb,
}
@Book{Daly:2006:AVA,
author = "Timothy Daly",
title = "{Axiom} Volume 1: {Axiom} Tutorial",
publisher = "Lulu, Inc.",
address = "860 Aviation Parkway, Suite 300, Morrisville, NC
27560, USA",
pages = "iv + 285",
year = "2006",
ISBN = "1-4116-6597-X",
ISBN-13 = "978-1-4116-6597-2",
LCCN = "????",
bibdate = "Thu Mar 23 05:24:19 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
price = "US\$15.00",
URL = "http://www.axiom-developer.org/axiom-website/bookvol1.pdf;
http://www.lulu.com/content/190827",
acknowledgement = ack-nhfb,
}
@Article{Li:2006:EIP,
author = "Xin Li and Moreno Maza",
title = "Efficient Implementation of Polynomial Arithmetic in a
Multiple-Level Programming Environment",
journal = j-LECT-NOTES-COMP-SCI,
volume = "4151",
pages = "12--23",
year = "2006",
CODEN = "LNCSD9",
ISBN = "3-540-38084-1",
ISBN-13 = "978-3-540-38084-9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon Apr 19 08:40:16 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Proceedings of the International Congress of
Mathematical Software (ICMS 2006).",
URL = "http://www.csd.uwo.ca/~moreno//Publications/Li-MorenoMaza-ICMS-06.pdf",
acknowledgement = ack-nhfb,
fjournal = "Lecture Notes in Computer Science",
keywords = "Axiom symbolic-algebra system",
}
@Book{Portes:2007:AVA,
author = "Alfredo Portes and Arthur Ralfs and Timothy Daly and
Martin Dunstan",
title = "{Axiom} Volume 11: {Axiom} Browser",
pages = "xix + 1193",
year = "2007",
LCCN = "????",
bibdate = "Tue Mar 30 08:43:19 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
URL = "http://www.axiom-developer.org/axiom-website/bookvol11.pdf",
acknowledgement = ack-nhfb,
}
@Article{Page:2007:AOS,
author = "William S. Page",
title = "{Axiom}: open source computer algebra system",
journal = j-ACM-COMM-COMP-ALGEBRA,
volume = "41",
number = "3",
pages = "114--114",
month = sep,
year = "2007",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1358190.1358206",
ISSN = "1932-2232 (print), 1932-2240 (electronic)",
ISSN-L = "1932-2232",
bibdate = "Wed Jun 18 09:23:01 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "Axiom has been in development since 1971. Originally
called Scratchpad II, it was developed by IBM under the
direction of Richard Jenks[1]. The project evolved over
a period of 20 years as a research platform for
developing new ideas in computational mathematics.
ScratchPad also attracted the interest and
contributions of a large number of mathematicians and
computer scientists outside of IBM. In the 1990s, the
Scratchpad project was renamed to Axiom, and sold to
the Numerical Algorithms Group (NAG) in England who
marketed it as a commercial system. NAG withdrew Axiom
from the market in October 2001 and agreed to release
Axiom as free software, under an open source
license.\par
Tim Daly (a former ScratchPad developer at IBM) setup a
pubic open source Axiom project[2] in October 2002 with
a primary goal to improve the documentation of Axiom
through the extensive use of literate programming[3].
The first free open source version of Axiom was
released in 2003. Since that time the project has
attracted a small but very active group of developers
and a growing number of users.\par
This exhibit includes a laptop computer running a
recent version of Axiom, Internet access (if available)
to the Axiom Wiki website[4], and CDs containing Axiom
software for free distribution[5].",
acknowledgement = ack-nhfb,
fjournal = "ACM Communications in Computer Algebra",
issue = "161",
}
@InProceedings{Smith:2007:ADA,
author = "Jacob Smith and Gabriel {Dos Reis} and Jaakko
J{\"a}rvi",
title = "Algorithmic differentiation in {Axiom}",
crossref = "Brown:2007:PIS",
pages = "347--354",
year = "2007",
DOI = "http://doi.acm.org/10.1145/1277548.1277595",
bibdate = "Fri Jun 20 08:46:50 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "This paper describes the design and implementation of
an algorithmic differentiation framework in the Axiom
computer algebra system. Our implementation works by
transformations on Spad programs at the level of the
typed abstract syntax tree -- Spad is the language for
extending Axiom with libraries. The framework
illustrates an algebraic theory of algorithmic
differentiation, here only for Spad programs, but we
suggest that the theory is general. In particular, if
it is possible to define a compositional semantics for
programs, we define the exact requirements for when a
program can be algorithmically differentiated. This
leads to a general algorithmic differentiation system,
and is not confined to functions which compute with
basic data types, such as floating point numbers.",
acknowledgement = ack-nhfb,
keywords = "algorithmic differentiation; axiom; program
transformation; symbolic-numeric computation",
}
@Article{Joyner:2008:OSC,
author = "David Joyner",
title = "Open source computer algebra systems: {Axiom}",
journal = j-ACM-COMM-COMP-ALGEBRA,
volume = "42",
number = "1--2",
pages = "39--47",
month = mar # "/" # jun,
year = "2008",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1394042.1394046",
ISSN = "1932-2232 (print), 1932-2240 (electronic)",
ISSN-L = "1932-2232",
bibdate = "Tue Aug 12 17:30:40 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
abstract = "This survey will look at Axiom, a free and very
powerful computer algebra system available. It is a
general purpose CAS useful for symbolic computation,
research, and the development of new mathematical
algorithms. Axiom is similar in some ways to Maxima,
covered in the survey [J1], but different in many ways
as well. Axiom, Maxima, and SAGE [S], are the largest
of the general-purpose open-source CAS's. If you want
to 'take a test drive,' Axiom can be tested without
installation via the web interface [AS] or the SAGE
online interface [S].",
acknowledgement = ack-nhfb,
fjournal = "ACM Communications in Computer Algebra",
}
%%% ====================================================================
%%% Cross-referenced entries must come last:
@Proceedings{Petrick:1971:PSS,
editor = "S. R. Petrick",
booktitle = "{Proceedings of the second symposium on Symbolic and
Algebraic Manipulation, March 23--25, 1971, Los
Angeles, California}",
title = "{Proceedings of the second symposium on Symbolic and
Algebraic Manipulation, March 23--25, 1971, Los
Angeles, California}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "x + 464",
year = "1971",
LCCN = "QA76.5 .S94 1971",
bibdate = "Sat Dec 30 08:56:27 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
xxISBN = "none",
}
@Proceedings{Online:1972:OCP,
key = "Online'72",
booktitle = "{Online 72: conference proceedings \ldots{}
international conference on online interactive
computing, Brunel University, Uxbridge, England, 4--7
September 1972}",
title = "{Online 72: conference proceedings \ldots{}
international conference on online interactive
computing, Brunel University, Uxbridge, England, 4--7
September 1972}",
publisher = "Online Computer Systems Ltd",
address = "Uxbridge, England",
pages = "various",
month = sep,
year = "1972",
ISBN = "0-903796-02-3",
ISBN-13 = "978-0-903796-02-6",
LCCN = "QA76.55 .O54 1972",
bibdate = "Fri Dec 29 18:31:29 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Two volumes.",
acknowledgement = ack-nhfb,
}
@Proceedings{Golden:1984:PMU,
editor = "V. Ellen Golden and M. A. Hussain",
booktitle = "{Proceedings of the 1984 MACSYMA Users' Conference:
Schenectady, New York, July 23--25, 1984}",
title = "{Proceedings of the 1984 MACSYMA Users' Conference:
Schenectady, New York, July 23--25, 1984}",
publisher = "General Electric",
address = "Schenectady, NY, USA",
pages = "xv + 567",
year = "1984",
bibdate = "Sat Dec 30 09:01:01 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Fitch:1984:E,
editor = "J. P. Fitch",
booktitle = "{EUROSAM '84: International Symposium on Symbolic and
Algebraic Computation, Cambridge, England, July 9--11,
1984}",
title = "{EUROSAM '84: International Symposium on Symbolic and
Algebraic Computation, Cambridge, England, July 9--11,
1984}",
volume = "174",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 396",
year = "1984",
ISBN = "0-387-13350-X",
ISBN-13 = "978-0-387-13350-8",
LCCN = "QA155.7.E4 I57 1984",
bibdate = "Fri Dec 29 18:17:16 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
series = "Lecture Notes In Computer Science",
acknowledgement = ack-nhfb,
}
@Proceedings{Buchberger:1985:EEC,
editor = "Bruno Buchberger and Bob F. Caviness",
booktitle = "{EUROCAL '85: European Conference on Computer Algebra,
Linz, Austria, April 1--3, 1985: proceedings}",
title = "{EUROCAL '85: European Conference on Computer Algebra,
Linz, Austria, April 1--3, 1985: proceedings}",
volume = "204",
publisher = pub-SV,
address = pub-SV:adr,
pages = "various",
year = "1985",
ISBN = "0-387-15983-5 (vol. 1), 0-387-15984-3 (vol. 2)",
ISBN-13 = "978-0-387-15983-6 (vol. 1), 978-0-387-15984-3 (vol.
2)",
LCCN = "QA155.7.E4 E86 1985",
bibdate = "Fri Dec 29 18:07:46 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Two volumes.",
series = "Lecture Notes in Computer Science",
acknowledgement = ack-nhfb,
}
@Proceedings{Wexelblat:1987:IIT,
editor = "Richard L. Wexelblat",
booktitle = "{Proceedings of the SIGPLAN '87 Symposium on
Interpreters and Interpretive Techniques, St. Paul,
Minnesota, June 24--26, 1987}",
title = "{Proceedings of the SIGPLAN '87 Symposium on
Interpreters and Interpretive Techniques, St. Paul,
Minnesota, June 24--26, 1987}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "vii + 291",
year = "1987",
ISBN = "0-89791-235-7",
ISBN-13 = "978-0-89791-235-8",
LCCN = "QA76.7 .S54 v.22:7",
bibdate = "Thu Jan 04 18:40:07 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "SIGPLAN Notices, vol. 22, no. 7 (July 1987).",
price = "US\$23.00",
acknowledgement = ack-nhfb,
keywords = "design; interpreters (computer programs) ---
congresses; languages",
subject = "D.0 Software, GENERAL",
}
@Proceedings{Janssen:1988:TCA,
editor = "R. Jan{\ss}en",
booktitle = "{Trends in Computer Algebra, International Symposium
Bad Neuenahr, May 19--21, 1987, Proceedings}",
title = "{Trends in Computer Algebra, International Symposium
Bad Neuenahr, May 19--21, 1987, Proceedings}",
volume = "296",
publisher = pub-SV,
address = pub-SV:adr,
pages = "??",
year = "1988",
ISBN = "3-540-18928-9, 0-387-18928-9",
ISBN-13 = "978-3-540-18928-2, 978-0-387-18928-4",
LCCN = "QA155.7.E4T74 1988",
bibsource = "/usr/local/src/bib/bibliography/Theory/Comp.Alg.bib;
http://www.math.utah.edu/pub/tex/bib/axiom.bib",
series = "Lecture Notes in Computer Science",
notes = "{\footnotesize Die Beitr{\"a}ge in diesem Band geben
einen guten {\"U}berblick {\"u}ber den aktuellen Stand
der Forschung in verschiedenen f{\"u}r die \CA\
wichtigen Teilgebieten, so z.B. Faktorisierung von
Polynomen, konstruktive Galois Theory,
Termersetzungssysteme und das System Scratchpad II.
\hfill F. Schwarz}",
}
@Proceedings{ACM:1989:PAI,
editor = "{ACM}",
booktitle = "{Proceedings of the ACM-SIGSAM 1989 International
Symposium on Symbolic and Algebraic Computation, ISSAC
'89}",
title = "{Proceedings of the ACM-SIGSAM 1989 International
Symposium on Symbolic and Algebraic Computation, ISSAC
'89}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "399",
year = "1989",
ISBN = "0-89791-325-6",
ISBN-13 = "978-0-89791-325-6",
LCCN = "QA76.95.I59 1989",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "17--19 July 1989",
conflocation = "Portland, OR, USA",
confsponsor = "ACM",
pubcountry = "USA",
}
@Proceedings{Huguet:1989:AAA,
editor = "L. Huguet and A. Poli",
booktitle = "{Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 5th International Conference,
AAECC-5 Proceedings}",
title = "{Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 5th International Conference,
AAECC-5 Proceedings}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "417",
year = "1989",
ISBN = "3-540-51082-6",
ISBN-13 = "978-3-540-51082-6",
LCCN = "QA268.A35 1987",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "15--19 June 1987",
conflocation = "Menorca, Spain",
pubcountry = "West Germany",
}
@Proceedings{Davenport:1989:EEC,
editor = "J. H. Davenport",
booktitle = "{EUROCAL '87. European Conference on Computer Algebra
Proceedings}",
title = "{EUROCAL '87. European Conference on Computer Algebra
Proceedings}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "viii + 499",
year = "1989",
ISBN = "3-540-51517-8",
ISBN-13 = "978-3-540-51517-3",
LCCN = "QA155.7.E4E86 1987",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "2--5 June 1987",
conflocation = "Leipzig, East Germany",
confsponsor = "Robotron; Rank Xerox",
pubcountry = "West Germany",
}
@Proceedings{Gianni:1989:SAC,
editor = "P. (Patrizia) Gianni",
booktitle = "{Symbolic and Algebraic Computation. International
Symposium ISSAC '88, Rome, Italy, July 4--8, 1988.
Proceedings}",
title = "{Symbolic and Algebraic Computation. International
Symposium ISSAC '88, Rome, Italy, July 4--8, 1988.
Proceedings}",
volume = "358",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 543",
year = "1989",
ISBN = "3-540-51084-2",
ISBN-13 = "978-3-540-51084-0",
LCCN = "QA76.95 .I57 1988",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Conference held jointly with AAECC-6.",
series = "Lecture Notes In Computer Science",
acknowledgement = ack-nhfb,
confdate = "4--8 July 1988",
conflocation = "Rome, Italy",
pubcountry = "West Germany",
}
@Proceedings{Mora:1989:AAA,
editor = "T. Mora",
booktitle = "{Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 6th International Conference,
AAECC-6, Rome, Italy, July 4--8, 1988. Proceedings}",
title = "{Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 6th International Conference,
AAECC-6, Rome, Italy, July 4--8, 1988. Proceedings}",
volume = "357",
publisher = pub-SV,
address = pub-SV:adr,
pages = "ix + 480",
year = "1989",
ISBN = "3-540-51083-4",
ISBN-13 = "978-3-540-51083-3",
LCCN = "QA268 .A35 1988",
bibdate = "Tue Sep 17 06:46:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "Conference held jointly with ISSAC '88.",
series = "Lecture Notes in Computer Science",
acknowledgement = ack-nhfb,
confdate = "4--8 July 1988",
conflocation = "Rome, Italy",
pubcountry = "West Germany",
}
@Proceedings{Watanabe:1990:IPI,
editor = "Shunro Watanabe and Morio Nagata",
booktitle = "{ISSAC '90. Proceedings of the International Symposium
on Symbolic and Algebraic Computation}",
title = "{ISSAC '90. Proceedings of the International Symposium
on Symbolic and Algebraic Computation}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "ix + 307",
year = "1990",
ISBN = "0-89791-401-5",
ISBN-13 = "978-0-89791-401-7",
LCCN = "QA76.95 .I57 1990",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "20--24 Aug. 1990",
conflocation = "Tokyo, Japan",
confsponsor = "Inf. Processing Soc. Japan; Japan Soc. Software Sci.
Technol.; ACM",
pubcountry = "USA",
}
@Proceedings{Miola:1990:DIS,
editor = "A. Miola",
booktitle = "{Design and Implementation of Symbolic Computation
Systems, International Symposium DISCO '90, Capri,
Italy, April 10--12, 1990, Proceedings}",
title = "{Design and Implementation of Symbolic Computation
Systems, International Symposium DISCO '90, Capri,
Italy, April 10--12, 1990, Proceedings}",
volume = "429",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xii + 283",
year = "1990",
ISBN = "0-387-52531-9 (New York), 3-540-52531-9 (Berlin)",
ISBN-13 = "978-0-387-52531-0 (New York), 978-3-540-52531-8
(Berlin)",
LCCN = "QA76.9.S88I576 1990",
bibdate = "Tue Sep 17 06:44:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
series = "Lecture Notes in Computer Science",
acknowledgement = ack-nhfb,
confdate = "10--12 April 1990",
conflocation = "Capri, Italy",
pubcountry = "West Germany",
}
@Proceedings{Cohen:1991:EIS,
editor = "G. Cohen and P. Charpin",
booktitle = "{EUROCODE '90. International Symposium on Coding
Theory and Applications Proceedings}",
title = "{EUROCODE '90. International Symposium on Coding
Theory and Applications Proceedings}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 392",
year = "1991",
ISBN = "0-387-54303-1 (New York), 3-540-54303-1 (Berlin)",
ISBN-13 = "978-0-387-54303-1 (New York), 978-3-540-54303-9
(Berlin)",
LCCN = "QA268.E95 1990",
bibdate = "Tue Sep 17 06:41:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "5--9 Nov. 1990",
conflocation = "Udine, Italy",
pubcountry = "Germany",
}
@Proceedings{Watt:1991:PIS,
editor = "Stephen M. Watt",
booktitle = "{Proceedings of the 1991 International Symposium on
Symbolic and Algebraic Computation, ISSAC'91, July
15--17, 1991, Bonn, Germany}",
title = "{Proceedings of the 1991 International Symposium on
Symbolic and Algebraic Computation, ISSAC'91, July
15--17, 1991, Bonn, Germany}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "xiii + 468",
year = "1991",
ISBN = "0-89791-437-6",
ISBN-13 = "978-0-89791-437-6",
LCCN = "QA76.95.I59 1991",
bibdate = "Fri Dec 29 18:17:57 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Anonymous:1991:PAC,
editor = "Anonymous",
booktitle = "{Proceedings 1991 Annual Conference, American Society
for Engineering Education. Challenges of a Changing
World}",
title = "{Proceedings 1991 Annual Conference, American Society
for Engineering Education. Challenges of a Changing
World}",
publisher = "ASEE",
address = "Washington, DC, USA",
pages = "xxi + 2026",
year = "1991",
bibdate = "Tue Sep 17 06:37:45 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "2 vol.",
acknowledgement = ack-nhfb,
confdate = "16--19 June 1991",
conflocation = "New Orleans, LA, USA",
pubcountry = "USA",
}
@Proceedings{Wang:1992:ISS,
editor = "Paul S. Wang",
booktitle = "{International System Symposium on Symbolic and
Algebraic Computation 92}",
title = "{International System Symposium on Symbolic and
Algebraic Computation 92}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "ix + 406",
year = "1992",
ISBN = "0-89791-489-9 (soft cover), 0-89791-490-2 (hard
cover)",
ISBN-13 = "978-0-89791-489-5 (soft cover), 978-0-89791-490-1
(hard cover)",
LCCN = "QA76.95.I59 1992",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "27--29 July 1992",
conflocation = "Berkeley, CA, USA",
confsponsor = "ACM",
pubcountry = "USA",
}
@Proceedings{Bronstein:1993:IPI,
editor = "Manuel Bronstein",
booktitle = "{ISSAC'93: proceedings of the 1993 International
Symposium on Symbolic and Algebraic Computation, July
6--8, 1993, Kiev, Ukraine}",
title = "{ISSAC'93: proceedings of the 1993 International
Symposium on Symbolic and Algebraic Computation, July
6--8, 1993, Kiev, Ukraine}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "viii + 321",
year = "1993",
ISBN = "0-89791-604-2",
ISBN-13 = "978-0-89791-604-2",
LCCN = "QA 76.95 I59 1993",
bibdate = "Thu Sep 26 05:45:15 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "ACM order number: 505930.",
abstract = "The following topics were dealt with: algebraic
solutions of equations; computer algebra systems;
algorithm theory and complexity; automated theorem
proving; polynomials; and matrix algebra.",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic); C4240 (Programming and
algorithm theory); C7310 (Mathematics computing)",
confdate = "6--8 July 1993",
conflocation = "Kiev, Ukraine",
confsponsor = "ACM",
keywords = "algebra --- data processing --- congresses; Algorithm
theory; Automated theorem proving; Complexity; Computer
algebra; mathematics --- data processing ---
congresses; Matrix algebra; Polynomials",
pubcountry = "USA",
source = "ISSAC '93",
sponsor = "Association for Computing Machinery.",
thesaurus = "Computational complexity; Mathematics computing;
Matrix algebra; Polynomials; Symbol manipulation;
Theorem proving",
}
@Proceedings{Fitch:1993:DIS,
editor = "J. Fitch",
booktitle = "{Design and Implementation of Symbolic Computation
Systems International Symposium, DISCO '92
Proceedings}",
title = "{Design and Implementation of Symbolic Computation
Systems International Symposium, DISCO '92
Proceedings}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "214",
year = "1993",
ISBN = "0-387-57272-4 (New York), 3-540-57272-4 (Berlin)",
ISBN-13 = "978-0-387-57272-7 (New York), 978-3-540-57272-5
(Berlin)",
LCCN = "QA76.9.S88I576 1992",
bibdate = "Tue Sep 17 06:37:45 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "13--15 April 1992",
conflocation = "Bath, UK",
pubcountry = "Germany",
}
@Proceedings{Jacob:1993:PSI,
editor = "G. Jacob and N. E. Oussous and S. Steinberg",
booktitle = "{Proceedings SC 93. International IMACS Symposium on
Symbolic Computation. New Trends and Developments}",
title = "{Proceedings SC 93. International IMACS Symposium on
Symbolic Computation. New Trends and Developments}",
publisher = "LIFL Univ. Lille",
address = "Lille, France",
pages = "vii + 239",
year = "1993",
bibdate = "Tue Sep 17 06:35:39 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "14--17 June 1993",
conflocation = "Lille, France",
confsponsor = "IMACS-AICA",
pubcountry = "France",
}
@Proceedings{Miola:1993:DIS,
editor = "A. Miola",
booktitle = "{Design and Implementation of Symbolic Computation
Systems International Symposium. DISCO '93 Gmunden,
Austria, September 15--17, 1993: Proceedings}",
title = "{Design and Implementation of Symbolic Computation
Systems International Symposium. DISCO '93 Gmunden,
Austria, September 15--17, 1993: Proceedings}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 383",
year = "1993",
ISBN = "3-540-57235-X",
ISBN-13 = "978-3-540-57235-0",
LCCN = "QA76.9.S88I576 1993",
bibdate = "Fri Dec 29 12:46:02 MST 1995",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "15--17 Sept. 1993",
conflocation = "Gmunden, Austria",
pubcountry = "Germany",
}
@Proceedings{ACM:1994:IPI,
editor = "{ACM}",
booktitle = "{ISSAC'94. Proceedings of the International Symposium
on Symbolic and Algebraic Computation}",
title = "{ISSAC'94. Proceedings of the International Symposium
on Symbolic and Algebraic Computation}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "ix + 359",
year = "1994",
ISBN = "0-89791-638-7",
ISBN-13 = "978-0-89791-638-7",
LCCN = "QA76.95.I59 1994",
bibdate = "Tue Sep 17 06:29:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "20--22 July 1994",
conflocation = "Oxford, UK",
confsponsor = "ACM",
pubcountry = "USA",
}
@Proceedings{Calmet:1994:RWC,
editor = "J. Calmet",
booktitle = "{Rhine Workshop on Computer Algebra. Proceedings}",
title = "{Rhine Workshop on Computer Algebra. Proceedings}",
publisher = "Universit{\"a}t Karlsruhe",
address = "Karlsruhe, Germany",
pages = "v + 224",
year = "1994",
bibdate = "Tue Sep 17 06:32:41 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
confdate = "22--24 March 1994",
conflocation = "Karlsruhe, Germany",
confsponsor = "Universit{\"a}t Karlsruhe",
pubcountry = "Germany",
}
@Proceedings{Levelt:1995:IPI,
editor = "A. H. M. Levelt",
booktitle = "{ISSAC '95: Proceedings of the 1995 International
Symposium on Symbolic and Algebraic Computation: July
10--12, 1995, Montr{\'e}al, Canada}",
title = "{ISSAC '95: Proceedings of the 1995 International
Symposium on Symbolic and Algebraic Computation: July
10--12, 1995, Montr{\'e}al, Canada}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "xviii + 314",
year = "1995",
ISBN = "0-89791-699-9",
ISBN-13 = "978-0-89791-699-8",
LCCN = "QA 76.95 I59 1995",
bibdate = "Thu Sep 26 05:34:21 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
note = "ACM order number: 505950",
series = "ISSAC -PROCEEDINGS- 1995",
abstract = "The following topics were dealt with: differential
equations; visualisation; algebraic numbers;
algorithms; systems; polynomial and differential
algebra; seminumerical methods; greatest common
divisors; and.",
acknowledgement = ack-nhfb,
classification = "C4100 (Numerical analysis); C4170 (Differential
equations); C7310 (Mathematics computing)",
confdate = "10--12 July 1995",
conflocation = "Montr{\'e}al, Que., Canada",
confsponsor = "ACM",
keywords = "algebra --- data processing --- congresses; Algebraic
numbers; Algorithms; Differential algebra; Differential
equations; Greatest common divisors; mathematics ---
data processing --- congresses; Polynomial;
Seminumerical methods; Systems; Visualisation",
pubcountry = "USA",
source = "ISSAC '95",
thesaurus = "Data visualisation; Differential equations; Group
theory; Numerical analysis; Symbol manipulation",
}
@Proceedings{Dooley:1999:IJS,
editor = "Sam Dooley",
booktitle = "{ISSAC 99: July 29--31, 1999, Simon Fraser University,
Vancouver, BC, Canada: proceedings of the 1999
International Symposium on Symbolic and Algebraic
Computation}",
title = "{ISSAC 99: July 29--31, 1999, Simon Fraser University,
Vancouver, BC, Canada: proceedings of the 1999
International Symposium on Symbolic and Algebraic
Computation}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "xxii + 311",
year = "1999",
ISBN = "1-58113-073-2",
ISBN-13 = "978-1-58113-073-7",
LCCN = "QA76.95 .I57 1999",
bibdate = "Sat Mar 11 16:51:59 2000",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Brown:2007:PIS,
editor = "C. W. Brown",
booktitle = "{Proceedings of the 2007 International Symposium on
Symbolic and Algebraic Computation, July 29--August 1,
2007, University of Waterloo, Waterloo, Ontario,
Canada}",
title = "{Proceedings of the 2007 International Symposium on
Symbolic and Algebraic Computation, July 29--August 1,
2007, University of Waterloo, Waterloo, Ontario,
Canada}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "????",
year = "2007",
ISBN = "1-59593-743-9 (print), 1-59593-742-0 (CD-ROM)",
ISBN-13 = "978-1-59593-743-8 (print), 978-1-59593-742-1
(CD-ROM)",
LCCN = "QA76.5 S98 2007",
bibdate = "Fri Jun 20 08:53:37 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/axiom.bib;
http://www.math.utah.edu/pub/tex/bib/issac.bib;
http://www.math.utah.edu/pub/tex/bib/maple-extract.bib",
note = "ACM order number 505070.",
acknowledgement = ack-nhfb,
}