diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 058f342..b9dbb6a 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -123,7 +123,6 @@ Stephen\ Watt & Jim\ Wen & Clifton\ Williamson
$$
\center{\large{Volume Bibliography: Axiom Literature Citations}}
\end{titlepage}
-\pagenumbering{roman}
\begin{verbatim}
Portions Copyright (c) 2005 Timothy Daly
@@ -301,50 +300,67 @@ Axiom. The first section contains literature that mentions Axiom,
initially derived with permission from Nelson Beebe's collection.
The second section contains references from Axiom to the literature.
-\section{Axiom Citations in the Literature}
\begin{thebibliography}{999}
+\section{Axiom Citations in the Literature}
+
+\subsection{A} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
\bibitem[ACM89]{ACM89}
ACM, editor. Proceedings of the ACM-SIGSAM 1989 International
Symposium on Symbolic and Algebraic Computation, ISSAC '89 ACM Press,
New York, NY 10036, USA, 1989, ISBN 0-89791-325-6, LCCN QA76.95.I59 1989
+
\bibitem[ACM94]{ACM94}
ACM, editor, ISSAC '94. Proceedings of the International
Symposium on Symbolic and Algebraic COmputation. ACM Press, New York, NY,
10036, USA, 1994, ISBN 0-89791-638-7. LCCN QA76.95.I59 1994
+
\bibitem[ACS91]{ACS91}
D. Augot, P. Charpin, and N. Sendrier. ``The miniumum
distance of some binary codes via the Newton's identities'', In Cohen and
Charping [CC91], pages 65-73 ISBN 0-387-54303-1 (New York), 3-540-54303-1
(Berlin). LCCN QA268.E95 1990
+
\bibitem[AL94]{AL94}
Adams, William W. and Loustaunau, Philippe
``An Introduction to Gr\"obner Bases''
Amaerica Mathematical Society (1994) ISBN 0-8218-3804-0
+
\bibitem[And84]{And84}
George E. Andrews. ``Ramanujan and SCRATCHPAD''. in Golden and Hussain [GH84],
pages 383-??
+
\bibitem[And88]{And88}
G. E. Andrews. ``Application of Scratchpad to problems in special functions
and combinatorics'' In Janssen [Jan88], pages 158-?? ISBN 3-540-18928-9,
0-387-18928-9 LCCN QA155.7.E4T74 1988
+
\bibitem[Ano91]{Ano91}
Anonymous editor, Proceedings 1991 Annual Conference, American Society for
Engineering Education. Challenges of a Changing World. ASEE, Washington, DC
USA 1991 2 vol.
+
\bibitem[Ano92]{Ano92}
Anonymous. Programming environments for high-level scientific problem solving.
IFIP TC2/WG 2.5 working conference. IFIP Transactions. A Computer Science
and Technology, A-2:??, 1992. CODEN ITATEC. ISSN 0926-5473
+
\bibitem[Ano95]{Ano95}
Anonymous. GAMM 94 annual meeting. Zeitschrift fur Angewandte Mathematik und
Physik, 75 (suppl. 2), 1995, CODEN ZAMMAX, ISSN 0044-2267
+
+\subsection{B} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[BGJ70]{BGJ70}
Fred W. Blair, James H. Griesmer, Richard D. Jenks
``An interactive facility for symbolic mathematics''
Proc. International Computing Symposium, Bonn, Germany, 1970 pp394-419
+
\bibitem[BJ70]{BJ70}
Fred W. Blair, Richard D. Jenks
``LPL: LISP programming language'' IBM Research Report, RC3062 Sept 1970
+
\bibitem[BC85]{BC85}
Bruno Buchberger and Bob F. Caviness, editors EUROCAL '85: European
Conference on Computer Algebra, Linz, Austria, April 1-3, 1985;
@@ -352,216 +368,285 @@ proceedings, volume 204 of Lecture Notes in Computer Science. Springer-Verlag,
Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1985,
ISBN 0-387-15983-5 (vol. 1), 0-387-15984-3 (vol. 2) LLCN QA155.7.E4 E86 1985
Two volumes
+
\bibitem[BGDW95]{BGDW95}
P. A. Broadbery, T. G{\'o}mez-D{\'\i}az, and S. M. Watt
``On the implementation of dynamic evaluation'' In Levelt [Lev95]
pages 77-84 ISBN 0-89791-699-9 LCCN QA76.95 I59 1995
ACM order number 505950\\
\verb|www.acm.org/pubs/citations/proceedings/issac/220346/p77-broadbery|
+
\bibitem[Boe89]{Boe89}
Hans-J. Boehm. ``Type inference in the presence of type abstraction''
ACM SIGPLAN Notices, 24(7) pp192-206 July 1989 CODEN SINODQ ISSN 0362-1340\\
\verb|www.acm.org/pubs/citations/proceedings/pldi/73141/p192-boehm|
+
\bibitem[Bou91]{Bou91}
Jean-Louis Boulanger
``Etude de la compilation de scratchpad 2''
Rapport de DEA Universite dl lille 1, Sept 1991
+
\bibitem[Bou93a]{Bou93a}
Jean-Louis Boulanger
``Axiom, language fonctionnel \`a d\'eveloppement objet''
IT 255, Oct 1993
+
\bibitem[Bou93b]{Bou93b}
Jean-Louis Boulanger,
``AXIOM, A Functional Language with Object Oriented Development''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Bou95]{Bou95}
J. L. Boulanger ``Object oriented method for Axiom''
ACM SIGPLAN Notices, 30(2) pp33-41 February 1995 CODEN SINODQ ISSN 0362-1340\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Bro89]{Bro89}
M. Bronstein. ``Simplificatoin of real elementary functions'' ACM [ACM89]
pages 207-211 ISBN 0-89791-325-6 LCCN QA76.95.I59 1989
+
\bibitem[Bro91a]{Bro91a}
M. Bronstein, ``The Risch differential equation on an algebraic curve''
in Watt [Wat91], pp241-246 ISBN 0-89791-437-6 LCCN QA76.95.I59 1991
+
\bibitem[Bro91b]{Bro91b}
M. Bronstein. ``The Risch differential equation on an
algebraic curve'' In S.Watt, editor, {\sl Proceedings of ISSAC'91},
pages 241-246, ACM Press, 1991.
+
\bibitem[Bro93]{Bro93}
Manuel Bronstein, editor ISSAC'93: proceedings of the 1993 International
Symposium on Symbolic and Algebraic Computation, July 6-8, 1993, Kiev, Ukraine,
ACM Press New York, NY 10036, USA, 1993 ISBN 0-89791-604-2
LCCN QA76.95 I59 1993 ACM order number 505930
+
\bibitem[Bru09]{Bru08}
Brunelli, J.C. ``Streams and Lazy Evaluation Applied to Integrable Models''\\
\verb|http://arxiv.org/PS_cache/nlin/pdf/0408/0408058v1.pdf|
+
\bibitem[BS93]{BS93}
Manuel Bronstein and Bruno Salvy ``Full partial fraction decomposition of
rational functions'' In Bronstein [Bro93] pp157-160 ISBN 0-89791-604-2
LCCN QA76.95 I59 1993\\
\verb|www.acm.org/pubs/citations/proceedings/issac/164081/p157-bronstein|
+
\bibitem[BS94]{BS94}
T. Beneke and W. Schwippert. Double-track into the future: MathCAD will
gain new users with Standard and Plus versions. Elektronik, 43(15) pp107-110,
July 1994, CODEN EKRKAR ISSN 0013-5658
+
\bibitem[Bor00]{Bor00}
Borwein, Jonathan
``Multimedia tools for communicating mathematics''
Springer-Verlag ISBN 3-540-42450-4 p58
+
\bibitem[BHR00]{BHR00}
S. Boulm\'e, T. Hardin, R. Rioboo
``Polymorphic Data Types, Objects, Modules and Functors,: is it too much?''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[BHHMR01]{BHHMR01}
S. Boulm\'e, T. Hardin, D. Hirschkoff, V. M\'enissier-Morain, R. Rioboo
``On the way to certify Computer Algebra Systems''
Calculemus-2001\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[BT94]{BT94}
R. Brown and A. Tonks ``Calculations with simplicial and cubical groups
in AXIOM'' Journal of Symbolic Computation 17(2) pp159-179 February 1994
CODEN JSYCEH ISSN 0747-7171
+
\bibitem[BD95]{BD95}
Ronald Brown, Winfried Dreckmann,
``Domains of data and domains of terms in AXIOM''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Buh05]{Buh05}
Buhl, Soren L.,
``Some Reflections on Integrating a Computer Algebra System in R''\\
\verb|www.math.auc.dk/~slb/kurser/software/RCompAlg.pdf|
+
\bibitem[Bur91]{Bur91}
W. H. Burge, ``Scratchpad and the Rogers-Ramanujan identities'' In
Watt [Wat91], pp189-190 ISBN 0-89791-437-6 LCCN QA76.95.I59 1991
+
\bibitem[BW87]{BW87}
W. Burge and S. Watt, ``Infinite structures in SCRATCHPAD II''
Technical Report RC 12794 (\#57573) IBM Thomas J. Watson Research Center,
Box 218, Yorktown Heights, NY 10598, USA 1987
+
\bibitem[BW89]{BW89}
W. H. Burge and S. M. Watt ``Infinite structures in Scratchpad II''
in Davenport [Dav89], pp138-148 ISBN 3-540-51517-8 LCCN QA155.7.E4E86 1987
+
+\subsection{C} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Cal94]{Cal94}
J. Calmet, editor Rhine Workshop on Computer Algebra, Proceedings.
Universit{\"a}t Karsruhe, Karlsruhe, Germany 1994
+
+\bibitem[CCxx]{CCxx}
+Quentin Carpent, Christophe Conil
+``Utilisation de logiciels libres pour la r\'ealisation de TP MT26'' (2004)\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[CC91]{CC91}
G. Cohen and P. Charpin, editors EUROCODE '90 International Symposium on
Coding Theory and Applications Proceedings. Springer-Verlag, Berlin, Germany
/ Heidelberg, Germany / London, UK / etc., 1991 ISBN 0-387-54303-1
(New York), 3-540-54303-1 (Berlin), LCCN QA268.E95 1990
+
\bibitem[CCM92]{CCM92}
Paul Camion, Bernard Courteau, and Andre Montpetit. ``Un probl{\`{e}}me
combinatoire dans les graphs de Hamming et sa solution en Scratchpad''
(English: A combinatorial problem in Hamming Graphs and its solution in
Scratchpad) Rapports de recherche 1586, Institut National de Recherche en
Informatique et en Automatique, Le Chesnay, France, January 1992, 12pp
+
\bibitem[CCR]{CCR}
Caprotti, Olga, Cohen, Arjeh M., and Riem, Manfred
``Java Phrasebooks for Computer Algebra and Automated Deduction''\\
\verb|www.sigsam.org/bulletin/articles/132/paper8.pdf|
+
\bibitem[CC99]{CC99}
Capriotti, O. and Carlisle, D.
``OpenMath and MathML: Semantic Mark Up for Mathematics''\\
\verb|www.acm.org/crossroads/xrds6-2/openmath.html|
+
\bibitem[CCCS]{CCCS}
Capriotti, Olga, Cohen, Arjeh M., Cuypers, Hans, and Sterk, Hans
``OpenMath Technology for Interactive Mathematical Documents''\\
\verb|www.win.tue.nl/~hansc/lisbon.pdf|
+
\bibitem[Che86]{Che86}
G.W. Cherry "Integration in Finite Terms with Special Functions: The Logarithmic Integral"
SIAM J. Comput. Vol 15 No 1 February 1986
+
\bibitem[Chu89]{Chu89}
Chudnovsky, D.V. and Chudnovsky, G.V.
``The computation of classical constants''
Proc. Natl. Acad. Sci. USA Vol 86 pp8178-8182, Nov 1989
+
\bibitem[CJ86]{CJ86}
Chudnovsky, David and Jenks, Richard
``Computers in Mathematics''
International Conference on Computers and Mathematics July29-Aug1 1986
Marcel Dekker, Inc (1990) ISBN 0-8247-8341-7
+
\bibitem[CCBS]{CCBS}
Cohen, Arjeh M., Cuypers, Hans, Barreiro, Ernesto Reinaldo, Sterk, Hans
``Interactive Mathematical Documents on the Web''
Springer 9783540002576-c1.pdf
+
\bibitem[CFMPxxa]{CFMPxxa}
Marc Conrad, Tim French, Carsten Maple, Sandra Pott
``Approaching Inheritance from a Natural Mathematical Perspective and from
a Java Driven Viewpoint: a Comparative Review''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[CFMPxxb]{CFMPxxb}
Marc Conrad, Tim French, Carsten Maple, Sandra Pott
``Mathematical Use Cases lead naturally to non-standard Inheritance
Relationships: How to make them accessible in a mainstream language?''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[CHK]{CHK}
Cuypers, Hans, Hendriks, Maxim, and Knopper, Jan Willem
``Interactive Geometry inside MathDox''\\
\verb|www.win.tue.nl/~hansc/MathDox_and_InterGeo_paper.pdf|
+
+\subsection{D} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Dal92]{Dal92}
S. Dalmas ``A polymorphic functional language applied to symbolic computation''
In Wang [Wan92] pp369-375 ISBN 0-89791-489-9 (soft cover) 0-89791-490-2
(hard cover) LCCN QA76.95.I59 1992
+
\bibitem[Dal88]{Dal88}
Daly, Timothy ``Axiom in an Educational Setting''
Axiom course slide deck January 1988
+
\bibitem[Dal02]{Dal02}
T. Daly ``Axiom as open source'' SIGSAM Bulletin (ACM Special Interest Group
on Symbolic and Algebraic Manipulation) 36(1) pp28-?? March 2002
CODEN SIGSBZ ISSN 0163-5824
+
\bibitem[Dal03]{Dal03}
Daly, Timothy, ``The Axiom Wiki Website''\\
\verb|http://axiom.axiom-developer.org|
+
\bibitem[Dal06]{Dal06}
Timothy Daly ``Axiom Volume 1: Tutorial'' Lulu, Inc. 860 Aviation Parkway,
Suite 300, Morrisville, NC 27560 USA, 2006 ISBN 141166597X 287pp\\
\verb|http://www.lulu.com/content/190827|
+
\bibitem[Dal09]{Dal09}
Daly, Timothy, "The Axiom Literate Documentation"\\
\verb|http://axiom.axiom-developer.org/axiom-website/documentation.html|
+
\bibitem[Dal13]{Dal13}
Daly, Timothy
``Literate Programming in the Large''
April 8-9, 2013 Portland Oregon\\
\verb|conf.writethedocs.org|\\
\verb|daly.axiom-developer.org|
-\bibitem[Dav79]{Dav79}
+
+\bibitem[Dav79a]{Dav79a}
Davenport, J.H. SPAD.SCRIPT
VM/370 SPAD.SCRIPTS August 24, 1979
+
+\bibitem[Dav79b]{Dav79b}
+James Harold Davenport
+``On the Integration of Algebraic Functions''
+Springer-Verlag Lecture Notes in Computer Science 102
+ISBN 0-387-10290-6
+
\bibitem[Dav80]{Dav80}
Davenport, J.H. and Jenks, R.D.
``MODLISP -- an Introduction''
Proc LISP80, 1980
+
\bibitem[Dav82]{Dav82}
Davenport, J.H. ``On the Parallel Risch Algorithm (III): Use of Tangents''
SIGSAM V16 no. 3 pp3-6 August 1982
+
\bibitem[Dav85]{Dav85}
Davenport, James H.
``The LISP/VM Foundation of Scratchpad II''
The Scratchpad II Newsletter, Volume 1, Number 1, September 1, 1985
IBM Corporation, Yorktown Heights, NY
+
\bibitem[Dav89]{Dav89}
J. H. Davenport, editor EUROCAL '87 European Conference on Computer Algebra
Proceedings Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London,
UK / etc., 1989 ISBN 3-540-51517-8 LCCN QA155.7.E4E86 1987
+
\bibitem[Dav92a]{Dav92a}
J. H. Davenport ``The AXIOM system'' AXIOM Technical Report TR5/92 (ATR/3)
(NP2492) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA and
Oxford, UK, December 1992 \\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[Dav92b]{Dav92b}
J. H. Davenport ``How does one program in the AXIOM system?'' AXIOM Technical
Report TR6/92 (ATR/4)(NP2493) Numerical Algorithms Group, Inc., Downer's
Grove, IL, USA and Oxford, UK December 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Dav93]{Dav93}
J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93
(ATR/6)(NP2556) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA
and Oxford, UK, August 1993\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[DFxx]{DFxx}
James Davenport, Christ\'ele Faure
``The Unknown in Computer Algebra''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Dav00]{Dav00}
Davenport, James
``13th OpenMath Meeting''
@@ -570,231 +655,295 @@ James H. Davenport
May 1984\\
\verb|xml.coverpages.org/openmath13.html|\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Dav10]{Dav10}
Davenport, J. H. ``Computer Algebra'' \hfill\\
\verb|staff.bath.ac.uk/masjhd/JHD-CA.pdf|
+
\bibitem[Dav12]{Dav12}
Davenport, J.H.
``Computer Algebra''\\
\verb|staff.bath.ac.uk/masjhd/JHD-CA.pdf| Feb, 2012
+
\bibitem[DSTxx]{DSTxx}
Davenport, J. H., Siret, and Tournier ``Computer Algebra'' \hfill\\
\verb|staff.bath.ac.uk/masjhd/masternew.pdf|
+
\bibitem[DD89]{DD89}
C. Dicrescenzo and D. Duval ``Algebraic extensions and algebraic closure in
Scratchpad II'' In Gianni [Gia89], pp440-446 ISBN 3-540-51084-2
LCCN QA76.95.I57 1998 Conference held jointly with AAECC-6
+
\bibitem[Dev93]{Dev93}
Pinch, R.G.E. ``Some Primality Testing Algorithms''
Devlin, Keith (ed.)
Computers and Mathematics November 1993, Vol 40, Number 9 pp1203-1210
+
\bibitem[Dew94]{Dew94}
Dewar, M. C. ``Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link''
Proceedings of the Workshop on Symbolic and Numeric Computing, ed by Apiola, H.
and Laine, M. and Valkeila, E. pp1-12 University of Helsinki, Finland (1994)
+
\bibitem[Dew]{Dew}
Dewar, Mike
``OpenMath: An Overview''\\
\verb|www.sigsam.org/bulletin/articles/132/paper1.pdf|
+
\bibitem[DGJ84]{DGJ84}
J. Davenport, P. Gianni, R. Jenks, V. Miller, S. Morrison, M. Rothstein,
C. Sundaresan, R. Sutor and B. Trager ``Scratchpad'' Mathematical Sciences
Department, IBM Thomas Watson Research Center 1984
+
\bibitem[DGT91]{DGT91}
J. H. Davenport, P. Gianni, and B. M. Trager ``Scratchpad's view of algebra
II: A categorical view of factorization'' In Watt [Wat91], pp32-38
ISBN 0-89791-437-6 LCCN QA76.95.I59 also in: AXIOM Technical Report, ATR/2,
NAG Ltd., Oxford, 1992
+
\bibitem[DGT92]{DGT92}
J. H. Davenport, P. Gianni, and B. M. Trager ``Scratchpad's view of algebra
II: A categorical view of factorization'' Technical Report TR4/92 (ATR/2)
(NP2491), Numerical Algorithms Group, Inc., Downer's Grove, IL, USA and
Oxford, UK, December 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[DGW]{DGW}
Dalmas, St\'ephane, Ga\"etano, Marc, and Watt, Stephen
``An OpenMath 1.0 Implementation''\\
\verb|citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.4401.pdf|
+
\bibitem[DJ92]{DJ92}
D. Duval and F. Jung ``Examples of problem solving using computer algebra''
IFIP Transactions. A. Computer Science and Technology, A-2 pp133-141, 143 1992
CODEN ITATEC. ISSN 0926-5473
+
\bibitem[DLMF]{DLMF}
\verb|http://dlmf.nist.gov/software/#T1|
+
\bibitem[Doo99]{Doo99}
Sam Dooley, editor. ISSAC 99: July 29-31, 1999, Simon Fraser University,
Vancouver, BC, Canada: proceedings of the 1999 International Symposium on
Symbolic and Algebraic Computation. ACM Press, New York, NY 10036, USA, 1999.
ISBN 1-58113-073-2 LCCN QA76.95.I57 1999
+
\bibitem[Doy97]{Doy97}
Nicolas James Doye
``Order Sorted Computer Algebra and Coercions''
Ph.D. Thesis University of Bath 1997\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Doy99]{Doy99}
Nicolas J. Doye. ``Automated coercion for Axiom'' in Dooley [Doo99], pp229-235
ISBN 1-58113-073-2 LCCN QA76.95.I57 1999 ACM Press\\
\verb|http://www.acm.org/pubs/contents/proceedings/issac/309831|
+
\bibitem[DST88]{DST88}
J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra: Systems and
Algorithms for Algebraic Computation. Academic Press, New York, NY, USA, 1988,
ISBN 0-12-204232-9
+
\bibitem[DT90]{DT90}
J. H. Davenport and B. M. Trager ``Scratchpad's view of algebra I: Basic
commutative algebra'' In Miola [Mio90], pp40-54. ISBN 0-387-52531-9 (New York),
3-540-52531-9 (Berlin). LCCN QA76.9.S88I576 1990 also in AXIOM Technical
Report, ATR/1, NAG Ltd., Oxford, 1992
+
\bibitem[DT92]{DT92}
J. H. Davenport and B. M. Trager ``Scratchpad's view of algebra I: Basic
-commutative algebra'' Technical Report TR3/92 (ATR/1)(NP2490), Numerical
+commutative algebra'' DISCO 90 Capri, Italy April 1990 ISBN 0-387-52531-9
+pp40-54\\
+Technical Report TR3/92 (ATR/1)(NP2490), Numerical
Algorithms Group, Inc., Downer's Grove, IL, USA and Oxford, UK,
December 1992. \\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[DRxx]{DRxx}
C\'esar Dom\'inguez and Julio Rubio
``Modeling Inheritance as Coercion in a Symbolic Computation System''
ISSAC 2001 ACM 1-58113-417-7/01/0007\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Dun98]{Dun98}
Dunstan, Martin, Kelsey, Tom, Linton, Steve, Martin, Ursula
``Lightweight Formal Methods For Computer Algebra Systems''\\
\verb|www.cs.st-andrews.ac.uk/~tom/pub/issac98.pdf|\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Dun97]{Dun97}
Dunstand, U, Linton
``Embedded Verification Techniques for Computer Algebra Systems''
Grant citation GR/L48256 Nov 1, 1997-Feb 28, 2001\\
\verb|www.cs.st-andrews.ac.uk/research/output/detail?output=ML97.php|
+
\bibitem[Dun99]{Dun99}
``Formal Methods for Extensions to CAS''
Dunstan, Martin, Kelsey, Tom, Martin, Ursula, and Linton, Steve,
FM 99, Toulouse, France, Sept 20-24, 1999, p1758-1777
+
\bibitem[Dun99a]{Dun99a}
Dunstan, MN
``Larch/Aldor - A Larch BISL for AXIOM and Aldor''
PhD Thesis, 1999\\
\verb|www.cs.st-andrews.uk/files/publications/Dun99.php|\\
\verb|axiom-portal.newsynthesis.org/refs/articles/mnd-sep99-thesis.pdf|
+
\bibitem[Dunxx]{Dunxx}
Martin N. Dunstan
``Adding Larch/Aldor Specifications to Aldor''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[DGKM01]{DGKM01}
Dunstan, Martin, Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
``Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface''
TPHOLS 2001, Edinburgh\\
\verb|www.cs-st-andrews.ac.uk/~tom/pub/tphols.ps|
+
\bibitem[DGKM01a]{DGKM01a}
Dunstan, Martin, Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
``Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface''
Calculemus 2001, Siena\\
\verb|www.cs-st-andrews.ac.uk/~tom/pub/dunstanetal.ps|
+
\bibitem[Du95]{Du95}
Duval, D. ``Evaluation dynamique et cl\^oture alg\'ebrique en Axiom''.
Journal of Pure and Applied Algebra, no99, 1995, pp. 267--295.
+
+\subsection{E} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[ES10]{ES10}
Burcin Er\"ocal and William Stein ``The Sage Project''\\
\verb|wstein.org/papers/icms/icms_2010.pdf|
+
+\subsection{F} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Fat90]{Fat90}
R. J. Fateman ``Advances and trends in the design and construction of
algebraic manipulation systems'' In Watanabe and Nagata [WN90], pp60-67
ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
+
\bibitem[Fat05]{Fat05}
Fateman, R. J. ``An incremental approach to building a mathematical \hfill\\
expert out of software'' 4/19/2005\hfill\\
\verb|www.cs.berkeley.edu/~fateman/papers/axiom.pdf|
+
\bibitem[FDN00a]{FDN00a}
Faure, Christ\'ele, Davenport, James
``Parameters in Computer Algebra''
+
\bibitem[FDN00b]{FDN00b}
Faure, Christ\'ele, Davenport, James, Naciri, Hanane
``Multi-values Computer Algebra''
ISSN 0249-6399 Institut National De Recherche en Informatique et en
Automatique Sept. 2000 No. 4001
+
\bibitem[Fit84]{Fit84}
J. P. Fitch, editor, EUROSAM '84: International Symposium on Symbolic and
Algebraic Computation, Cambridge, England, July 9-11, 1984, volume 174 of
Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany /
Heildelberg, Germany / London, UK / etc., 1984 ISBN 0-387-13350-X
LCCN QA155.7.E4 I57 1984
+
\bibitem[Fit93]{Fit93}
J. Fitch, editor. Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '92 Proceedings. Springer-Verlag, Berlin,
Germany / Heildelberg, Germany / London, UK / etc., 1993. ISBN 0-387-57272-4
(New York), 3-540-57272-4 (Berlin). LCCN QA76.9.S88I576 1992
+
\bibitem[Fog11]{Fog11}
Fogus, Michael ``UnConj''\\
\verb|clojure.com/blog/2011/11/22/unconj.html|
+
\bibitem[For90]{For90}
A. Fortenbacher. ``Efficient type inference and coercion in computer algebra''
In Miola [Mio90], pp56-60. ISBN 0-387-52531-9 (New York), 3-540-52531-9
(Berlin). LCCN QA76.9.S88I576 1990
+
\bibitem[Fou90]{Fou90}
Francois Fouche. ``Une implantation de l'algorithme de Kovacic en Scratchpad''
Technical report, Institut de Recherche Math{\'{e}}matique Avanc{\'{e}}e''
Strasbourg, France, 1990 31pp
+
\bibitem[Fris]{Fris}
Frisco ``Objectives and Results''\\
\verb|http://www.nag.co.uk/projects/frisco/frisco/node3.htm|
+
+\subsection{G} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[GCL92]{GCL92}
Geddes, Keith O., Czapor, Stephen R., and Labahn, George
``Algorithms For Computer Algebra'' Kluwer Academic Publishers
ISBN 0-7923-9259-0 (Sept 1992)
+
\bibitem[GBL91]{GBL91}
B. M. Goodwin, R. A. Buonopane, and A. Lee. ``Using MathCAD in teaching
material and energy balance concepts''. In Anonymous [Ano91], pp345-349
(vol. 1) 2 vols.
+
\bibitem[GH84]{GH84}
V. Ellen Golden and M. A. Hussain, editors. Proceedings of the 1984 MACSYMA
Users' Conference: Schenectady, New York, July 23-25, 1984, General Electric,
Schenectady, NY, USA, 1984
+
\bibitem[GKM05]{GKM05}
Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
``Hidden verification for computational mathematics''
Journal of Symbolic Computation, Vol39, Num 5, 2005
+
\bibitem[BHGM04]{BHGM04}
Boulton, Richard, Hardy, Ruth, Gottliebsen, Hanne, and Martin, Ursula
``Design verification for control engineering''
Proc Fourth International Conference on Integrated Formal Methods,
April 2004
+
\bibitem[GHK91]{GHK91}
J. Grabmeier, K. Huber, and U. Krieger. ``Das ComputeralgebraSystem AXIOM
bei kryptologischen und verkehrstheoretischen Untersuchungen des
Forschunginstituts der Deutschen Bundespost TELEKOM'' Technischer Report
TR 75.91.20, IBM Wissenschaftliches Zentrum, Heidelberg, Germany, 1991
+
\bibitem[Gia89]{Gia89}
P. (Patrizia) Gianni, editor. Symbolic and Algebraic Computation.
International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988. Proceedings,
volume 358 of Lecture Notes in Computer Science. Springer-Verlag, Berlin,
Germany / Heildelberg, Germany / London, UK / etc., 1989. ISBN 3-540-51084-2
LCCN QA76.95.I57 1988 Conference held jointly with AAECC-6
+
\bibitem[Gil92]{Gil92}
I. Gil. ``Computation of the Jordan canonical form of a square matrix (using
the Axiom programming language). In Wang [Wan92], pp138-145.
ISBN 0-89791-489-9 (soft cover), 0-89791-490-2 (hard cover)
LCCN QA76.95.I59 1992
+
\bibitem[Gon96]{Gon96}
Gonnet, Gaston H.
``Official verion 1.0 of the Meta Content Dictionary''\\
\verb|www.inf.ethz.ch/personal/gonnet/ContDict/Meta|
+
\bibitem[GJ71]{GJ71}
J. H. Griesmer and R. D. Jenks ``SCRATCHPAD/1 -- an interactive facility for
symbolic mathematics'' In Petrick [Pet71], pp42-58. LCCN QA76.5.S94 1971\\
\verb|http://delivery.acm.org/10.1145/810000/806266/p42-griesmer.pdf|\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[GJ72a]{GJ72a}
J. Griesmer and R. Jenks. ``Experience with an online symbolic math system
SCRATCHPAD''. in Online'72 [Onl72] ISBN 0-903796-02-3 LCCN QA76.55.O54 1972
Two volumes
+
\bibitem[GJ72b]{GJ72b}
James H. Griesmer and Richard D. Jenks. ``SCRATCHPAD: A capsule view''
ACM SIGPLAN Notices, 7(10) pp93-102, 1972. Proceedings of the symposium
on Two-dimensional man-machine communications. Mark B. Wells and
James B. Morris (eds.).
+
\bibitem[GJY75]{GJY75}
Griesmer, J.H., Jenks, R.D., Yun, D.Y.Y
``SCRATCHPAD User's Manual''
IBM Research Publication RA70 June 1975
+
\bibitem[GKW03]{GKW03}
Johannes Grabmeier, Erich Kaltofen, and Volker Weispfenning, editors.
Computer algebra handbook: foundations, applications, systems.
@@ -802,154 +951,198 @@ Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
2003. ISBN 3-540-65466-6 637pp Includes CDROM\\
\verb|http://www.springer.com/sgw/cda/frontpage/|\\
\verb|0,11855,1-102-22-1477871-0,00.html|
+
\bibitem[GL93]{GL93}
A. Goodloe and P. Loustaunau. ``An abstract data type development of graded
rings'' In Fitch [Fit93], pp193-202. ISBN 0-387-57272-4 (New York),
3-540-57272-4 (Berlin). LCCN QA76.9.S88I576 1992
+
\bibitem[GM86]{GM86}
R{\"u}diger Gebauer and H. Michael M{\"o}ller ``Buchberger's algorithm and
staggered linear bases'' In Bruce W. Char, editor. Proceedings of the 1986
Symposium on Symbolic and Algebraic Computation: SYMSAC '86, July 21-23, 1986
Waterloo, Ontario, pp218-221 ACM Press, New York, NY 10036, USA, 1986.
ISBN 0-89791-199-7 LCCN QA155.7.E4 A281 1986 ACM order number 505860
+
\bibitem[GM88]{GM88}
R. Gebauer and H. M. M{\"o}ller ``On an installation of Buchberger's
algorithm'' Journal of Symbolic Computation, 6(2-3) pp275-286 1988
CODEN JSYCEH ISSN 0747-7171
+
\bibitem[GM89]{GM89}
P. Gianni and T. Mora ``Algebraic solution of systems of polynomial equations
using Gr{\"o}bner bases. In Huguet and Poli [HP89], pp247-257
ISBN 3-540-51082-6 LCCN QA268.A35 1987
+
\bibitem[Gra98]{Gra98}
Hans-Gert Gr\"abe
``About the Polynomial System Solve Facility of Axiom, Macyma, Maple
Mathematica, MuPAD, and Reduce''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[GS92]{GS92}
J. Grabmeier and A. Scheerhorn ``Finite fields in Axiom'' AXIOM Technical
Report TR7/92 (ATR/5)(NP2522), Numerical Algorithms Group, Inc., Downer's
Grove, IL, USA and Oxford, UK, 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[GM94]{GM94}
D. Gruntz and M. Monagan ``Introduction to Gauss'' SIGSAM Bulletin (ACM
Special Interest Group on Symbolic and Algebraic Manipulation), 28(3) pp3-19
August 1994 CODEN SIGSBZ ISSN 0163-5824
+
\bibitem[Gru96]{Gru96}
Dominik Gruntz
``On Computing Limits in a Symbolic Manipulation System''
Thesis, Swiss Federal Institute of Technology Z\"urich 1996
Diss. ETH No. 11432\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
+\subsection{H} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Hec01]{Hec01}
Heck, A. ``Variables in computer algebra, mathematics and science''
The International Journal of Computer Algebra in Mathematics Education
Vol. 8 No. 3 pp195-210 (2001)
+
\bibitem[HP89]{HP89}
L. Huguet and A. Poli, editors. Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 5th International Conference AAECC-5 Proceedings.
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1989. ISBN 3-540-51082-6. LCCN QA268.A35 1987
+
+\subsection{J} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Jan88]{Jan88}
R. Jan{\ss}en, editor. Trends in Computer Algebra, International Symposium
Bad Neuenahr, May 19-21, 1987, Proceedings, volume 296 of Lecture Notes in
Computer Science.
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1988 ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
+
\bibitem[Jen69]{Jen69}
R. D. Jenks ``META/LISP: An interactive translator writing system'',
Research Report International Business Machines, Inc., Thomas J.
Watson Research Center, Yorktown Heights, NY, USA, 1969 RC2968 July 1970
+
\bibitem[Jen79]{Jen79}
Jenks, R. D.
``MODLISP''
Proc EUROSAM 79, pp466-480, 1979
+
\bibitem[Jen71]{Jen71}
R. D. Jenks ``META/PLUS: The syntax extension facility for SCRATCHPAD'',
Research Report RC 3259, International Business Machines, Inc., Thomas J.
Watson Research Center, Yorktown Heights, NY, USA, 1971
+
\bibitem[Jen74]{Jen74}
R. D. Jenks ``The SCRATCHPAD language'' ACM SIGPLAN Notices, 9(4) pp101-111
1974 CODEN SINODQ. ISSN 0362-1340
+
\bibitem[Jen76]{Jen76}
Richard D. Jenks. ``A pattern compiler'' In Richard D. Jenks, editor,
SYMSAC '76: proceedings of the 1976 ACM Symposium on Symbolic and Algebraic
Computation, August 10-12, 1976, Yorktown Heights, New York, pp60-65,
ACM Press, New York, NY 10036, USA, 1976. LCCN QA155.7.EA .A15 1976
QA9.58.A11 1976
+
\bibitem[Jen84a]{Jen84a}
Richard D. Jenks. ``The new SCRATCHPAD language and system for computer
algebra'' In Golden and Hussain [GH84], pp409-??
+
\bibitem[Jen84b]{Jen84b}
Richard D. Jenks ``A primer: 11 keys to New Scratchpad'' In Fitch [Fit84],
pp123-147. ISBN 0-387-13350-X LCCN QA155.7.E4 I57 1984
+
\bibitem[Jen88a]{Jen88a}
Jenks, R. D.
``A Guide to Programming in BOOT''
Computer Algebra Group, Mathematical Sciences Department, IBM Research
Draft September 5, 1988
+
\bibitem[Jen88b]{Jen88b}
Jenks, Richard ``The Scratchpad II Computer Algebra System Interactive
Environment Users Guide'' Spring 1988
+
\bibitem[JT81]{JT81}
Jenks, R.D. and Trager, B.M. ``A Language for Computational Algebra''
Proceedings of SYMSAC81, Symposium on Symbolic and Algebraic Manipulation,
Snowbird, Utah August, 1981
+
\bibitem[JT81a]{JT81a}
Jenks, R.D. and Trager, B.M. ``A Language for Computational Algebra''
SIGPLAN Notices, New York: Association for Computing Machiner, Nov 1981
+
\bibitem[JT81b]{JT81b}
Jenks, R.D. and Trager, B.M. ``A Language for Computational Algebra''
IBM Research Report RC8930 IBM Yorktown Heights, NY
+
\bibitem[JOS93]{JOS93}
G. Jacob, N. E. Oussous, and S. Steinberg, editors. Proceedings SC 93
International IMACS Symposium on Symbolic Computation. New Trends and
Developments. LIFL Univ. Lille, Lille France, 1993
+
\bibitem[Jo06]{J006}
Joyner, David "OSCAS - Maxima" SIGSAM Communications in Computer Algebra, 157
2006\\
\verb|sage.math.washington.edu/home/wdj/sigsam/oscas-cca1.pdf|
+
\bibitem[JS92]{JS92}
Richard D. Jenks and Robert S. Sutor ``AXIOM: The Scientific Computation
System''
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1992 ISBN 0-387-97855-0 (New York), 3-540-97855-0 (Berlin) 742pp
LCCN QA76.95.J46 1992
+
\bibitem[JWS86]{JWS86}
Richard D. Jenks, Robert S. Sutor, and Stephen M. Watt ``Scratchpad II:
an abstract datatype system for mathematical computation'' Research Report
RC 12327 (\#55257), Iinternational Business Machines, Inc., Thomas J. Watson
Research Center, Yorktown Heights, NY, USA, 1986 23pp
+
\bibitem[JWS87]{JWS87}
Richard D. Jenks, Robert S. Sutor, and Stephen M. Watt ``Scratchpad II:
an Abstract Datatype System for Mathematical Computation''
Proceedings Trends in Computer Algebra, Bad Neuenahr, LNCS 296,
Springer Verlag, (1987)
+
\bibitem[JSW88]{JSW88}
R. D. Jenks, R. S. Sutor, and S. M. Watt ``Scratchpad II: An abstract
datatype system for mathematical computation'' In Jan{\ss}en [Jan88],
pp12-?? ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
+
\bibitem[JWS88]{JWS88}
R. D. Jenks, R. S. Sutor, and S. M. Watt ``Scratchpad II:
an abstract datatype system for mathematical computation'' In Jan{\ss}en
[Jan88], pp12-37. ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
+
\bibitem[JT94]{JT94}
R. D. Jenks and B. M. Trager. ``How to make AXIOM into a Scratchpad'' In ACM
[ACM94], pp32-40 ISBN 0-89791-638-7 LCCN QA76.95.I59 1994\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[JT03]{JT03}
Joswig, Michael and Takayama, Nobuki
``Algebra, geometry, and software systems''
Springer-Verlag ISBN 3-540-00256-1 p291
+
+\subsection{K} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Kel00a]{Kel00a}
Kelsey, Tom
``Formal specification of computer algebra''
University of St Andrews, 6th April 2000\\
\verb|www.cs.st-andrews.cs.uk/~tom/pub/fscbs.ps|
+
\bibitem[Kel00b]{Kel00b}
Kelsey, Tom
``Formal specification of computer algebra'' (slides)
University of St Andrews, Sept 21, 2000\\
\verb|www.cs.st-andrews.cs.uk/~tom/pub/fscbstalk.ps|
+
\bibitem[Kel99]{Kel99}
Kelsey, Tom
``Formal Methods and Computer Algebra: A Larch Specification of AXIOM
@@ -958,113 +1151,144 @@ Ph.D. Thesis, University of St Andrews, 1999\\
\verb|www.cs.st-andrews.ac.uk/research/publications/Kel00.php|\\
\verb|www.cs.st-andrews.ac.uk/research/output/detail?output=Kel00.php|\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Ken99a]{Ken99a}
Kendall, W.S.
``Itovsn3 in AXIOM: modules, algebras and stochastic differentials''\\
\verb|www2.warwick.ac.uk/fac/sci/statistics/staff/academic-research/|\\
\verb|kendall/personal/ppt/328.ps.gz|
+
\bibitem[Ken99b]{Ken99b}
Kendall, W.S.
``Symbolic It\^o calculus in AXIOM: an ongoing story\\
\verb|www2.warwick.ac.uk/fac/sci/statistics/staff/academic-research/|\\
\verb|kendall/personal/ppt/327.ps.gz|
+
\bibitem[KKM89]{KKM89}
K. Kusche, B. Kutzler, and H. Mayr ``Implementation of a geometry theorem
proving package in SCRATCHPAD II'' In Davenport [Dav89] pp246-257
ISBN 3-540-51517-8 LCCN QA155.7.E4E86 1987
+
\bibitem[KN94]{KN94}
G. Keady and G. Nolan ``Production of Argument SubPrograms in the AXIOM -- NAG
link: examples involving nonleanr systems'' Technical Report TR1/94
ATR/7 (NP2680), Numerical Algorithms Group, Inc., Downer's Grove, IL, USA and
Oxford, UK, 1994\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[Kos91]{Kos91}
P.-V. Koseleff ``Word games in free Lie algebras: several bases and formulas''
Theoretical Computer Science 79(1) pp241-256 Feb. 1991 CODEN TCSCDI
ISSN 0304-3975
+
+\subsection{L} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Lah08]{Lah08}
Lahey, Tim "Sage Integration Testing"\\
\verb|http://github.com/tjl/sage_int_testing| Dec. 2008
+
\bibitem[Lam91]{Lam91}
L. A. Lambe ``Resolutions via homological perturbation'' Journal of Symbolic
Computation 12(1) pp71-87 July 1991 CODEN JSYCEH ISSN 0747-7171
+
\bibitem[Lam92]{Lam92}
Larry Lambe
``Next Generation Computer Algebra Systems AXIOM and the Scratchpad
Concept: Applications to Research in Algebra''
$21^{st}$ Nordic Congress of Mathematicians 1992\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Lam93]{Lam93}
Larry Lambe
``On Using Axiom to Generate Code'' (preprint) 1993\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[LL93]{LL93}
Larry Lambe and Richard Luczak
``Object-Oriented Mathematical Programming and Symbolic/Numeric Interface''
$3^{rd}$ International Conf. on Expert Systems in Numerical Computing 1993\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[LeB91]{LeB91}
S.E.LeBlanc. ``The use of MathCAD and Theorist in the ChE classroom'' In
Anonymous [Ano91], pp287-299 (vol. 1) 2 vols.
+
\bibitem[Leb08]{Leb08}
Lebedev, Yuri
``OpenMath Library for Computing on Riemann Surfaces''
PhD thesis, Nov 2008 Florida State University\\
\verb|www.math.fsu.edu/~ylebedev/research/HyperbolicGeometry.html|
+
\bibitem[Le96]{Le96}
Lecerf, Gr\'egoire
``Dynamic Evaluation and Real Closure Implementation in Axiom''
June 29, 1996 \\
\verb|www.math.uvsq.fr/~lecerf/software/drc/drc.ps|
+
\bibitem[Leexx]{Leexx}
Andr\'e M.A. van Leeuwen
``Representation of mathematical object in interactive books''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Lev95]{Lev95}
A. H. M. Levelt, editor ISSAC '95: Proceedings of the 1995 International
Symposium on Symbolic and Algebraic Computation: July 10-12, 1995, Montreal,
Canada ISSAC-PROCEEDINGS-1995. ACM Press, New York, NY 10036, USA, 1995
ISBN 0-89791-699-9 LCCN QA76.95 I59 1995 ACM order number 505950
+
\bibitem[Lin93]{Lin93}
Linton, Steve
``Vector Enumeration Programs, version 3.04''\\
\verb|www.cs.st-andrews.ac.uk/~sal/nme/nme_toc.html#SEC1|
+
\bibitem[LD97]{LD97}
Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester,
Franz Winkler "Computer Algebra - algorithms, systems and applications''
June 2, 1997 \\
\verb|kfe.fjfi.cvut.cz/~liska/ca/all.html|
+
\bibitem[LM91]{LM91}
R. Lynch and H. A. Mavromatis ``New quantum mechanical perturbation technique
using an 'electronic scratchpad' on an inexpensive computer'' American
Journal of Pyhsics, 59(3) pp270-273, March 1991. CODEN AJPIAS ISSN 0002-9505
+
\bibitem[LM06]{LM06}
Li, Xin, and Maza, Moreno ``Efficient Implementation of Polynomial
Arithmetic in a Multiple-Level Programming Environment'' Lecture Notes in
Computer Science Springer Vol 4151/2006 ISBN 978-3-540-38084-9 pp12-23
Proceedings of International Congress of Mathematical Software ICMS 2006\\
\verb|www.csd.uwo.ca/~moreno//Publications/Li-MorenoMaza-ICMS-06.pdf|
+
\bibitem[Luc86]{Luc86}
Michael Lucks ``A fast implementation of polynomial factorization'' In
Bruce W. Char, editor, Proceedings of the 1986 Symposium on Symbolic
and Algebraic Computation: SYMSAC '86, July 21-23, 1986, Waterloo, Ontario,
pp228-232 ACM Press, New York, NY 10036, USA, 1986. ISBN 0-89791-199-7
LCCN QA155.7.E4 A281 1986 ACM order number 505860
+
\bibitem[Lue77]{Lue77}
E. Lueken ``Ueberlegungen zur Implementierung eines Formelmanipulationssystems
Master's thesis, Technischen Universit{\"{a}}t Carolo-Wilhelmina zu
Braunschweig. Braunschweig, Germany, 1977
+
+\subsection{M} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Mah05]{Mah05}
Mahboubi, Assia, ``Programming and certifying the CAD algorithm inside the
coq system'' Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl
Seminar Proceedings, Schloss Dagstuhl (2005)
+
\bibitem[Mat89]{Mat89}
J. Mathews ``Symbolic computational algebra applied to Picard iteration''
Mathematics and computer education, 23(2) pp117-122 Spring 1989 CODEN MCEDDA,
ISSN 0730-8639
+
\bibitem[McJ11]{McJ11}
McJones, Paul ``Software Presentation Group -- Common Lisp family''\\
\verb|www.softwarepreservation.org/projects/LISP/common_lisp_family|
+
\bibitem[Mio90]{Mio90}
A. Miola, editor. Design and Implementation of Symbolic Computation Systems,
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings
@@ -1072,16 +1296,19 @@ volume 429 of Lecture Notes in Cmputer Science,
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1990 ISBN 0-387-52531-9 (New York), 3-540-52531-9 (Berlin) LCCN QA76.9.S88I576
1990
+
\bibitem[Mio93]{Mio93}
A. Miola, editor. Design and Implementation of Symbolic Computation Systems,
International Symposium DISCO '93 Gmunden, Austria, September 15-17, 1993:
Proceedings.
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1993 ISBN 3-540-57235-X LCCN QA76.9.S88I576 1993
+
\bibitem[Mon93]{Mon93}
M. B. Monagan ``Gauss: a parameterized domain of computation system with
support for signature functions''. In Miola [Mio93], pp81-94
ISBN 3-540-57235-X LCCN QA76.9.S88I576 1993
+
\bibitem[Mor89]{Mor89}
T. Mora, editor Applied Algebra, Algebraic Algorithms and Error-Correcting
Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1998,
@@ -1089,164 +1316,214 @@ Proceedings, volume 357 of Lecture Notes in Computer Science
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1989 ISBN 3-540-51083-4, LCCN QA268.A35 1988 Conference held jointly with
ISSAC '88
+
\bibitem[Mos71]{Mos71}
Moses, Joel ``Algebraic Simplification: A Guide for the Perplexed''
CACM August 1971 Vol 14 No. 8 pp527-537
+
\bibitem[MR90]{MR90}
E. Melachrinoudis and D. L. Rumpf ``Teaching advantages of transparent computer
software -- MathCAD'' CoED, 10(1) pp71-76, January-March 1990 CODEN CWLJDP
ISSN 0736-8607
+
+\subsection{N} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[NPxx]{NPxx}
William Naylor, Julian Padget
``From Untyped to Polymorphically Typed Objects in Mathematical Web
Services''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Nor75]{Nor75}
A. C. Norman ``Computing with formal power series'' ACM Transactions on
Mathematical Software, 1(4) pp346-356 Dec. 1975 CODEN ACMSCU ISSN 0098-3500
+
\bibitem[Nor75a]{Nor75a}
Norman, A.C. ``The SCRATCHPAD Power Series Package''
IBM T.J. Watson Research RC4998
+
\bibitem[OpenMa]{OpenMa}
``OpenMath Technical Overview''\\
\verb|www.openmath.org/overview/technical.html|
+
+\subsection{O} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Oll89]{Oll89}
F. Ollivier ``Inversibility of rational mappings and structural
identifiablility in automatics'' In ACM [ACM89], pp43-54 ISBN 0-89791-325-6
LCCN QA76.95.I59 1989
+
\bibitem[Onl72]{Onl72}
Online 72: conference proceedings ... international conference on online
interactive computing, Brunel University, Uxbridge, England, 4-7 September
1972 ISBN 0-903796-02-3 LCCN QA76.55.O54 1972 Two volumes.
+
+\subsection{P} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Pa07]{Pa07}
Page, William S. ``Axiom - Open Source Computer Algebra System'' Poster
ISSAC 2007 Proceedings Vol 41 No 3 Sept 2007 p114
+
\bibitem[Pet71]{Pet71}
S. R. Petric, editor. Proceedings of the second symposium on Symbolic and
Algebraic Manipulation, March 23-25, 1971, Los Angeles, California, ACM Press,
New York, NY 10036, USA, 1971. LCCN QA76.5.S94 1971
+
\bibitem[Pet90]{Pet90}
Michel Petitot
``Types r\'ecursifs en scratchpad, application aux polyn\^omes non
commutatifs''
LIFL, 1990
+
\bibitem[Pet93]{Pet93}
M. Petitot ``Experience with Axiom'' In Jacob et al. [JOS93], page 240
+
\bibitem[PT99]{PT99}
Erik Poll, Simon Thompson
``The Type System of Aldor''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[PT00]{PT00}
Erik Poll, Simon Thompson
``Integrating Computer Algebra and Reasoning through the Type System
of Aldor''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[PTxx]{PTxx}
Erik Poll, Simon Thompson
``Adding the axioms to Axiom. Toward a system of automated reasoning in
Aldor''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Polxx]{Polxx}
Erik Poll
``The type system of Axiom''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Pur86]{Pur86}
J. Purtilo ``Applications of a software interconnection system in mathematical
problem solving environments'' In Bruce W. Char, editor. Proceedings of the
1986 Symposium on Symbolic and Algebraic Computation: SYMSAC '86, July 21-23,
ACM Press, New York, NY 10036, USA, 1986. ISBN 0-89791-199-7 LCCN QA155.7.E4
A281 1986 ACM order number 505860
-\bibitem[CCxx]{CCxx}
-Quentin Carpent, Christophe Conil
-``Utilisation de logiciels libres pour la r\'ealisation de TP MT26'' (2004)\\
-\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
+\subsection{R} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Rob93]{Rob93}
Nicolas Robidoux
``Does Axiom Solve Systems of O.D.E's Like Mathematica?''
July 1993\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Rio92]{Rio92}
R. Rioboo ``Real algebraic closure of an ordered field, implementation in
Axiom'' In Wang [Wan92], pp206-215 ISBN 0-89791-489-9 (soft cover)
0-89791-490-2 (hard cover) LCCN QA76.95.I59 1992\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Roe95]{Roe95}
K. G. Roesner ``Verified solutions for parameters of an exact solution for
non-Newtonian liquids using computer algebra'' Zeitschrift fur Angewandte
Mathematik und Physik, 75 (suppl. 2):S435-S438, 1995 ISSN 0044-2267
+
+\subsection{S} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Sal89]{Sal89}
B. Salvy ``Examples of automatic asymptotic expansions'' Technical Report 114,
Inst. Nat. Recherche Inf. Autom., Le Chesnay, France, Dec. 1989 18pp
+
\bibitem[Sal91]{Sal91}
B. Salvy ``Examples of automatic asymptotic expansions'' SIGSAM Bulletin (ACM
Special Interest Group on Symbolic and Algebraic Manipulation), 25(2) pp4-17
April 1991 CODEN SIGSBZ ISSN 0163-5824
+
\bibitem[Sch88]{Sch88}
F. Schwarz ``Programming with abstract data types: the symmetry package SPDE
in Scratchpad'' In Jan{\ss}en [Jan88], pp167-176, ISBN 3-540-18928-9,
0-387-18928-9 LCCN QA155.7.E4T74 1988
+
\bibitem[Sch89]{Sch89}
F. Schwarz ``A factorization algorithm for linear ordinary differential
equations'' In ACM [ACM89], pp17-25 ISBN 0-89791-325-6 LCCN QA76.95.I59 1989
+
\bibitem[Sch91]{Sch91}
F. Schwarz ``Monomial orderings and Gr{\"o}bner bases'' SIGSAM Bulletin (ACM
Special Interest Group on Symbolic and Algebraic Manipulation) 2591) pp10-23
Jan. 1991 CODEN SIGSBZ ISSN 0163-5824
+
\bibitem[SDJ07]{SDJ-7}
Smith, Jacob; Dos Reis, Gabriel; and Jarvi, Jaakko
``Algorithmic differentiation in Axiom''
ACM SIGSAM ISSAC Proceedings 2007 Waterloo, Canada 2007 pp347-354
ISBN 978-1-59593-743-8
+
\bibitem[Sei94a]{Sei94a}
W. M. Seiler ``Completion to involution in AXIOM'' in Calmet [Cal94] pp103-104
+
\bibitem[Sie94b]{Sie94b}
W. M. Seiler ``Pseudo differential operators and integrable systems in AXIOM''
Computer Physics Communications, 79(2) pp329-340 April 1994 CODEN CPHCBZ
ISSN 0010-4655\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Sei95]{Sei95}
W.M.Seiler ``Applying AXIOM to partial differential equations''
Internal Report 95-17, Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik
1995\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[SC95]{SC95}
W.M. Seiler and J. Calmet
``JET -- An Axiom Environment for Geometric Computations with Differential
Equations''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Seixx]{Seixx}
Seiler, Werner M.
``DETools: A Library for Differential Equations''\\
\verb|iaks-www.ira.uka.de/iaks-calmet/werner/werner.html|
+
\bibitem[Sch92]{Sch92}
J. Sch\"u ``Implementing des Cartan-Kuranishi-Theorems in AXIOM''
Master's diploma thesis (in german), Institut f\"ur Algorithmen und
Kognitive Systeme, Universit\"t Karlsruhe 1992
+
\bibitem[Sit89]{Sit89}
W. Y. Sit ``On Goldman's algorithm for solving first-order multinomial
autonomous systems'' In Mora [Mor89], pp386-395 ISBN 3-540-51083-4
LCCN QA268.A35 1998 Conference held jointly with ISSAC '88
+
\bibitem[Sit92]{Sit92}
W. Y. Sit ``An algorithm for solving parametric linear systems'' Journal
of Symbolic Computations, 13(4) pp353-394, April 1992 CODEN JSYCEH
ISSN 0747-7171
+
\bibitem[SJ87a]{SJ87a}
R. S. Sutor and R. D. Jenks ``The type inference and coercion facilities in
the Scratchpad II interpreter'' In Wexelblat [Wex87], pp56-63
ISBN 0-89791-235-7 LCCN QA76.7.S54 v22:7 SIGPLAN Notices, v22 n7 (July 1987)\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[SJ87c]{SJ87c}
Robert S. Sutor and Richard Jenks ``The type inference and coercion facilities
in the Scratchpad II interpreter'' Research report RC 12595 (\#56575),
IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA, 1987, 11pp
+
\bibitem[Su87]{Su87}
Sutor, Robert S. ``The Scratchpad II Computer Algebra System. Using and
Programming the Interpreter'' IBM Course presentation slide deck
Spring 1987
+
\bibitem[Su88]{Su88}
Robert S. Sutor
``A guide to programming in the scratchpad 2 interpreter''
IBM Manual, March 1988
+
\bibitem[Sme92]{Sme92}
Trevor J. Smedley ``Using pictorial and object oriented programming for
computer algebra'' In Hal Berghel et al., editors. Applied computing --
@@ -1254,1014 +1531,1355 @@ technologicial challenges of the 199s: proceedings of the 1992 ACM/SIGAPP
Symposium on Applied Computing, Kansas City Convention Center, March 1-3, 1992
pp1243-1247. ACM Press, New York, NY 10036, USA, 1992. ISBN 0-89791-502-X
LCCN QA76.76.A65 S95 1992
+
\bibitem[SS88]{SS88}
D. Shannon and M. Sweedler. ``Using Gr{\"o}bner bases to determine algebra
membership, split surjective algebra homomorphisms determine birational
equivalence'' Journal of Symbolic Computation 6(2-3) pp267-273
Oct.-Dec. 1988 CODEN JSYCEH ISSN 0747-7171
+
\bibitem[SSC92]{SSC92}
``Algorithmic Methods For Lie Pseudogroups''
In N. Ibragimov, M. Torrisi and A. Valenti, editors, Proc. Modern Group
Analysis: Advanced Analytical and Computational Methods in Mathematical
Physics, pp337-344, Acireale (Italy), 1992 Kluwer, Dordrecht 1993\\
\verb|iaks-www.ira.uka.de/iaks-calmet/werner/Papers/Acireale92.ps.gz|
+
\bibitem[SSV87]{SSV87}
P. Senechaud, F. Siebert, and G. Villard ``Scratchpad II: Pr{\'e}sentation
d'un nouveau langage de calcul formel'' Technical Report 640-M, TIM 3 (IMAG),
Grenoble, France, Feb 1987
+
\bibitem[Sut85]{Sut85}
R. S. Sutor ``The Scratchpad II computer algebra language and system'' In
Buchberger and Caviness [BC85], pp32-33 ISBN 0-387-15983-5 (vol. 1),
0-387-15984-3 (vol. 2) LCCN QA155.7.E4 E86 1985 Two volumes.
+
+\subsection{T} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Tho00]{Tho00}
Simon Thompson
``Logic and dependent types in the Aldor Computer Algebra System''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[TTxx]{TTxx}
Simon Thompson and Leonid Timochouk
``The Aldor\-\- language''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Tou98]{Tou98}
Emmanuel Touratier
``Etude du typage dans le syst\`eme de calcul scientifique Aldor''
Universit\'e de Limoges 1998\\
+
+\subsection{V} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[vH94]{vH94}
M. van Hoeij ``An algorithm for computing an integral basis in an algebraic
function field'' Journal of Symbolic Computation, 18(4) pp353-363 Oct. 1994
CODEN JSYCEH ISSN 0747-7171
+
+\bibitem[Vas99]{Vas99}
+Wolmer Vasconcelos
+``Computational Methods in Commutative Algebra and Algebraic Geometry''
+Springer, Algorithms and Computation in Mathematics, Vol 2 1999
+ISBN 3-540-21311-2
+
+\subsection{W} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Wan89]{Wan89}
D. Wang ``A program for computing the Liapunov functions and Liapunov
constants in Scratchpad II'' SIGSAM Bulletin (ACM Special Interest Group
on Symbolic and Algebraic Manipulation), 23(4) pp25-31, Oct. 1989,
CODEN SIGSBZ ISSN 0163-5824
+
\bibitem[Wan91]{Wan91}
Dongming Wang, ``Mechanical manipulation for a class of differential
systems'' Journal of Symbolic Computation, 12(2) pp233-254 Aug. 1991
CODEN JSYCEH ISSN 0747-7171
+
\bibitem[Wan92]{Wan92}
Paul S. Wang, editor. International System Symposium on Symbolic and
Algebraic Computation 92 ACM Press, New York, NY 10036, USA, 1992
ISBN 0-89791-489-9 (soft cover), 0-89791-490-2 (hard cover),
LCCN QA76.95.I59 1992
+
\bibitem[Wat89]{Wat89}
S. M. Watt ``A fixed point method for power series computation'' In Gianni
[Gia89], pp206-217 ISBN 3-540-51084-2 LCCN QA76.95.I57 1988 Conference held
jointly with AAECC-6
+
\bibitem[Wat91]{Wat91}
Stephen M. Watt, editor Proceedings of the 1991 International Symposium on
Symbolic and Algebraic Computation, ISSAC'91, July 15-17, 1991, Bonn, Germany,
ACM Press, New York, NY 10036, USA, 1991 ISBN 0-89791-437-6
LCCN QA76.95.I59 1991
+
\bibitem[Wat94]{Wat94}
Watt, Stephen M., Broadbery, Peter A., Dooley, Samuel S., and Iglio, Pietro
``A First Report on the A\# Compiler (including benchmarks)''
IBM Research Report RC19529 (85075) May 12, 1994\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Wat94a]{Wat94a}
Watt, Stephen M., et. al. ``A\# User's Guide''
Version 1.0.0 O($\epsilon{}^1$) June 8, 1994
+
+\bibitem[Wat94c]{Wat94c}
+Stephen M. Watt
+``A\# Language Reference Version 0.35''
+IBM Research Division Technical Report RC19530 May 1994
+
\bibitem[Wat95]{Wat95}
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, J.M. Steinbach,
S.C. Morrison, R.S. Sutor
``AXIOM Library Compiler Users Guide''
The Numerical Algorithms Group (NAG) Ltd, 1994
+
\bibitem[WJ12]{WJ12}
Wei-Jiang
``Top free algebra System''\\
\verb|wei-jiang.com/it/software/top-free-algebra-system-bye-mathematica-bye-maple|
+
\bibitem[WJST90]{WJST90}
S.M. Watt, R.D. Jenks, R.S. Sutor, and B.M. Trager. ``The Scratchpad II
type system: Domains and subdomains'' in A.M. Miola, editor Computing Tools
for Scientific Problem Solving, Academic Press, New York, 1990
+
\bibitem[Web93]{Web93}
A. Weber. ``On coherence in computer algebra'' In Miola [Mio93], pp95-106
ISBN 3-540-57235-X LCCN QA76.9.S88I576 1993
+
\bibitem[Web94]{Web94}
Andreas Weber
``Algorithms for Type Inference with Coercions''
ISSAC 94 ACM 0-89791-638-7/94/0007\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Wes99]{Wes99}
Wester, Michael J. ``Computer Algebra Systems''
John Wiley and Sons 1999 ISBN 0-471-98353-5
+
\bibitem[Wex87]{Wex87}
Richard L. Wexelblat, editor. Proceedings of the SIGPLAN '87 Symposium on
Interpreter and Interpretive Techniques, St. Paul, Minnesota, June 24-26, 1987
ACM Press, New York, NY 10036, USA, 1987 ISBN 0-89791-235-7
LCCN QA76.7.S54 v22:7 SIGPLAN Notices, vol 22, no 7 (July 1987)
+
\bibitem[WN90]{WN90}
Shunro Watanabe and Morio Nagata, editors. ISSAC '90 Proceedings of the
International Symposium on Symbolic and Algebraic Computation ACM Press,
New York, NY, 10036, USA. 1990 ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
+
\bibitem[WWW1]{WWW1}
Software Preservation Group\\
\verb|www.softwarepresentation.org/projects/LISP/common_lisp_family|
+
+\subsection{Y} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Yap00]{Yap00}
Yap, Chee Keng ``Fundamental Problems of Algorithmic Algebra''
Oxford University Press (2000) ISBN0-19-512516-9
+
\bibitem[You04]{You04}
Saul Youssef
``Prospects for Category Theory in Aldor'' October 2004\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Yun83]{Yun83}
Yun, David Y.Y. ``Computer Algebra and Complex Analysis''
Computational Aspects of Complex Analysis pp379-393
D. Reidel Publishing Company H. Werner et. al. (eds.)
+
+\subsection{Z} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Zen92]{Zen92}
Ch. Zenger. ``Gr{\"o}bnerbasen f{\"u}r Differentialformen und ihre
Implementierung in AXIOM, Diplomarbeit, Universit{\"a}t Karlsruhe,
Karlsruhe, Germany, 1992
-\end{thebibliography}
+\bibitem[Zip92]{Zip92}
+Richard Zippel
+``Algebraic Computation'' (unpublished)
+Cornell University Ithaca, NY Sept 1992
+
+\bibitem[Zwi92]{Zwi92}
+Daniel Zwillinger
+``Handbook of Integration''
+Jones and Bartlett, 1992, ISBN 0-86720-293-9
+
+\newpage
\section{Axiom Citations of External Sources}
-\begin{thebibliography}{999}
+
+\subsection{A} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Ab98]{Ab98}
Ablamowicz Rafal, ``Spinor Representations of Clifford
Algebras: A Symbolic Approach'', Computer Physics Communications
Vol. 115, No. 2-3, December 11, 1998, pages 510-535.
+
\bibitem[AS64]{AS64}
Abramowitz, Milton and Stegun, Irene A.
``Handbook of Mathematical Functions'' (1964) Dover Publications, NY
ISBN 0-486-61272-4
+
\bibitem[AS68]{AS68}
Abramowitz M and Stegun I A,
``Handbook of Mathematical Functions''
Dover Publications. (1968)
+
\bibitem[Alt05]{Alt05}
Altmann, Simon L. Rotations, Quaternions, and Double Groups
Dover Publications, Inc. 2005 ISBN 0-486-44518-6
+
\bibitem[Ames77]{Ames77}
Ames W F,
``Nonlinear Partial Differential Equations in Engineering''
Academic Press (2nd Edition). (1977)
+
\bibitem[Amos86]{Amos86}
Amos D E,
``Algorithm 644: A Portable Package for Bessel Functions of a Complex
Argument and Nonnegative Order''
ACM Trans. Math. Softw. 12 265--273. (1986)
+
\bibitem[And00]{And00}
Anderson, Edward
``Discontinuous Plane Rotations and the Symmetric Eigenvalue Problem''
LAPACK Working Note 150, University of Tennessee, UT-CS-00-454,
December 4, 2000.
+
\bibitem[ACH82]{ACH82}
Anthony G T, Cox M G and Hayes J G,
``DASL - Data Approximation Subroutine Library''
National Physical Laboratory. (1982)
+
\bibitem[ALM99]{ALM99}
P. Aubry, D. Lazard, and M. Moreno Maza
``On the Theories of Triangular Sets''
Journal of Symbolic Computation 1999 Vol 28 pp105-124
+
+\subsection{B} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Bai66]{Bai66}
Bailey P B,
``Sturm-Liouville Eigenvalues via a Phase Function''
SIAM J. Appl. Math . 14 242--249. (1966)
+
\bibitem[BGM96]{BGM96}
George A. Baker and Peter Graves-Morris
``Pade Approximants''
Cambridge University Press, March 1996 ISBN 9870521450072
+
\bibitem[Ba10]{Ba10}
Baker, Martin ``3D World Simulation''\\
\verb|www.euclideanspace.com|
+
\bibitem[BK68]{BK68}
Banks D O and Kurowski I,
``Computation of Eigenvalues of Singular Sturm-Liouville Systems''
Math. Computing. 22 304--310. (1968)
+
\bibitem[Bard74]{Bard74}
Bard Y, ``Nonlinear Parameter Estimation'' Academic Press. 1974
+
\bibitem[BR73]{BR73}
Barrodale I and Roberts F D K,
``An Improved Algorithm for Discrete $ll_1$ Linear Approximation''
SIAM J. Numer. Anal. 10 839--848. (1973)
+
\bibitem[BR74]{BR74}
Barrodale I and Roberts F D K,
``Solution of an Overdetermined System of Equations in the $ll_1-norm$.''
Comm. ACM. 17, 6 319--320. (1974)
+
\bibitem[Bea92]{Bea92}
Bernard Beauzamy, ``Products of polynomials and a priori estimates for
coefficients in polynomial decompositions: a sharp result''
J. Symbolic Computation (1992) 13, 463-472
+
\bibitem[Bea93]{Bea93}
Bernard Beauzamy, Vilmar Trevisan and Paul S. Wang,
``Polynomial Factorization: Sharp Bounds, Efficient Algorithms''
J. Symbolic Computation (1993) 15, 393-413
+
\bibitem[Ber95]{Ber95}
Laurent Bertrand. Computing a hyperelliptic integral using
arithmetic in the jacobian of the curve. {\sl Applicable Algebra in
Engineering, Communication and Computing}, 6:275-298, 1995
+
\bibitem[BBG87]{BBG87}
Berzins M, Brankin R W and Gladwell I,
``Design of the Stiff Integrators in the NAG Library''
Technical Report. TR14/87 NAG. (1987)
+
\bibitem[Ber90]{Ber90}
Berzins M,
``Developments in the NAG Library Software for Parabolic Equations''
Scientific Software Systems. (ed J C Mason and M G Cox)
Chapman and Hall. 59--72. (1990)
+
\bibitem[BR62]{BR62}
Birkhoff G and Rota G C,
``Ordinary Differential Equations''
Ginn \& Co., Boston and New York. (1962)
+
\bibitem[Boyd93a]{Boyd93a}
David W. Boyd, ``Bounds for the Height of a Factor of a Polynomial in
Terms of Bombieri's Norms: I. The Largest Factor''
J. Symbolic Computation (1993) 16, 115-130
+
\bibitem[Boyd93b]{Boyd93b}
David W. Boyd, ``Bounds for the Height of a Factor of a Polynomial in
Terms of Bombieri's Norms: II. The Smallest Factor''
J. Symbolic Computation (1993) 16, 131-145
+
\bibitem[BBM02a]{BBM02a}
K. Braman, R. Byers and R. Mathias, The Multi-Shift QR
Algorithm Part I: Maintaining Well Focused Shifts, and Level 3
Performance, SIAM Journal of Matrix Analysis, volume 23, pages
929--947, 2002.
+
\bibitem[BBM02b]{BBM02b}
K. Braman, R. Byers and R. Mathias, The Multi-Shift QR
Algorithm Part II: Aggressive Early Deflation, SIAM Journal
of Matrix Analysis, volume 23, pages 948--973, 2002.
+
\bibitem[Bre75]{Bre75}
R. P. Brent, ``Multiple-Precision Zero-Finding Methods and the Complexity
of Elementary Function Evaluation, Analytic Computational Complexity''
J. F. Traub, Ed., Academic Press, New York 1975, 151-176
+
\bibitem[BK78]{BK78}
R. P. Brent and H. T. Kung,
``Fast Algorithms for Manipulating Formal Power Series''
Journal of the Association for Computing Machinery,
Vol. 25, No. 4, October 1978, 581-595
+
\bibitem[Bri73]{Bri73}
Brigham E O, ``The Fast Fourier Transform'' Prentice-Hall. (1973)
+
\bibitem[Bri69]{Bri69}
John Brillhart, ``On the Euler and Bernoulli polynomials''
J. Reine Angew. Math., v. 234, (1969), pp. 45-64
+
\bibitem[Bri90]{Bri90}
John Brillhart, ``Note on Irreducibility Testing''
Mathematics of Computation, vol. 35, num. 35, Oct. 1980, 1379-1381
+
\bibitem[Bro88]{Bro88}
Bronstein, Manual ``The Transcendental Risch Differential Equation''
J. Symbolic Computation (1990) 9, pp49-60 Feb 1988
+
\bibitem[Bro88a]{Bro88a}
Bronstein, Manual ``The Transcendental Risch Differential Equation''
IBM Research Report RC13460 IBM Corp. Yorktown Heights, NY
+
\bibitem[Bro90a]{Bro90a}
Bronstein, Manuel ``Integration of Elementary Functions''
J. Symbolic Computation (199) 9, pp117-173 September 1988
+
\bibitem[Bro98b]{Bro98b}
Bronstein, Manuel "Symbolic Integration Tutorial"
INRIA Sophia Antipolis ISSAC 1998 Rostock
+
\bibitem[Bro90c]{Bro90c}
M. Bronstein. ``On the integration of elementary functions''
{\sl Journal of Symbolic Computation} 9(2):117-173, February 1990
+
\bibitem[REF-BS93]{REF-BS93}
Manuel Bronstein and Bruno Salvy ``Full partial fraction decomposition of
rational functions'' In Bronstein [Bro93] pp157-160 ISBN 0-89791-604-2
LCCN QA76.95 I59 1993\\
\verb|http://www.acm.org/pubs/citations/proceedings/issac/164081/|
+
\bibitem[Bro97]{Bro97}
M. Bronstein. {\sl Symbolic Integration I--Transcendental Functions.}
Springer, Heidelberg, 1997 ISBN 3-540-21493-3
+
\bibitem[REF-Bro98]{REF-Bro98}
M. Bronstein. ``The lazy hermite reduction'' Rapport de
Recherche RR-3562, INRIA, 1998
+
+\subsection{C} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Car65]{Car65}
Carlson B C,
``On Computing Elliptic Integrals and Functions''
J Math Phys. 44 36--51. (1965)
+
\bibitem[Car77a]{Car77a}
Carlson B C,
``Elliptic Integrals of the First Kind'' SIAM J Math Anal. 8 231--242. (1977)
+
\bibitem[Car77b]{Car77b}
Carlson B C,
``Special Functions of Applied Mathematics'' Academic Press. (1977)
+
\bibitem[Car78]{Car78}
Carlson B C,
``Computing Elliptic Integrals by Duplication.''
(Preprint) Department of Physics, Iowa State University. (1978)
+
\bibitem[Car88]{Car88}
Carlson B C,
``A Table of Elliptic Integrals of the Third Kind''
Math. Comput. 51 267--280. (1988)
+
\bibitem[Cau1829]{Cau1829}
Augustin-Lux Cauchy, ``Exercices de Math\'ematiques Quatri\`eme Ann\'ee.
De Bure Fr\`eres'' Paris 1829 (reprinted Oeuvres, II S\'erie, Tome IX,
Gauthier-Villars, Paris, 1891).
+
\bibitem[CSDDN79]{CSDDN79}
Childs B, Scott M, Daniel J W, Denman E and Nelson P (eds) (1979)
``Codes for Boundary-value Problems in Ordinary Differential Equations''
Lecture Notes in Computer Science. 76 (1979) Springer-Verlag
+
\bibitem[Cla89]{Cla89}
M. Clausen, A. Fortenbacher,
``Efficient Solution of Linear Diophantine Equations''
JSC (1989) 8, 201-216
+
\bibitem[Cle55]{Cle55}
Clenshaw C W,
``A Note on the Summation of Chebyshev Series''
Math. Tables Aids Comput. 9 118--120. (1955)
+
\bibitem[Cle60]{Cle60}
Clenshaw C W, ``Curve Fitting with a Digital Computer''
Comput. J. 2 170--173. (1960)
+
\bibitem[Cle62]{Cle62}
Clenshaw C W,
``Mathematical Tables. Chebyshev Series for Mathematical Functions''
HMSO. (1962)
+
\bibitem[CR84]{CR84}
Cline A K and Renka R L,
``A Storage-efficient Method for Construction of a Thiessen Triangulation''
Rocky Mountain J. Math. 14 119--139. (1984)
+
\bibitem[CCNPW87]{CCNPW87}
J. Conway, R. Curtis, S. Norton, R. Parker, R. Wilson
``Atlas of Finite Groups''
Oxford, Clarendon Press, 1987
+
\bibitem[CS03]{CS03}
Conway, John H. and Smith, Derek, A., ``On Quaternions and Octonions''
A.K Peters, Natick, MA. (2003) ISBN 1-56881-134-9
+
\bibitem[Cox72]{Cox72}
Cox M G, ``The Numerical Evaluation of B-splines''
J. Inst. Math. Appl. 10 134--149. (1972)
+
\bibitem[Cox74a]{Cox74a}
Cox M G,
``A Data-fitting Package for the Non-specialist User''
Software for Numerical Mathematics. (ed D J Evans) Academic Press. (1974)
+
\bibitem[Cox74b]{Cox74b}
Cox M G,
``Numerical methods for the interpolation and approximation of data
by spline functions''
PhD Thesis. City University, London. (1975)
+
\bibitem[Cox75]{Cox75}
Cox M G,
``An Algorithm for Spline Interpolation''
J. Inst. Math. Appl. 15 95--108. (1975)
+
\bibitem[Cox77]{Cox77}
Cox M G,
``A Survey of Numerical Methods for Data and Function Approximation''
The State of the Art in Numerical Analysis. (ed D A H Jacobs)
Academic Press. 627--668. (1977)
+
\bibitem[Cox78]{Cox78}
Cox M G,
``The Numerical Evaluation of a Spline from its B-spline Representation''
J. Inst. Math. Appl. 21 135--143. (1978)
+
\bibitem[CH73]{CH73}
Cox M G and Hayes J G (1973)
``Curve fitting: a guide and suite of algorithms for the non-specialist user''
Report NAC26. National Physical Laboratory.
+
\bibitem[CPR74]{CPR74}
Curtis A R, Powell M J D and Reid J K,
``On the Estimation of Sparse Jacobian Matrices''
J. Inst. Maths Applics. 13 117--119. (1974)
+
+\subsection{D} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[DB74]{DB74}
Dahlquist G and Bjork A, ``Numerical Methods'' Prentice- Hall. (1974)
+
\bibitem[DA98]{DA98}
Dalmas, Stephane and Arsac, Olivier ``The INRIA OpenMath Library''
Projet SAFIR, INRIA Sophia Antipolis Nov 25, 1998
+
\bibitem[Dan63]{Dan63}
Dantzig G B,
``Linear Programming and Extensions'' Princeton University Press. (1963)
+
\bibitem[Dav]{Dav}
James Davenport, ``On Brillhart Irreducibility.'' To appear.
+
\bibitem[REF-Dav93]{Ref-Dav93}
J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93
(ATR/6)(NP2556) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA
and Oxford, UK, August 1993\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
\bibitem[DR75]{DR75}
Davis P J and Rabinowitz P,
``Methods of Numerical Integration''
Academic Press. (1975)
+
\bibitem[DR67]{DR67}
Davis P J and Rabinowitz P, (1967)
``Numerical Integration''
Blaisdell Publishing Company. 33--52. (1967)
+
\bibitem[DeB72]{DeB72}
De Boor C,
``On Calculating with B-splines''
J. Approx. Theory. 6 50--62. (1972)
+
\bibitem[DeD78]{DeD78}
De Doncker E,
``An Adaptive Extrapolation Algorithm for Automatic Integration''
Signum Newsletter. 13 (2) 12--18. (1978)
+
\bibitem[Dem89]{Dem89}
Demmel J W,
``On Floating-point Errors in Cholesky''
LAPACK Working Note No. 14. University of Tennessee, Knoxville. 1989
+
\bibitem[DM77]{DM77}
Dennis J E Jr and More J J
``Quasi-Newton Methods, Motivation and Theory''
SIAM Review. 19 46--89. 1977
+
\bibitem[DS81]{DS81}
Dennis J E Jr and Schnabel R B
``A New Derivation of Symmetric Positive-Definite Secant Updates''
Nonlinear Programming 4. (ed O L Mangasarian, R R Meyer and S M. Robinson)
Academic Press. 167--199. (1981)
+
\bibitem[DS83]{DS83}
Dennis J E Jr and Schnabel R B
``Numerical Methods for Unconstrained Optimixation and Nonlinear Equations''
Prentice-Hall.(1983)
+
\bibitem[Die75]{Die75}
Dierckx P,
``An Algorithm for Smoothing, Differentiating and Integration of
Experimental Data Using Spline Functions''
J. Comput. Appl. Math. 1 165--184. (1975)
+
\bibitem[Die81]{Die81}
Dierckx P,
``An Improved Algorithm for Curve Fitting with Spline Functions''
Report TW54. Dept. of Computer Science, Katholieke Universiteit Leuven. 1981
+
\bibitem[Die82]{Die82}
Dierckx P,
``A Fast Algorithm for Smoothing Data on a Rectangular Grid while using
Spline Functions''
SIAM J. Numer. Anal. 19 1286--1304. (1982)
+
\bibitem[DMBS79]{DMBS79}
Dongarra J J, Moler C B, Bunch J R and Stewart G W,
``LINPACK Users' Guide''
SIAM, Philadelphia. (1979)
+
\bibitem[DCHH85]{DCHH85}
Dongarra J J, Du Croz J J, Hammarling S and Hanson R J
``A Proposal for an Extended set of Fortran Basic Linear Algebra Subprograms''
SIGNUM Newsletter. 20 (1) 2--18. (1985)
+
\bibitem[REF-DON88]{REF-DON88}
Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson
``An Extended Set of FORTRAN Basic Linear Algebra Subroutines''
ACM Transactions on Mathematical Software, Vol 14, No 1, March 1988,
pp 1-17
+
\bibitem[REF-DON88a]{REF-DON88a}
Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson
``ALGORITHM 656: An Extended Set of Basic Linear Algebra Subprograms:
Model Implementation and Test Programs''
ACM Transactions on Mathematical Software, Vol 14, No 1, March 1988,
pp 18-32
+
\bibitem[REF-DON90]{REF-DON90}
Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff
``A Set of Level 3 Basic Linear Algebra Subprograms''
ACM Transactions on Mathematical Software, Vol 16, No 1, March 1990,
pp 1-17
+
\bibitem[REF-DON90a]{REF-DON90a}
Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff
``ALGORITHM 679: A Set of Level 3 Basic Linear Algebra Subprograms:
Model Implementation and Test Programs''
ACM Transactions on Mathematical Software, Vol 16, No 1, March 1990,
pp 18-28
+
\bibitem[Duc00]{Duc00}
Lionel Ducos ``Optimizations of the subresultant algorithm''
Journal of Pure and Applied Algebra V145 No 2 Jan 2000 pp149-163
+
\bibitem[Duff77]{Duff77}
Duff I S,
``MA28 -- a set of Fortran subroutines for sparse unsymmetric linear
equations''
A.E.R.E. Report R.8730. HMSO. (1977)
+
+\subsection{F} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Fl01]{Fl01}
Fletcher, John P. ``Symbolic processing of Clifford Numbers in C++'',
Paper 25, AGACSE 2001.
+
\bibitem[Fl09]{Fl09}
Fletcher, John P. ``Clifford Numbers and their inverses
calculated using the matrix representation.'' Chemical Engineering and
Applied Chemistry, School of Engineering and Applied Science, Aston
University, Aston Triangle, Birmingham B4 7 ET, U. K. \\
\verb|www.ceac.aston.ac.uk/research/staff/jpf/papers/paper24/index.php|
+
\bibitem[Fle81]{Fle81}
Fletcher R,
``Practical Methods of Optimization''
Vol 2. Constrained Optimization. Wiley. (1981)
+
\bibitem[Flo63]{Flo63}
Floyd, R. W.``Semantic Analysis and Operator Precedence''
JACM 10, 3, 316-333 (1963)
+
\bibitem[For57]{For57}
Forsythe G E,
``Generation and use of orthogonal polynomials for data fitting
with a digital computer''
J. Soc. Indust. Appl. Math. 5 74--88. (1957)
+
\bibitem[REF-For90]{REF-For90}
A. Fortenbacher
``Efficient type inference and coercion in computer algebra''
Design and Implementation of Symbolic Computation Systems (DISCO 90)
A. Miola, (ed) vol 429 of Lecture Notes in Computer Science
Springer-Verlag, pp56-60
+
\bibitem[Fox68]{Fox68}
Fox L and Parker I B,
``Chebyshev Polynomials in Numerical Analysis''
Oxford University Press. (1968)
+
\bibitem[FN80]{FN80}
Franke R and Nielson G, (1980)
``Smooth Interpolation of Large Sets of Scattered Data''
Internat. J. Num. Methods Engrg. 15 1691--1704. (1980)
+
\bibitem[Fri82]{Fri82}
Fritsch F N,
``PCHIP Final Specifications''
Report UCID-30194. Lawrence Livermore National Laboratory. (1982)
+
\bibitem[FB84]{FB84}
Fritsch F N and Butland J,
``A Method for Constructing Local Monotone Piecewise Cubic Interpolants''
SIAM J. Sci. Statist. Comput. 5 300--304. (1984)
+
\bibitem[Fro65]{Fro65}
Froberg C E
``Introduction to Numerical Analysis''
Addison-Wesley. 181--187. (1965)
+
+\subsection{G} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Ga95]{Ga95}
Garcia, A. and Stichtenoth, H.
``A tower of Artin-Schreier extensions of function fields attaining the
Drinfeld-Vladut bound'' Invent. Math., vol. 121, 1995, pp. 211--222.
+
\bibitem[Gat90]{Gat90}
Joachim von zur Gathen,
``Functional Decomposition Polynomials: the Tame Case''
Journal of Symbolic Computation (1990) 9, 281-299
+
+\bibitem[GG99]{GG99}
+Joachim von zur Gathen and J\"urgen Gerhard
+``Modern Computer Algebra''
+Cambridge University Press 1999 ISBN 0-521-64176-4
+
\bibitem[Gau79a]{Gau79a}
Gautschi W,
``A Computational Procedure for Incomplete Gamma Functions''
ACM Trans. Math. Softw. 5 466--481. (1979)
+
\bibitem[Gau79b]{Gau79b}
Gautschi W,
``Algorithm 542: Incomplete Gamma Functions''
ACM Trans. Math. Softw. 5 482--489. (1979)
+
\bibitem[Gen69]{Gen69}
Gentlemen W M,
``An Error Analysis of Goertzel's (Watt's) Method for Computing
Fourier Coefficients''
Comput. J. 12 160--165. (1969)
+
\bibitem[Gen73]{Gen73}
Gentleman W M, (1973)
``Least-squares Computations by Givens Transformations without Square Roots''
J. Inst. Math. Applic. 12 329--336.
+
\bibitem[Gen74]{Gen74}
Gentleman W M,
``Algorithm AS 75. Basic Procedures for Large Sparse or
Weighted Linear Least-squares Problems''
Appl. Statist. 23 448--454. (1974)
+
\bibitem[GM74a]{GM74a}
Gentleman W. M. and Marovich S. B., ``More on algorithms
that reveal properties of floating point arithmetic units''
Comms. of the ACM, 17, 276-277. (1974)
+
\bibitem[GM80]{GM80}
Genz A C and Malik A A,
``An Adaptive Algorithm for Numerical Integration over an N-dimensional
Rectangular Region'' (1980)
J. Comput. Appl. Math. 6 295--302.
+
\bibitem[GM72]{GM72}
Gill P E and Miller G F,
``An Algorithm for the Integration of Unequally Spaced Data''
Comput. J. 15 80--83. (1972)
+
\bibitem[GM74b]{GM74b}
Gill P E and Murray W (eds)
``Numerical Methods for Constrained Optimization'' Academic Press. (1974)
+
\bibitem[GM76a]{GM76a}
Gill P E and Murray W,
``Minimization subject to bounds on the variables''
Report NAC 72. National Physical Laboratory. (1976)
+
\bibitem[GM76b]{GM76b}
Gill P E and Murray W,
``Algorithms for the Solution of the Nonlinear Least-squares Problem''
NAC 71 National Physical Laboratory. (1976)
+
\bibitem[GM78]{GM78}
Gill P E and Murray W,
``Algorithms for the Solution of the Nonlinear Least-squares Problem''
SIAM J. Numer. Anal. 15 977--992. (1978)
+
\bibitem[GM79]{GM79}
Gill P E and Murray W,
``Conjugate-gradient Methods for Large-scale Nonlinear Optimization''
Technical Report SOL 79-15. Department of Operations Research,
Stanford University. (1979)
+
\bibitem[GMW81]{GMW81}
Gill P E, Murray W and Wright M H,
``Practical Optimization''
Academic Press. 1981
+
\bibitem[GMW82]{GMW82}
Gill P E, Murray W, Saunders M A and Wright M H,
``The design and implementation of a quadratic programming algorithm''
Report SOL 82-7. Department of Operations Research,
Stanford University. (1982)
+
\bibitem[GMSW84a]{GMSW84a}
Gill P E, Murray W, Saunders M A and Wright M H,
``User's Guide for SOL/QPSOL Version 3.2''
Report SOL 84-5. Department of Operations Research, Stanford University. 1984
+
\bibitem[GMSW84b]{GMSW84b}
Gill P E, Murray W, Saunders M A and Wright M H,
``Procedures for Optimization Problems with a Mixture of
Bounds and General Linear Constraints''
ACM Trans. Math. Softw. 10 282--298. 1984
+
\bibitem[GMSW86a]{GMSW86a}
Gill P E, Hammarling S, Murray W, Saunders M A and Wright M H,
``User's Guide for LSSOL (Version 1.0)''
Report SOL 86-1. Department of Operations Research, Stanford University. 1986
+
\bibitem[GMSW86b]{GMSW86b}
Gill P E, Murray W, Saunders M A and Wright M H,
``Some Theoretical Properties of an Augmented Lagrangian Merit Function''
Report SOL 86-6R. Department of Operations Research, Stanford University. 1986
+
\bibitem[Gla79]{Gla79}
Gladwell I,
``Initial Value Routines in the NAG Library''
ACM Trans Math Softw. 5 386--400. (1979)
+
\bibitem[GS80]{GS80}
Gladwell I and Sayers D K
``Computational Techniques for Ordinary Differential Equations''
Academic Press. 1980
+
\bibitem[Gla86]{Gla86}
Gladwell I,
``Vectorisation of one dimensional quadrature codes''
Techincal Report. TR7/86 NAG. (1986)
+
\bibitem[Gla87]{Gla87}
Gladwell I,
``The NAG Library Boundary Value Codes''
Numerical Analysis Report. 134 Manchester University. (1987)
+
\bibitem[God40]{God40}
Goedel, "The consistency of the continuum hypothesis",
Ann. Math. Studies, Princeton Univ. Press, 1940
+
\bibitem[GG90]{GG90}
H. Gollan, J. Grabmeier, ``Algorithms in Representation Theory and
their Realization in the Computer Algebra System Scratchpad''
Bayreuther Mathematische Schriften, Heft 33, 1990, 1-23
+
\bibitem[GL89]{GL89}
Golub, Gene H. and Van Loan, Charles F.
``Matrix Computations''
Johns Hopkins University Press ISBN 0-8018-3772-3 (1989)
+
\bibitem[GL96]{GL96}
Golub, Gene H. and Van Loan, Charles F.
``Matrix Computations''
Johns Hopkins University Press ISBN 978-0-8018-5414-9 (1996)
+
\bibitem[Grab]{Grab}
J. Grabmeier, ``On Plesken's root finding algorithm'' in preparation
+
\bibitem[GK87]{GK87}
J. Grabmeier, A. Kerber: ``The Evaluation of Irreducible
Polynomial Representations of the General Linear Groups
and of the Unitary Groups over Fields of Characteristic 0''
Acta Appl. Math. 8 (1987), 271-291
+
\bibitem[REF-GS92]{REF-GS92}
J. Grabmeier and A. Scheerhorn ``Finite fields in Axiom'' AXIOM Technical
Report TR7/92 (ATR/5)(NP2522), Numerical Algorithms Group, Inc., Downer's
Grove, IL, USA and Oxford, UK, 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+
+\subsection{H} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[HL95]{HL95}
Hach\'e, G. and Le Brigand, D.
``Effective construction of algebraic geometry codes''
IEEE Transaction on Information Theory, vol. 41, n27 6,
November 1995, pp. 1615--1628.
+
\bibitem[Ha95]{Ha95}
Hach\'e, G. ``Computation in algebraic function fields for effective
construction of algebraic-geometric codes''
Lecture Notes in Computer Science, vol. 948, 1995, pp. 262--278.
+
\bibitem[Ha96]{Ha96}
Hach\'e, G. ``Construction effective des codes g\'eom\'etriques''
Th\'ese de doctorat de l'Universit\'e Pierre et Marie Curie (Paris 6),
Septembre 1996.
+
\bibitem[HW76]{HW76}
Hall G and Watt J M (eds),
``Modern Numerical Methods for Ordinary Differential Equations''
Clarendon Press. (1976)
+
\bibitem[Ham04]{Ham04}
Hamdy, S. ``LiDIA A library for computational number theory''
Reference manual Edition 2.1.1 May 2004\\
\verb|www.cdc.informatik.tu-darmstadt.de/TI/LiDIA|
+
\bibitem[Ham85]{Ham85}
Hammarling S,
`` The Singular Value Decomposition in Multivariate Statistics''
ACM Signum Newsletter. 20, 3 2--25. (1985)
+
\bibitem[HH67]{HH67}
Hammersley J M and Handscomb D C, ``Monte-Carlo Methods'' Methuen. (1967)
+
\bibitem[Ham62]{Ham62}
Hamming R W,
``Numerical Methods for Scientists and Engineers'' McGraw-Hill. (1962)
+
\bibitem[Ha1896]{Ha1896}
Hathway, Arthur S., "A Primer Of Quaternions" (1896)
+
\bibitem[Hay70]{Hay70}
Hayes J G,
``Curve Fitting by Polynomials in One Variable''
Numerical Approximation to Functions and Data.
(ed J G Hayes) Athlone Press, London. (1970)
+
\bibitem[Hay74]{Hay74}
Hayes J G,
``Numerical Methods for Curve and Surface Fitting''
Bull Inst Math Appl. 10 144--152. (1974)
+
\bibitem[HH74]{HH74}
Hayes J G and Halliday J,
``The Least-squares Fitting of Cubic Spline Surfaces to General Data Sets''
J. Inst. Math. Appl. 14 89--103. (1974)
+
\bibitem[Hen56]{Hen56}
Peter Henrici, ``Automatic Computations with Power Series''
Journal of the Association for Computing Machinery, Volume 3, No. 1,
January 1956, 10-15
+
\bibitem[Her1872]{Her1872}
E. Hermite. Sur l'int\'{e}gration des fractions
rationelles. {\sl Nouvelles Annales de Math\'{e}matiques}
($2^{eme}$ s\'{e}rie), 11:145-148, 1872
+
\bibitem[Hig02]{Hig02}
Higham, Nicholas J.
``Accuracy and stability of numerical algorithms''
SIAM Philadelphia, PA ISBN 0-89871-521-0 (2002)
+
\bibitem[Hig88]{Hig88}
N.J. Higham, "FORTRAN codes for estimating the one-norm of a
real or complex matrix, with applications to condition estimation", ACM
Trans. Math. Soft., vol. 14, no. 4, pp. 381-396, December 1988.
+
\bibitem[HS81]{HS81}
Hock W and Schittkowski K,
``Test Examples for Nonlinear Programming Codes''
Lecture Notes in Economics and Mathematical Systems. 187 Springer-Verlag. 1981
+
\bibitem[Hou70]{Hou70}
Householder A S,
``The Numerical Treatment of a Single Nonlinear Equation''
McGraw-Hill. (1970)
+
\bibitem[Hou81]{Hou81}
Householder, Alston S. ``Principles of Numerical Analysis''
Dover Publications, Mineola, NY ISBN 0-486-45312-X (1981)
+
\bibitem[HI96]{HI96}
Huang, M.D. and Ierardi, D.
``Efficient algorithms for Riemann-Roch problem and for addition in the
jacobian of a curve''
Proceedings 32nd Annual Symposium on Foundations of Computer Sciences.
IEEE Comput. Soc. Press, pp. 678--687.
+
+\subsection{I} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[IBM]{IBM}
SCRIPT Mathematical Formula Formatter User's Guide, SH20-6453,
IBM Corporation, Publishing Systems Information Development,
Dept. G68, P.O. Box 1900, Boulder, Colorado, USA 80301-9191.
+
\bibitem[IT88]{IT88}
T.Itoh, S.Tsujii, ``A fast algorithm for computing multiplicative inverses
in $GF(2^m)$ using normal bases''
Inf. and Comp. 78, pp.171-177, 1988
+
\bibitem[Iya77]{Iya77}
Shokichi Iyanaga and Yukiyosi Kawada Iyanaga
``Encyclopedic Dictionary of Mathematics'' 1977
+
+\subsection{J} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Jac68]{Jac68}
N. Jacobson, ``Structure and Representations of Jordan Algebras''
AMS, Colloquium Publications Volume 39
+
\bibitem[JK81]{JK81}
Gordon James and Adalbert Kerber
``The Representation Theory of the Symmetric Group''
Encyclopedia of Mathematics and its Applications Vol. 16
Addison-Wesley, 1981
+
\bibitem[JS77]{JS77}
Jaswon M A and Symm G T,
``Integral Equation Methods in Potential Theory and Elastostatics''
Academic Press. (1977)
+
\bibitem[Je04]{Je04}
Jeffrey, Alan ``Handbook of Mathematical Formulas and Integrals''
Third Edition, Elsevier Academic Press ISBN 0-12-382256-4
+
\bibitem[Jen66]{Jen66}
Jennings A,
``A Compact Storage Scheme for the Solution of Symmetric Linear
Simultaneous Equations''
Comput. J. 9 281--285. (1966)
+
+\subsection{K} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Kal91]{Kal91}
M. Kalkbrener ``Three contributions to elimination theory''
Ph. D. Thesis, University of Linz, Austria, 1991
+
\bibitem[Kal98]{Kal98}
M. Kalkbrener, ``Algorithmic properties of polynomial rings''
Journal of Symbolic Computation 1998
+
\bibitem[Kan89]{Kan89}
I.L Kantor, A.S. Solodovnikov
``Hypercomplex Numbers''
Springer Verlag Heidelberg, 1989, ISBN 0-387-96980-2
+
\bibitem[KMJ00]{KMJ00}
Kaufmann, Matt; Manolios, Panagiotis, and Moore J Strother
``Computer-Aided Reasoning: An Approach'' Springer, July 31. 2000
ISBN 0792377443
+
\bibitem[Knu71]{Knu71}
Donald Knuth ``The Art of Computer Programming'' 2nd edition Vol. 2
(Seminumerical Algorithms) 1st edition, 2nd printing,
Addison-Wesley 1971, p. 397-398
+
\bibitem[Knu84]{Knu84}
Knuth, Donald, {\it The \TeX{}book} \\
Reading, Massachusetts, Addison-Wesley Publishing Company, Inc.,
1984. ISBN 0-201-13448-9
+
\bibitem[Kn92]{Kn92}
Knuth, Donald E., ``Literate Programming''
Center for the Study of Language and Information
ISBN 0-937073-81-4 Stanford CA (1992)
+
\bibitem[Kol73]{Kol73}
Kolchin, E.R. ``Differential Algebra and Algebraic Groups''
(Academic Press, 1973).
+
\bibitem[Kou10]{Kou10}
Christoph Koutschan "Axiom / FriCAS"\\
\verb|www.risc.jku.at/education/courses/ws2010/cas/axiom.pdf|
+
\bibitem[KL86]{KL86}
Dexter Kozen and Susan Landau, ``Polynomial Decomposition Algorithms''
Journal of Symbolic Computation (1989) 7, 445-456
+
+\subsection{L} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[La86]{La86}
Lamport, Leslie,
{\it LaTeX: A Document Preparation System,} \\
Reading, Massachusetts, Addison-Wesley Publishing Company, Inc.,
1986. ISBN 0-201-15790-X
+
\bibitem[Lau71]{Lau71}
Lautrup B,
``An Adaptive Multi-dimensional Integration Procedure''
Proc. 2nd Coll. on Advanced Methods in Theoretical Physics, Marseille. (1971)
+
\bibitem[Law77]{Law77}
Lawson C L,
``Software for C Surface Interpolation''
Mathematical Software III. (ed J R Rice) Academic Press. 161--194. (1977)
+
\bibitem[LH74]{LH74}
Lawson C L and Hanson R J,
``Solving Least-squares Problems''
Prentice-Hall. (1974)
+
\bibitem[REF-LAW79]{REF-LAW79}
Lawson, C.L., Hanson R.J., Kincaid, D.R., Krogh, F.T.
``Algorithm 539: Basic linear algebra subprograms for FORTRAN usage''
ACM Transactions on Mathematical Software, Vol 5 No 3 September 1979
pp 308-323
+
\bibitem[LHKK79]{LHKK79}
Lawson C L, Hanson R J, Kincaid D R and Krogh F T,
``Basic Linear Algebra Subprograms for Fortran Usage''
ACM Trans. Math. Softw. 5 308--325. (1979)
+
\bibitem[Laz91]{Laz91}
D. Lazard
``A new method for solving algebraic systems of positive dimension''
Discr. App. Math. 33:147-160,1991
+
\bibitem[Laz92]{Laz92}
D. LAZARD ``Solving Zero-dimensional Algebraic Systems''
Journal of Symbolic Computation, 1992, 13, 117-131
+
\bibitem[LR90]{LR90}
Daniel Lazard and Renaud Rioboo. ``Integration of rational
functions: Rational computation of the logarithmic part''
{\sl Journal of Symbolic Computation}, 9:113-116:1990
+
\bibitem[LR88]{LR88}
Le Brigand, D. and Risler, J.J.
``Algorithme de Brill-Noether et codes de Goppa''
Bull. Soc. Math. France, vol. 116, 1988, pp. 231--253.
+
\bibitem[LS87]{LS87}
Lenstra, H. W. \& Schoof, R. J.,
``Primitivive Normal Bases for Finite Fields''
Math. Comp. 48, 1987, pp. 217-231
+
\bibitem[Lew77]{Lew77}
Lewis J G,
``Algorithms for sparse matrix eigenvalue problems''
Technical Report STAN-CS-77-595. Computer Science Department,
Stanford University. (1977)
+
\bibitem[LN83]{LN83}
R.Lidl, H.Niederreiter
``Finite Field, Encycoldia of Mathematics and Its Applications'',
Vol. 20, Cambridge Univ. Press, 1983 ISBN 0-521-30240-4
+
\bibitem[LMW79]{LMW79}
Linger, Richard C.; Mills, Harlan D.; and Witt, Bernard I.
``Structured Programming: Theory and Practice''
Addison-Wesley (March 1979) ISBN 0201144611
+
\bibitem[Lio1833a]{Lio1833a}
Joseph Liouville. Premier m\'{e}moire sur la
d\'{e}termination des int\'{e}grales dont la valeur est
alg\'{e}brique. {\sl Journal de l'Ecole Polytechnique}, 14:124-148, 1833
+
\bibitem[Lio1833b]{Lio1833b}
Joseph Liouville. Second m\'{e}moire sur la
d\'{e}termination des int\'{e}grales dont la valeur est
alg\'{e}brique. {\sl Journal de l'Ecole Polytechnique}, 14:149-193, 1833
+
\bibitem[Lip81]{Lip81}
D.Lipson, ``Elements of Algebra and Algebraic Computing'',
The Benjamin/Cummings Publishing Company, Inc.-Menlo Park, California, 1981.
+
\bibitem[Loe09]{Loe09}
Loetzsch, M. ``GTFL - A graphical terminal for Lisp''\\
\verb|martin-loetzsch.de/gtfl/|
+
\bibitem[Los60]{Los60}
L\"osch, Friedrich ``Tables of Higher Functions''
McGraw-Hill Book Company 1960
+
\bibitem[LTU10]{LTU10}
``Lambda the Ultimate''\\
\verb|lambda-the-ultimate.org/node/3663#comment-62440|
+
\bibitem[Luk169]{Luk169}
Luke, Yudell L. ``The Special Functions and their Approximations'' Volume I
Academic Press (1969) Mathematics in Science and Engineering Volume 53-I
+
\bibitem[Luk269]{Luk269}
Luke, Yudell L. ``The Special Functions and their Approximations'' Volume II
Academic Press (1969) Mathematics in Science and Engineering Volume 53-II
+
\bibitem[Lyn83]{Lyn83}
Lyness J N,
``When not to use an automatic quadrature routine''
SIAM Review. 25 63--87. (1983)
+
+\subsection{M} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[MB79]{MB79}
Saunders Mac Lane and Garret Birkhoff ``Algebra''
AMS Chelsea Publishing ISBN 0821816462
+
\bibitem[Mal72]{Mal72}
Malcolm M. A. (1972) Algorithms to reveal properties of
floating-point arithmetic. Comms. of the ACM, 15, 949-951.
+
\bibitem[MS76]{MS76}
Malcolm M A and Simpson R B,
``Local Versus Global Strategies for Adaptive Quadrature''
ACM Trans. Math. Softw. 1 129--146. (1976)
+
\bibitem[Mar66]{Mar66}
Marden M,
``Geometry of Polynomials''
Mathematical Surveys. 3 Am. Math. Soc., Providence, RI. (1966)
+
\bibitem[Mar07]{Mar07}
Marshak, U. ``HT-AJAX - AJAX framework for Hunchentoot''\\
\verb|common-lisp.net/project/ht-ajax/ht-ajax.html|
+
\bibitem[Mig82]{Mig82}
Maurice Mignotte, ``Some Useful Bounds''
Computing, Suppl. 4, 259-263 (1982), Springer-Verlag
+
\bibitem[McC83]{McC83}
McCarthy G J,
``Investigation into the Multigrid Code MGD1''
Report AERE-R 10889. Harwell. (1983)
+
\bibitem[Min79]{Min79}
Henryk Minc, ``Evaluation of Permanents''
Proc. of the Edinburgh Math. Soc.(1979), 22/1 pp 27-32.
+
\bibitem[Mil68]{Mil68}
J. K. Millen
``CHARYBDIS: A LISP program to display mathematical expressions on
typewriter-like devices''
Interactive Systems for Experimental and Applied Mathematics
M. Klerer and J. Reinfelds, eds., Academic Press, New York 1968, pp79-90
+
\bibitem[MGH74]{MGH74}
More J J, Garbow B S and Hillstrom K E,
``User Guide for Minpack-1''
ANL-80-74 Argonne National Laboratory. (1974)
+
\bibitem[Maz98]{Maz98}
M. Moreno Maza ``A new algorithm for computing triangular
decomposition of algebraic varieties'' NAG Tech. Rep. 4/98.
+
\bibitem[MR95]{MR95}
M. Moreno Maza and R. Rioboo
``Computations of gcd over algebraic towers of simple extensions''
In proceedings of AAECC11 Paris, 1995.
+
\bibitem[Maz97]{Maz97}
M. MORENO MAZA ``Calculs de pgcd au-dessus des tours
d'extensions simples et resolution des systemes d'equations algebriques''
These, Universite P.etM. Curie, Paris, 1997.
+
\bibitem[Mie97]{Mie97}
Mielenz, Klaus D. ``Computation of Fresnel Integrals''
J. Res. Natl. Inst. Stand. Technol. (NIST) V102 No3 May-June 1997 pp363-365
+
\bibitem[Mie00]{Mie00}
Mielenz, Klaus D. ``Computation of Fresnel Integrals II''
J. Res. Natl. Inst. Stand. Technol. (NIST) V105 No4 July-Aug 2000 pp589-590
+
\bibitem[MS67]{MS67}
Mikhlin S G and Smolitsky K L,
``Approximate Methods for the Solution of Differential and Integral Equations''
Elsevier. (1967)
+
\bibitem[MG80]{MG80}
Mitchell A R and Griffiths D F,
``The Finite Difference Method in Partial Differential Equations''
Wiley. (1980)
+
\bibitem[MS73]{MS73}
Moler C B and Stewart G W,
``An Algorithm for Generalized Matrix Eigenproblems''
SIAM J. Numer. Anal. 10 241--256. 1973
+
\bibitem[Mul97]{Mul97}
Thom Mulders. ``A note on subresultants and a correction to
the lazard/rioboo/trager formula in rational function integration''
{\sl Journal of Symbolic Computation}, 24(1):45-50, 1997
+
\bibitem[Mun80]{Mun80}
Munksgaard N,
``Solving Sparse Symmetric Sets of Linear Equations by Pre-conditioned
Conjugate Gradients''
ACM Trans. Math. Softw. 6 206--219. (1980)
+
\bibitem[Mur72]{Mur72}
Murray W, (ed)
``Numerical Methods for Unconstrained Optimization'' Academic Press. (1972)
+
\bibitem[MS83]{MS83}
Murtagh B A and Saunders M A,
``MINOS 5.0 User's Guide''
Report SOL 83-20. Department of Operations Research, Stanford University 1983
+
\bibitem[Mus78]{Mus78}
David R. Musser, ``On the Efficiency of a Polynomial Irreducibility Test''
Journal of the ACM, Vol. 25, No. 2, April 1978, pp. 271-282
+
\bibitem[NW78]{NW78}
Nijenhuis and Wilf, ``Combinatorical Algorithms''
Academic Press, New York 1978.
+
+\subsection{N} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Nik79]{Nik79}
Nikolai P J
``Algorithm 538: Eigenvectors and eigenvalues of real generalized
symmetric matrices by simultaneous iteration''
ACM Trans. Math. Softw. 5 118--125. (1979)
+
+\subsection{O} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[NIST10]{NIST10}
Olver, Frank W., Lozier, Daniel W., Boisvert, Ronald F., Clark, Charles W. (ed)
``NIST Handbook of Mathematical Functions'' (2010) Cambridge University
Press ISBN 978-0-521-19225-5
+
\bibitem[OpenM]{OpenM}
``OpenMath Technical Overview''\\
\verb|www.openmath.org/overview/technical.html|
+
\bibitem[OR70]{OR70}
Ortega J M and Rheinboldt W C,
``Iterative Solution of Nonlinear Equations in Several Variables''
Academic Press. (1970)
+
\bibitem[Ost1845]{Ost1845}
M.W. Ostrogradsky. De l'int\'{e}gration des fractions
rationelles. {\sl Bulletin de la Classe Physico-Math\'{e}matiques de
l'Acae\'{e}mie Imp\'{e}riale des Sciences de St. P\'{e}tersbourg,}
IV:145-167,286-300, 1845
+
+\subsection{P} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[PS75]{PS75}
Paige C C and Saunders M A,
``Solution of Sparse Indefinite Systems of Linear Equations''
SIAM J. Numer. Anal. 12 617--629. (1975)
+
\bibitem[PS82a]{PS82a}
Paige C C and Saunders M A,
``LSQR: An Algorithm for Sparse Linear Equations and Sparse Least-squares''
ACM Trans. Math. Softw. 8 43--71. (1982)
+
\bibitem[PS82b]{PS82b}
Paige C C and Saunders M A,
``ALGORITHM 583 LSQR: Sparse Linear Equations and Least-squares Problems''
ACM Trans. Math. Softw. 8 195--209. (1982)
+
\bibitem[Par84]{Par84}
R. A. Parker,
``The Computer Calculation of Modular Characters (The Meat-Axe)''
M. D. Atkinson (Ed.), Computational Group Theory
Academic Press, Inc., London 1984
+
\bibitem[Par80]{Par80}
Parlett B N, ``The Symmetric Eigenvalue Problem''
Prentice-Hall. 1980
+
\bibitem[PJ10]{PJ10}
Parnas, David Lorge and Jin, Ying
``Defining the meaning of tabular mathematical expressions''
Science of Computer Programming V75 No.11 Nov 2010 pp980-1000 Elesevier
+
\bibitem[PM95]{PM95}
Parnas, David Lorge and Madey, Jan
``Functional Documents for Computer Systems''
Science of Computer Programming V25 No.1 Oct 1995 pp41-61 Elesevier
+
\bibitem[Paul81]{Paul81}
Richard Paul ``Robot Manipulators''
MIT Press 1981
+
\bibitem[Pea56]{Pea56}
Pearcey, T. ``Table of the Fresnel Integral''
Cambridge University Press 1956
+
\bibitem[Per79]{Per79}
Pereyra V,
``PASVA3: An Adaptive Finite-Difference Fortran Program for First Order
@@ -2270,373 +2888,506 @@ Codes for Boundary Value Problems in Ordinary Differential Equations.
Lecture Notes in Computer Science.
(ed B Childs, M Scott, J W Daniel, E Denman and P Nelson) 76
Springer-Verlag. (1979)
+
\bibitem[Pet67a]{Pet67a}
Peters G,
``NPL Algorithms Library''
Document No. F2/03/A. (1967)
+
\bibitem[Pet67b]{Pet67b}
Peters G,
``NPL Algorithms Library''
Document No.F1/04/A (1967)
+
\bibitem[PW70]{PW70}
Peters G and Wilkinson J H,
``The Least-squares Problem and Pseudo-inverses''
Comput. J. 13 309--316. (1970)
+
\bibitem[PW71]{PW71}
Peters G and Wilkinson J H,
``Practical Problems Arising in the Solution of Polynomial Equations''
J. Inst. Maths Applics. 8 16--35. (1971)
+
\bibitem[Pie82]{Pie82}
R.S. Pierce: ``Associative Algebras''
Graduate Texts in Mathematics 88
Springer-Verlag, Heidelberg, 1982, ISBN 0-387-90693-2
+
\bibitem[Pie73]{Pie73}
Piessens R,
``An Algorithm for Automatic Integration''
Angewandte Informatik. 15 399--401. (1973)
+
\bibitem[PMB74]{PMB74}
Piessens R, Mertens I and Branders M
``Integration of Functions having End-point Singularities''
Angewandte Informatik. 16 65--68. (1974)
+
\bibitem[PB75]{PB75}
Piessens R and Branders M,
``Algorithm 002. Computation of Oscillating Integrals''
J. Comput. Appl. Math. 1 153--164. (1975)
+
\bibitem[PVRBM76]{PVRBM76}
Piessens R, Van Roy-Branders M and Mertens I,
``The Automatic Evaluation of Cauchy Principal Value Integrals''
Angewandte Informatik. 18 31--35. (1976)
+
\bibitem[PDUK83]{PDUK83}
Piessens R, De Doncker-Kapenga E, Uberhuber C and Kahaner D
``QUADPACK, A Subroutine Package for Automatic Integration''
Springer-Verlag.(1983)
+
\bibitem[Pol37]{Pol37}
G.Polya, ``Kombinatorische Anzahlbestimmungen fur Gruppen,
Graphen und chemische Verbindungen'',
Acta Math. 68 (1937) 145-254.
+
\bibitem[Pow70]{Pow70}
Powell M J D,
``A Hybrid Method for Nonlinear Algebraic Equations''
Numerical Methods for Nonlinear Algebraic Equations.
(ed P Rabinowitz) Gordon and Breach. (1970)
+
\bibitem[Pow74]{Pow74}
Powell M J D
``Introduction to Constrained Optimization''
Numerical Methods for Constrained Optimization.
(ed P E Gill and W Murray) Academic Press. pp1-28. 1974
+
\bibitem[Pow83]{Pow83}
Powell M J D,
``Variable Metric Methods in Constrained Optimization''
Mathematical Programming: The State of the Art.
(ed A Bachem, M Groetschel and B Korte) Springer-Verlag. pp288--311. 1983
+
\bibitem[Pra73]{Pra73}
Pratt, Vaughan R. ``Top down operator precedence''
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on
Principles of programming languages \\
\verb|hall.org.ua/halls/wizzard/pdf/Vaughan.Pratt.TDOP.pdf|
+
\bibitem[PTVF95]{PTVF95}
Press, William H., Teukolsky, Saul A., Vetterling, William T.,
Flannery, Brian P. ``Numerical Recipes in C''
Cambridge University Press (1995) ISBN 0-521-43108-5
+
\bibitem[PH77]{PH77}
Pryce J D and Hargrave B A,
``The Scale Pruefer Method for one-parameter and multi-parameter eigenvalue
problems in ODEs''
Inst. Math. Appl., Numerical Analysis Newsletter. 1(3) (1977)
+
\bibitem[Pry81]{Pry81}
Pryce J D,
``Two codes for Sturm-Liouville problems''
Technical Report CS-81-01. Dept of Computer Science, Bristol University (1981)
+
\bibitem[Pry86]{Pry86}
Pryce J D,
``Error Estimation for Phase-function Shooting Methods for
Sturm-Liouville Problems''
J. Num. Anal. 6 103--123. (1986)
+
\bibitem[Pu09]{Pu09}
Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial'' \\
\verb|www.puffinwarellc.com/p3a.htm|
+
+\subsection{Q} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[QG06]{QG06}
Gregorio Quintana-Orti and Robert van de Geijn, "Improving the
performance of reduction to Hessenberg form," ACM Transactions on
Mathematical Software, 32(2):180-194, June 2006.
+
+\subsection{R} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Rab70]{Rab70}
Rabinowitz P,
``Numerical Methods for Nonlinear Algebraic Equations''
Gordon and Breach. (1970)
+
\bibitem[Ral65]{Ral65}
Ralston A,
``A First Course in Numerical Analysis''
McGraw-Hill. 87--90. (1965)
+
+\bibitem[Ram03]{Ram03}
+Maya Ramakrishnan
+``A Gentle Introduction to Lyapunov Functions''
+ORSUM August 2003\\
+\verb|www.or.ms.unimelb.edu.au/handouts/lyaptalk.1.pdf|
+
\bibitem[Ra03]{Ra03}
Ramsey, Norman ``Noweb--A Simple, Extensible Tool for Literate Programming''\\
\verb|www.eecs.harvard.edu/~nr/noweb|
+
\bibitem[Red27]{Red27}
J.H.Redfield, ``The Theory of Group-Reduced Distributions''
American J. Math., 49 (1927) 433-455.
+
\bibitem[Rei67]{Rei67}
Reinsch C H,
``Smoothing by Spline Functions''
Num. Math. 10 177--183. (1967)
+
\bibitem[Ren84]{Ren84}
Renka R L,
``Algorithm 624: Triangulation and Interpolation of Arbitrarily Distributed
Points in the Plane''
ACM Trans. Math. Softw. 10 440--442. (1984)
+
\bibitem[RC84]{RC84}
Renka R L and Cline A K,
``A Triangle-based C Interpolation Method''
Rocky Mountain J. Math. 14 223--237. (1984)
+
\bibitem[Re93]{Re93}
Christophe Reutenauer ``Free Lie Algebras''
Oxford University Press, June 1993 ISBN 0198536798
+
\bibitem[Ri10]{Ri10}
Rich, Albert D. ``Rule-based Mathematics''\\
\verb|www.apmaths.uwo.ca/~arich|
+
\bibitem[RF94]{RF94}
Richardson, Dan and Fitch, John
``The identity problem for elementary functions and constants''
ACM Proc. of ISSAC 94 pp285-290 ISBN 0-89791-638-7
+
\bibitem[RM67]{RM67}
Richtmyer R D and Morton K W,
``Difference Methods for Initial-value Problems''
Interscience (2nd Edition). (1967)
+
\bibitem[REF-Rio92]{REF-Rio92}
R. Rioboo
``Real algebraic closure of an ordered field, implementation in Axiom''
In Wang [Wan92], pp206-215 ISBN 0-89791-489-9 (soft cover)
In proceedings of the ISSAC'92 Conference, Berkeley 1992 pp. 206-215.
0-89791-490-2 (hard cover) LCCN QA76.95.I59 1992
+
\bibitem[Rio96]{Rio96}
R. Rioboo ``Generic computation of the real closure of an ordered field''
In Mathematics and Computers in Simulation Volume 42, Issue 4-6,
November 1996.
+
\bibitem[Ris68]{Ris68}
Robert Risch. ``On the integration of elementary functions
which are built up using algebraic operations'' Research Report
SP-2801/002/00, System Development Corporation, Santa Monica, CA, USA, 1968
+
\bibitem[Ris69a]{Ris69a}
Robert Risch. ``Further results on elementary functions''
Research Report RC-2042, IBM Research, Yorktown Heights, NY, USA, 1969
+
\bibitem[Ris69b]{Ris69b}
Robert Risch, ``The problem of integration in finite terms''
{\sl Transactions of the American Mathematical Society} 139:167-189, 1969
+
\bibitem[Ris70]{Ris70}
Robert Risch. ``The solution of problem of integration in finite terms''
{\sl Transactions of the American Mathematical Society} 76:605-608, 1970
+
\bibitem[Ris79]{Ris79}
Robert Risch. ``Algebraic properties of the elementary functions of analysis''
{\sl American Journal of Mathematics}, 101:743-759, 1979
+
\bibitem[Ritt50]{Ritt50}
Joseph Fels Ritt, ``Differential Algebra''
AMS Colloquium Publications Volume 33 ISBN 978-0-8218-4638-4
+
\bibitem[Ro72]{Ro72}
Maxwell Rosenlicht. Integration in finite terms.
{\sl American Mathematical Monthly}, 79:963-972, 1972
+
\bibitem[Ro77]{Ro77}
Michael Rothstein. ``A new algorithm for the integration of
exponential and logarithmic functions'' In {\sl Proceedings of the 1977
MACSYMA Users Conference}, pages 263-274. NASA Pub CP-2012, 1977
+
+\bibitem[Rub07]{Rub07}
+Martin Rubey
+``Formula Guessing with Axiom''
+April 2007
+
\bibitem[Rut69]{Rut69}
Rutishauser H,
``Computational aspects of F L Bauer's simultaneous iteration method''
Num. Math. 13 4--13. (1969)
+
\bibitem[Rut70]{Rut70}
Rutishauser H,
``Simultaneous iteration method for symmetric matrices''
Num. Math. 16 205--223. (1970)
+
+\subsection{S} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Sch66]{Sch66}
R.D. Schafer ``An Introduction to Nonassociative Algebras''
Academic Press, New York, 1966
+
\bibitem[SW53]{SW53}
Schoenberg I J and Whitney A,
``On Polya Frequency Functions III''
Trans. Amer. Math. Soc. 74 246--259. (1953)
+
\bibitem[Sch82]{Sch82}
A. Schoenhage,
``The fundamental theorem of algebra in terms of computational complexity''
preliminary report, Univ. Tuebingen, 1982
+
\bibitem[Sch76]{Sch76}
Schonfelder J L,
``The Production of Special Function Routines for a Multi-Machine Library''
Software Practice and Experience. 6(1) (1976)
+
\bibitem[REF-SC95]{REF-SC95}
W.M. Seiler and J. Calmet
``JET -- An Axiom Environment for Geometric Computations with Differential
Equations''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[She68]{She68}
Shepard D,
``A Two-dimensional Interpolation Function for Irregularly Spaced Data''
Proc. 23rd Nat. Conf. ACM. Brandon/Systems Press Inc.,
Princeton. 517--523. 1968
+
\bibitem[Sims71]{Sims71}
C. Sims ``Determining the Conjugacy Classes of a Permutation Group''
Computers in Algebra and Number Theory, SIAM-AMS Proc., Vol. 4,
American Math. Soc., 1991, pp191-195
+
\bibitem[REF-Sit92]{REF-Sit92}
William Sit, ``An Algorithm for Parametric Linear Systems''
J. Sym. Comp., April 1992
+
\bibitem[Smi67]{Smi67}
Smith B T,
``ZERPOL: A Zero Finding Algorithm for Polynomials Using Laguerre's Method''
Technical Report. Department of Computer Science, University of Toronto,
Canada. (1967)
+
\bibitem[Smi85]{Smi85}
Smith G D,
``Numerical Solution of Partial Differential Equations: Finite Difference
Methods''
Oxford University Press (3rd Edition). (1985)
+
\bibitem[Sob74]{Sob74}
Sobol I M, ``The Monte Carlo Method'' The University of Chicago Press. 1974
+
\bibitem[Ste90]{Ste90}
Steele, Guy L. ``Common Lisp The Language'' Second Edition
ISBN 1-55558-041-6 Digital Press (1990)
+
\bibitem[St93]{St93}
Stichtenoth, H. ``Algebraic function fields and codes''
Springer-Verlag, 1993, University Text.
+
\bibitem[Sti90]{Sti90}
D.R.Stinson,
``Some observations on parallel Algorithms for fast exponentiation
in $GF(2^n)$''Siam J. Comp., Vol.19, No.4, pp.711-717, August 1990
+
\bibitem[SS66]{SS66}
Stroud A H and Secrest D,
``Gaussian Quadrature Formulas''
Prentice-Hall. (1966)
+
\bibitem[Str71]{Str71}
Stroud A H, ``Approximate Calculation of Multiple Integrals''
Prentice-Hall 1971
+
\bibitem[SS79]{SS79}
Swarztrauber P N and Sweet R A,
``Efficient Fortran Subprograms for the Solution of Separable Elliptic Partial
Differential Equations''
ACM Trans. Math. Softw. 5 352--364. (1979)
+
\bibitem[SS84]{SS84}
Swarztrauber P N,
``Fast Poisson Solvers''
Studies in Numerical Analysis. (ed G H Golub)
Mathematical Association of America. (1984)
+
+\subsection{T} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Ta1890]{Ta1980}
Tait, P.G.,{\it An Elementary Treatise on Quaternions}
C.J. Clay and Sons, Cambridge University Press Warehouse, Ave Maria Lane 1890
+
\bibitem[Tai96]{Tai96}
Taivalsaari, Antero ``On the Notion of Inheritance''
ACM Computing Surveys, Vol 28 No 3 Sept 1996 pp438-479
+
\bibitem[Tem87]{Tem87}
Temme N M,
``On the Computation of the Incomplete Gamma Functions for Large Values of
the Parameters''
Algorithms for Approximation. (ed J C Mason and M G Cox)
Oxford University Press. (1987)
+
\bibitem[Tem83a]{Tem83a}
Temperton C,
``Self-sorting Mixed-radix Fast Fourier Transforms''
J. Comput. Phys. 52 1--23. (1983)
+
\bibitem[Tem83b]{Tem83b}
Temperton C,
``Fast Mixed-Radix Real Fourier Transforms''
J. Comput. Phys. 52 340--350. (1983)
+
\bibitem[Tr76]{Tr76}
Trager, Barry ``Algebraic factoring and rational function integration''
In {Proceedings of SYMSAC'76} pages 219-226, 1976
+
\bibitem[Tr84]{Tr84}
Trager Barry {\sl On the integration of algebraic functions},
PhD thesis, MIT, Computer Science, 1984
+
+\subsection{U} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[Unk61]{Unk61}
Unknown ``Chebyshev-series'' Modern Computing Methods
Chapter 8. NPL Notes on Applied Science (2nd Edition). 16 HMSO. 1961
+
+\subsection{V} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[vDDR76]{vDDR76}
Van Dooren P and De Ridder L,
``An Adaptive Algorithm for Numerical Integration over an N-dimensional Cube''
J. Comput. Appl. Math. 2 207--217. (1976)
+
\bibitem[REF-vH94]{REF-vH94}
M. van Hoeij. ``An algorithm for computing an integral
basis in an algebraic function field'' {\sl J. Symbolic Computation}
18(4):353-364, October 1994
+
\bibitem[Van92]{Van92}
Van Loan C,
``Computational Frameworks for the Fast Fourier Transform''
SIAM Philadelphia. (1992)
+
+\subsection{W} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[WM85]{WM85}
Wait R and Mitchell A R,
``Finite Element Analysis and Application''
Wiley. (1985)
+
\bibitem[Wang92]{Wang92}
D.M. Wang ``An implementation of the characteristic set method in Maple''
Proc. DISCO'92 Bath, England
+
\bibitem[War75]{War75}
Ward R C,
``The Combination Shift QZ Algorithm''
SIAM J. Numer. Anal. 12 835--853. 1975
+
\bibitem[Wa03]{Wa03}
Watt, Stephen, ``Aldor'', \verb|www.aldor.org|
+
\bibitem[We71]{We71}
Andr\'{e} Weil, {\sl Courbes alg\'{e}briques et
vari\'{e}t\'{e}s Abeliennes} Hermann, Paris, 1971
+
\bibitem[Wein]{Wein}
Weisstein, Eric W. ``Hypergeometric Function''
MathWorld - A Wolfram Web Resource\\
\verb|mathworld.wolfram.com/HypergeometricFunction.html|
+
\bibitem[Wei03]{Wei03}
Weitz, E. ``CL-WHO -Yet another Lisp markup language''\\
\verb|www.weitz.de/cl-who/|
+
\bibitem[Wei06]{Wei06}
Weitz, E. ``HUNCHENTOOT - The Common Lisp web server
formerly known as TBNL''\\
\verb|www.weitz.de/hunchentoot/|
+
\bibitem[Wes82a]{Wes82a}
Wesseling P,
``MGD1 - A Robust and Efficient Multigrid Method''
Multigrid Methods. Lecture Notes in Mathematics. 960
Springer-Verlag. 614--630. (1982)
+
\bibitem[Wes82b]{Wes82b}
Wesseling P,
``Theoretical Aspects of a Multigrid Method''
SIAM J. Sci. Statist. Comput. 3 387--407. (1982)
+
\bibitem[Wiki3]{Wiki3}
\verb|en.wikipedia.org/wiki/Givens_rotation|
+
\bibitem[Wil85]{Wil85}
S.G.Williamson, ``Combinatorics for Computer Science''
Computer Science Press, 1985.
+
\bibitem[WR71]{WR71}
Wilkinson J H and Reinsch C,
``Handbook for Automatic Computation II, Linear Algebra''
Springer-Verlag. 1971
+
\bibitem[Wil63]{Wil63}
Wilkinson J H,
``Rounding Errors in Algebraic Processes'' Chapter 2. HMSO. (1963)
+
\bibitem[Wil65]{Wil65}
Wilkinson J H,
``The Algebraic Eigenvalue Problem'' Oxford University Press. (1965)
+
\bibitem[Wil78]{Wil78}
Wilkinson J H,
``Singular Value Decomposition -- Basic Aspects''
Numerical Software -- Needs and Availability.
(ed D A H Jacobs) Academic Press. (1978)
+
\bibitem[Wil79]{Wil79}
Wilkinson J H,
``Kronecker's Canonical Form and the QZ Algorithm''
Linear Algebra and Appl. 28 285--303. 1979
+
\bibitem[Wis91]{Wis91}
R. Wisbauer, ``Bimodule Structure of Algebra''
Lecture Notes Univ. Duesseldorf 1991
+
\bibitem[Woe80]{Woe80}
A. Woerz-Busekros: ``Algebra in Genetics''
Lectures Notes in Biomathematics 36, Springer-Verlag, Heidelberg, 1980
+
\bibitem[Wol67]{Wol67}
Wolberg J R, ``Prediction Analysis'' Van Nostrand. (1967)
+
\bibitem[Wo09]{Wo09}
Wolfram Research, \verb|mathworld.wolfram.com/Quaternion.html|
+
\bibitem[WU87]{WU87}
W.T. Wu ``A Zero Structure Theorem for polynomial equations solving''
MM Research Preprints, 1987
+
\bibitem[Wynn56]{Wynn56}
Wynn P (1956)
``On a Device for Computing the $e_m(S_n )$ Transformation''
Math. Tables Aids Comput. 10 91--96.
+
+\subsection{Y} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
\bibitem[REF-You04]{REF-You04}
Saul Youssef
``Prospects for Category Theory in Aldor'' October 2004\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
\bibitem[Yu76]{Yu76}
D.Y.Y. Yun. ``On square-free decomposition algorithms''
{\sl Proceedings of SYMSAC'76} pages 26-35, 1976
diff --git a/changelog b/changelog
index 20b81c8..163a29d 100644
--- a/changelog
+++ b/changelog
@@ -1,5 +1,7 @@
+20130324 tpd src/axiom-website/patches.html 20130324.02.tpd.patch
+20130324 tpd books/bookvolbib add references
20130324 jxb src/axiom-website/patches.html 20130324.01.jxb.patch
-20130324 jxb src/input/Makefile add romanpolynomials
+20130324 jxb src/input/Makefile add romanpolynomials.input
20130324 jxb src/input/romanpolynomials.input create POLY(ROMAN)
20130323 tpd src/axiom-website/patches.html 20130323.01.tpd.patch
20130323 tpd books/bookvolbib add references
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 861aae6..d783b80 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4115,5 +4115,7 @@ books/bookvol10.4 add FiniteFieldFactorization
books/bookvolbib add references
20130324.01.jxb.patch
src/input/romanpolynomials.input create POLY(ROMAN)
+20130324.02.tpd.patch
+books/bookvolbib add references