diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 8d52917..26dc09f 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -12,366 +12,390 @@ The second section contains references from Axiom to the literature.
\subsection{A} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[ACM89]{ACM89}
+\bibitem[ACM 89]{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}
+\bibitem[ACM 94]{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[ACS 91]{ACS91} D. Augot; P. Charpin; 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''
+\bibitem[Adams 94]{AL94} Adams, William W.; 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[Andrews 84]{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,
+\bibitem[Andrews 88]{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}
+\bibitem[Anon 91]{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}
+\bibitem[Anon 92]{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}
+\bibitem[Anono 95]{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''
+\bibitem[Blair 70]{BGJ70} Blair, Fred W; Griesmer, James H.;
+Jenks, Richard D.\\
+``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[Blair 70a]{BJ70} Blair, Fred W.; Jenks, Richard D.\\
+``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;
+\bibitem[Buchberger 85]{BC85} Buchberger, Bruno; Caviness, Bob F. (eds)\\
+EUROCAL '85: European Conference on Computer Algebra, Linz, Austria,
+April 1-3, 1985;
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
+\bibitem[Broadbery 95]{BGDW95} Broadbery, P. A.; G{\'o}mez-D{\'\i}az, T.;
+Watt, S. M.\\
+``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''
+\bibitem[Boehm 89]{Boe89} Boehm, Hans-J.\\
+``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[BHGM04]{BHGM04}
-Boulton, Richard; Hardy, Ruth; Gottliebsen, Hanne; and Martin, Ursula
-``Design verification for control engineering''
+\bibitem[Boulton 04]{BHGM04} Boulton, Richard; Hardy, Ruth;
+Gottliebsen, Hanne; Martin, Ursula\\
+``Design verification for control engineering''\\
Proc Fourth International Conference on Integrated Formal Methods,
April 2004
-\bibitem[Bou91]{Bou91}
-Jean-Louis Boulanger
-``Etude de la compilation de scratchpad 2''
+\bibitem[Boulanger 91]{Bou91} Boulanger, Jean-Louis\\
+``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''
+\bibitem[Boulanger 93a]{Bou93a} Boulanger, Jean-Louis\\
+``Axiom, language fonctionnel \`a d\'eveloppement objet''\\
IT 255, Oct 1993
-\bibitem[Bou93b]{Bou93b}
-Jean-Louis Boulanger,
+\bibitem[Boulanger 93b]{Bou93b} Boulanger, Jean-Louis\\
``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''
+\bibitem[Boulanger 95]{Bou95} Boulanger, J.L.\\
+``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[Bronstein 87]{Mon87} Bronstein, Manuel\\
+``Integration of Algebraic and Mixed Functions''\\
+in [Wit87], p18
+
+\bibitem[Bronstein 89]{Bro89} Bronstein, M.\\
+``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''
+\bibitem[Bronstein 91a]{Bro91a} Bronstein, M.\\
+``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},
+\bibitem[Bronstein 91b]{Bro91b} Bronstein, M.\\
+``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,
+\bibitem[Bronstein 93]{Bro93} Bronstein, Manuel (ed)\\
+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''\\
+\bibitem[Brunelli 09]{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\\
+\bibitem[Bronstein 93]{BS93} Bronstein, Manuel; Salvy, Bruno\\
+``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[Beneke 94]{BS94} Beneke, T.; Schwippert, W.\\
+``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''
+\bibitem[Borwein 00]{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
+\bibitem[Boulme 00]{BHR00} Boulm\'e, S.; Hardin, T.; Rioboo, R.\\
``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''
+\bibitem[Boulme 01]{BHHMR01}
+Boulm\'e, S.; Hardin, T.; Hirschkoff, D.; M\'enissier-Morain, V.; Rioboo, R.\\
+``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
+\bibitem[Brown 94]{BT94} Brown, R.; Tonks, A.\\
+``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,
+\bibitem[Brown 95]{BD95} Brown, Ronald; Dreckmann, Winfried\\
``Domains of data and domains of terms in AXIOM''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
-\bibitem[Buh05]{Buh05}
-Buhl, Soren L.,
+\bibitem[Buhl 05]{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[Burge 91]{Bur91} Burge, W.H.\\
+``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''
+\bibitem[Burge 87]{BW87} Burge, W.; Watt, S.\\
+``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[BWM87]{BWM87}
-William H. Burge, Stephen M. Watt, Scott C. Morrison
-``Streams and Power Series''
+\bibitem[Burge 87a]{BWM87} Burge, William H.; Watt, Stephen M.;
+Morrison, Scott C.\\
+``Streams and Power Series''\\
in [Wit87], pp9-12
-\bibitem[BW89]{BW89}
-W. H. Burge and S. M. Watt ``Infinite structures in Scratchpad II''
+\bibitem[Burge 89]{BW89} Burge, W. H.; Watt, S. M.\\
+``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.
+\bibitem[Calmet 94]{Cal94} Calmet, J. (ed)\\
+Rhine Workshop on Computer Algebra, Proceedings.
Universit{\"a}t Karsruhe, Karlsruhe, Germany 1994
-\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
+\bibitem[Camion 92]{CCM92} Camion, Paul; Courteau, Bernard; Montpetit, Andre\\
+``Un probl{\`{e}}me combinatoire dans les graphs de Hamming et sa solution
+en Scratchpad''\\
+``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
+\bibitem[Caprotti]{CCR} Caprotti, Olga; Cohen, Arjeh M.; 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.
+\bibitem[Capriotti 99]{CC99} Capriotti, O.; 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
+\bibitem[Capriotti (a)]{CCCS} Capriotti, Olga; Cohen, Arjeh M.;
+Cuypers, Hans; Sterk, Hans\\
``OpenMath Technology for Interactive Mathematical Documents''\\
\verb|www.win.tue.nl/~hansc/lisbon.pdf|
-\bibitem[CCxx]{CCxx}
-Quentin Carpent, Christophe Conil
+\bibitem[Carpent]{CCxx} Carpent, Quentin; Conil, Christophe\\
``Utilisation de logiciels libres pour la r\'ealisation de TP MT26'' (2004)\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
-\bibitem[Che86]{Che86}
-G.W. Cherry "Integration in Finite Terms with Special Functions: The Logarithmic Integral"
+\bibitem[Cherry 86]{Che86} Cherry, G.W.\\
+``Integration in Finite Terms with Special Functions:
+The Logarithmic Integral''\\
SIAM J. Comput. Vol 15 No 1 February 1986
-\bibitem[Chu87]{Chu87}
-Chudnovsky, D.V. and Chudnovsky, G.V.
-``New Analytic Methods of Polynomial Root Finding''
+\bibitem[Chudnovsky 87]{Chu87} Chudnovsky, D.V; Chudnovsky, G.V.\\
+``New Analytic Methods of Polynomial Root Finding''\\
in [Wit87], p2
-\bibitem[Chu89]{Chu89}
-Chudnovsky, D.V. and Chudnovsky, G.V.
+\bibitem[Chudnovsky 89]{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''
+\bibitem[Chudnovsky 86]{CJ86} Chudnovsky, David; 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
+\bibitem[Cohen]{CCBS} Cohen, Arjeh; Cuypers, M.; Barreiro, Hans;
+Reinaldo, Ernesto; Sterk, Hans\\
``Interactive Mathematical Documents on the Web''
Springer 9783540002576-c1.pdf
-\bibitem[CC91]{CC91}
-G. Cohen and P. Charpin, editors EUROCODE '90 International Symposium on
+\bibitem[Cohen 91]{CC91} Cohen, G.; Charpin, P.; (ed)\\
+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[CFMPxxa]{CFMPxxa}
-Marc Conrad, Tim French, Carsten Maple, Sandra Pott
+\bibitem[Conrad (a)]{CFMPxxa} Conrad, Marc; French, Tim; Maple, Carsten;
+Pott, Sandra\\
``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
+\bibitem[Conrad (b)]{CFMPxxb} Conrad, Marc; French, Tim; Maple, Carsten;
+Pott, Sandra\\
``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
+\bibitem[Cuypers]{CHK} Cuypers, Hans; Hendriks, Maxim; Knopper, Jan Willem\\
``Interactive Geometry inside MathDox''\\
\verb|www.win.tue.nl/~hansc/MathDox_and_InterGeo_paper.pdf|
\subsection{D} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Dalmas]{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[Dal92]{Dal92}
-S. Dalmas ``A polymorphic functional language applied to symbolic computation''
+\bibitem[Dalmas 92]{Dal92} Dalmas, S.\\
+``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''
+\bibitem[Daly 88]{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
+\bibitem[Daly 02]{Dal02} Daly, Timothy\\
+``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''\\
+\bibitem[Daly 03]{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,
+\bibitem[Daly 06]{Dal06} Daly, Timothy\\
+``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"\\
+\bibitem[Daly 09]{Dal09} Daly, Timothy\\
+``The Axiom Literate Documentation''\\
\verb|http://axiom.axiom-developer.org/axiom-website/documentation.html|
-\bibitem[Dal13]{Dal13}
-Daly, Timothy
+\bibitem[Daly 13]{Dal13} Daly, Timothy
``Literate Programming in the Large''
April 8-9, 2013 Portland Oregon\\
\verb|conf.writethedocs.org|\\
\verb|daly.axiom-developer.org|
-\bibitem[Dav79a]{Dav79a}
-Davenport, J.H.
-``What can SCRATCHPAD/370 do?''
+\bibitem[Davenport 79a]{Dav79a} Davenport, J.H.\\
+``What can SCRATCHPAD/370 do?''\\
VM/370 SPAD.SCRIPTS August 24, 1979 SPAD.SCRIPT
-\bibitem[Dav79b]{Dav79b}
-James Harold Davenport
-``On the Integration of Algebraic Functions''
+\bibitem[Davenport 79b]{Dav79b} Davenport, James Harold\\
+``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''
+\bibitem[Davenport 80]{Dav80} Davenport, J.H.; Jenks, R.D.\\
+``MODLISP -- an Introduction''\\
Proc LISP80, 1980, and IBM RC8357 Oct 1980
-\bibitem[Dav82]{Dav82}
-Davenport, J.H. ``On the Parallel Risch Algorithm (III): Use of Tangents''
+\bibitem[Davenport 82]{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''
+\bibitem[Davenport 84]{DGJ84} Davenport, J.; Gianni, P.; Jenks, R.;
+Miller, V.; Morrison, S.; Rothstein, M.; Sundaresan, C.; Sutor, R.;
+Trager, B.\\
+``Scratchpad''\\
+Mathematical Sciences Department, IBM Thomas Watson Research Center 1984
+
+\bibitem[Davenport 85]{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,
+\bibitem[Davenport 88]{DST88} Davenport, J.H.; Siret, Y.; Tournier, E.\\
+Computer Algebra: Systems and Algorithms for Algebraic Computation.
+Academic Press, New York, NY, USA, 1988, ISBN 0-12-204232-9
+
+\bibitem[Davenport 89]{Dav89} Davenport, J.H. (ed)\\
+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)
+\bibitem[Davenport 90]{DT90} Davenport, J. H.; Trager, B. M.\\
+``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[Davenport 91]{DGT91} Davenport, J. H.;, Gianni, P.; Trager, B. M.\\
+``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[Davenport 92]{DGT92} Davenport, J. H.;, Gianni, P.; Trager, B. M.\\
+``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[Davenport 92a]{Dav92a} Davenport, J. H.\\
+``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
+\bibitem[Davenport 92b]{Dav92b} Davenport, J. H.\\
+``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\\
+\bibitem[Davenport 92c]{DT92} Davenport, J. H.; Trager, B. M.\\
+``Scratchpad's view of algebra I: Basic 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[Davenport 93]{Dav93} Davenport, J. H.\\
+``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
+\bibitem[Davenport (a)]{DFxx} Davenport, James; Faure, Christ\'ele\\
``The Unknown in Computer Algebra''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
-\bibitem[Dav00]{Dav00}
-Davenport, James
+\bibitem[Davenport 00]{Dav00} Davenport, James\\
``13th OpenMath Meeting''
James H. Davenport
``A New Algebra System''
@@ -379,808 +403,723 @@ 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\\
+\bibitem[Davenport 10]{Dav10} Davenport, J. H.\\
+``Computer Algebra'' \hfill\\
\verb|staff.bath.ac.uk/masjhd/JHD-CA.pdf|
-\bibitem[Dav12]{Dav12}
-Davenport, J.H.
+\bibitem[Davenport 12]{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\\
+\bibitem[Davenport (b)]{DSTxx} Davenport, J. H.; Siret; Tournier\\
+``Computer Algebra'' \hfill\\
\verb|staff.bath.ac.uk/masjhd/masternew.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[Dew94]{Dew94}
-Dewar, M. C. ``Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link''
+\bibitem[Dewar 94]{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
+\bibitem[Dewar]{Dew} Dewar, Mike\\
``OpenMath: An Overview''\\
\verb|www.sigsam.org/bulletin/articles/132/paper1.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
+\bibitem[Dicrescenzo 89]{DD89} Dicrescenzo, C.; Duval, D.\\
+``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[DLMF]{DLMF}
+\bibitem[DLMF]{DLMF}.\\
+``Digital Library of Mathematical Functions''\\
\verb|http://dlmf.nist.gov/software/#T1|
-\bibitem[Doo99]{Doo99}
-Sam Dooley, editor. ISSAC 99: July 29-31, 1999, Simon Fraser University,
+\bibitem[Dooley 99]{Doo99} Dooley, Sam 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''
+\bibitem[Doye 97]{Doy97} Doye, Nicolas James\\
+``Order Sorted Computer Algebra and Coercions''\\
Ph.D. Thesis University of Bath 1997\\
\verb|axiom-wiki.newsynthesis.org/public/refs/doye-aldor-phd.pdf|
-\bibitem[Doy99]{Doy99}
-Nicolas J. Doye. ``Automated coercion for Axiom'' in Dooley [Doo99], pp229-235
+\bibitem[Doye 99]{Doy99} Doye, Nicolas J.\\
+``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'' 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
+\bibitem[Dominguez]{DRxx} Dom\'inguez, C\'esar; Rubio, Julio\\
``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
+\bibitem[Dunstan 97]{Dun97} Dunstan, Martin; Ursula, Martin; Linton, Steve\\
+``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[Dunstan 98]{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,
+\bibitem[Dunstan 99]{Dun99} Dunstan, Martin; Kelsey, Tom; Martin, Ursula;
+Linton, Steve\\
+``Formal Methods for Extensions to CAS''\\
FM 99, Toulouse, France, Sept 20-24, 1999, p1758-1777
-\bibitem[Dun99a]{Dun99a}
-Dunstan, MN
-``Larch/Aldor - A Larch BISL for AXIOM and Aldor''
+\bibitem[Dunstan 99a]{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
+\bibitem[Dunstan (a)]{Dunxx} Dunstan, Martin N.\\
``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
+\bibitem[Dunstan 01]{DGKM01} Dunstan, Martin; Gottliebsen, Hanne;
+Kelsey, Tom; 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
+\bibitem[Dunstan 01a]{DGKM01a} Dunstan, Martin; Gottliebsen, Hanne;
+Kelsey, Tom; 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[DJ92]{DJ92}
-D. Duval and F. Jung ``Examples of problem solving using computer algebra''
+\bibitem[Duval 92]{DJ92} Duval D.; Jung, F.\\
+``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[Duv94]{Duv94}
-Dominique Duval
-``Symbolic or algebraic computation?''
+\bibitem[Duval 94]{Duv94} Duval, Dominique\\
+``Symbolic or algebraic computation?''\\
Madrid Spain, NAG conference (private copy of paper)
-\bibitem[Du95]{Du95}
-Duval, D. ``Evaluation dynamique et cl\^oture alg\'ebrique en Axiom''.
+\bibitem[Duval 95]{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''\\
+\bibitem[Erocal 10]{ES10} Er\"ocal, Burcin; Stein, William\\
+``The Sage Project''\\
\verb|wstein.org/papers/icms/icms_2010.pdf|
\subsection{F} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Fateman 90]{Fat90} Fateman, R. J.\\
+``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[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\\
+\bibitem[Fateman 05]{Fat05} Fateman, R. J.\\
+``An incremental approach to building a mathematical 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
+\bibitem[Faure 00a]{FDN00a} Faure, Christ\'ele; Davenport, James\\
``Parameters in Computer Algebra''
-\bibitem[FDN00b]{FDN00b}
-Faure, Christ\'ele, Davenport, James, Naciri, Hanane
-``Multi-values Computer Algebra''
+\bibitem[Faure 00b]{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
+\bibitem[Fitch 84]{Fit84} Fitch, J. P. (ed)\\
+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
+\bibitem[Fitch 93]{Fit93} Fitch, J. (ed)\\
+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''\\
+\bibitem[Fogus 11]{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''
+\bibitem[Fortenbacher 90]{For90} Fortenbacher, A.\\
+``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''
+\bibitem[Fouche 90]{Fou90} Fouche, Francois\\
+``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''\\
+\bibitem[Frisco ]{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[Gebauer 86]{GM86} Gebauer, R{\"u}diger; M{\"o}ller, H. Michael\\
+``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[Gebauer 88]{GM88} Gebauer, R.; M{\"o}ller, H. M.\\
+``On an installation of Buchberger's algorithm''\\
+Journal of Symbolic Computation, 6(2-3) pp275-286 1988
+CODEN JSYCEH ISSN 0747-7171
+
+\bibitem[Geddes 92]{GCL92} Geddes, Keith; Czapor, O.; Stephen R.;
+Labahn, George\\
+``Algorithms For Computer Algebra''\\
+Kluwer Academic Publishers ISBN 0-7923-9259-0 (Sept 1992)
-\bibitem[Gia87]{Gia87}
-Patrizia Gianni
-``Primary Decomposition of Ideals''
+\bibitem[Gianni 87]{Gia87} Gianni, Patrizia\\
+``Primary Decomposition of Ideals''\\
in [Wit87], pp12-13
-\bibitem[Gia89]{Gia89}
-P. (Patrizia) Gianni, editor. Symbolic and Algebraic Computation.
+\bibitem[Gianni 89a]{Gia89} Gianni, P. (Patrizia) (ed)\\
+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.
+\bibitem[Gianni 89b]{GM89} Gianni, P.; Mora, T.\\
+``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[Gil 92]{Gil92} Gil, I.\\
+``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[Gom92]{Gom92}
-Teresa G\'omez-D'iaz
+\bibitem[Gomez-Diaz 92]{Gom92} G\'omez-D'iaz, Teresa\\
``Quelques applications de l`\'evaluation dynamique''
Ph.D. Thesis L'Universite De Limoges March 1992
-\bibitem[Gom93]{Gom93}
-Teresa G\'omez-D\'iaz
+\bibitem[Gomez-Diaz 93]{Gom93} G\'omez-D\'iaz, Teresa\\
``Examples of using Dynamic Constructible Closure''
IMACS Symposium SC-1993
-\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[Goodwin 91]{GBL91} Goodwin, B. M.; Buonopane, R. A.; Lee, A.\\
+``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,
+\bibitem[Golden 4]{GH84} Golden, V. Ellen; Hussain, M. A. (eds)\\
+Proceedings of the 1984 MACSYMA Users' Conference:
+Schenectady, New York, July 23-25, 1984, General Electric,
Schenectady, NY, USA, 1984
-\bibitem[Gon96]{Gon96}
-Gonnet, Gaston H.
+\bibitem[Gonnet 96]{Gon96} Gonnet, Gaston H.\\
``Official verion 1.0 of the Meta Content Dictionary''\\
\verb|www.inf.ethz.ch/personal/gonnet/ContDict/Meta|
-\bibitem[GKM05]{GKM05}
-Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
-``Hidden verification for computational mathematics''
+\bibitem[Goodloe 93]{GL93} Goodloe, A.; Loustaunau, P.\\
+``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[Gottliebsen 05]{GKM05} Gottliebsen, Hanne; Kelsey, Tom;
+Martin, Ursula\\
+``Hidden verification for computational mathematics''\\
Journal of Symbolic Computation, Vol39, Num 5, 2005
-\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[Grabe 98]{Gra98} Gr\"abe, Hans-Gert\\
+``About the Polynomial System Solve Facility of Axiom, Macyma, Maple
+Mathematica, MuPAD, and Reduce''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
-\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\\
+\bibitem[Grabmeier 91]{GHK91} Grabmeier, J.; Huber, K.; Krieger, U.\\
+``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[Grabmeier 92]{GS92} Grabmeier, J.; Scheerhorn, A.\\
+``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|\\
+and Technical Report, IBM Heidelberg Scientific Center, 1992
+
+\bibitem[Grabmeier 03]{GKW03} Grabmeier, Johannes; Kaltofen, Erich;
+Weispfenning, Volker (eds)\\
+Computer algebra handbook: foundations, applications, systems.
+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[Griesmer 71]{GJ71} Griesmer, J. H.; Jenks, R.D.\\
+``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|
SYMSAC'71 Proc. second ACM Symposium on Symbolic and Algebraic
Manipulation pp45-48
-\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[Griesmer 72a]{GJ72a} Griesmer, J.; Jenks, R.\\
+``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''
+\bibitem[Griesmer 72b]{GJ72b} Griesmer, James H.; Jenks, Richard D.\\
+``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''
+\bibitem[Griesmer 75]{GJY75} Griesmer, J.H.; Jenks, R.D.; Yun, D.Y.Y\\
+``SCRATCHPAD User's Manual''\\
IBM Research Publication RA70 June 1975
-\bibitem[GJY76]{GJY76}
-Griesmer, J.H., Jenks, R.D., Yun, D.Y.Y
-``A Set of SCRATCHPAD Examples''
+\bibitem[Griesmer 76]{GJY76} Griesmer, J.H.; Jenks, R.D.; Yun, D.Y.Y\\
+``A Set of SCRATCHPAD Examples''\\
April 1976 (private copy)
-\bibitem[GKW03]{GKW03}
-Johannes Grabmeier, Erich Kaltofen, and Volker Weispfenning, editors.
-Computer algebra handbook: foundations, applications, systems.
-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[Gruntz 94]{GM94} Gruntz, D.; Monagan, M.\\
+``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[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|\\
-and Technical Report, IBM Heidelberg Scientific Center, 1992
-
-\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''
+\bibitem[Gruntz 96]{Gru96} Gruntz, Dominik\\
+``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[HBW87]{HBW87}
-Martin Hassner, William H. Burge, Stephen M. Watt,
+\bibitem[Hassner 87]{HBW87} Hassner, Martin; Burge, William H.;
+Watt, Stephen M.\\
``Construction of Algebraic Error Control Codes (ECC) on the Elliptic
-Riemann Surface''
+Riemann Surface''\\
in [Wit87], pp5-8
-\bibitem[Hec01]{Hec01}
-Heck, A. ``Variables in computer algebra, mathematics and science''
+\bibitem[Heck 01]{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.
+\bibitem[Huguet 89]{HP89} Huguet, L.; Poli, A. (eds).\\
+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[Jacob 93]{JOS93} Jacob, G.; Oussous, N. E.; Steinberg, S. (eds)\\
+Proceedings SC 93
+International IMACS Symposium on Symbolic Computation. New Trends and
+Developments. LIFL Univ. Lille, Lille France, 1993
-\bibitem[Jan88]{Jan88}
-R. Jan{\ss}en, editor. Trends in Computer Algebra, International Symposium
+\bibitem[Janssen 88]{Jan88} Jan{\ss}en, R. (ed)\\
+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'',
+\bibitem[Jenks 69]{Jen69} Jenks, R. D.\\
+``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: An Introduction''
-Proc EUROSAM 79, pp466-480, 1979 and IBMRC8073 Jan 1980
-
-\bibitem[Jen71]{Jen71}
-R. D. Jenks ``META/PLUS: The syntax extension facility for SCRATCHPAD'',
+\bibitem[Jenks 71]{Jen71} Jenks, R. D.\\
+``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[Jenks 74]{Jen74} Jenks, R. D.\\
+``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,
+\bibitem[Jen76]{Jen76} Jenks, Richard D.\\
+``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[Jenks 79]{Jen79} Jenks, R. D.\\
+``MODLISP: An Introduction''\\
+Proc EUROSAM 79, pp466-480, 1979 and IBMRC8073 Jan 1980
-\bibitem[JT81]{JT81}
-Jenks, R.D. and Trager, B.M. ``A Language for Computational Algebra''
+\bibitem[Jenks 81]{JT81} Jenks, R.D.; 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''
+\bibitem[Jenks 81a]{JT81a} Jenks, R.D.; 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''
+\bibitem[Jenks 81b]{JT81b} Jenks, R.D.; 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[Jenks 84a]{Jen84a} Jenks, Richard D.\\
+``The new SCRATCHPAD language and system for computer algebra''\\
+In Golden and Hussain [GH84], pp409-??
-\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[Jenks 84b]{Jen84b} Jenks, Richard D.\\
+``A primer: 11 keys to New Scratchpad''\\
+In Fitch [Fit84], pp123-147. ISBN 0-387-13350-X LCCN QA155.7.E4 I57 1984
-\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[Jenks 86]{JWS86} Jenks, Richard D.; Sutor, Robert S.;
+Watt, Stephen M.\\
+``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''
+\bibitem[Jenks 87]{JWS87} Jenks, Richard D.; Sutor, Robert S.;
+Watt, Stephen M. \\
+``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],
+\bibitem[Jenks 88]{JSW88} Jenks, R. D.; Sutor, R. S.; Watt, S. M.\\
+``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
+\bibitem[Jenks 88a]{Jen88a} Jenks, R. D.\\
+``A Guide to Programming in BOOT''\\
+Computer Algebra Group, Mathematical Sciences Department, IBM Research
+Draft September 5, 1988
+
+\bibitem[Jenks 88b]{Jen88b} Jenks, Richard\\
+``The Scratchpad II Computer Algebra System Interactive Environment Users
+Guide''\\
+ Spring 1988
+
+\bibitem[Jenks 88c]{JWS88} Jenks, R. D.; Sutor, R. S.; Watt, S. M.\\
+``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\\
+\bibitem[Jenks 92]{JS92} Jenks, Richard D.; Sutor, Robert S.\\
+``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[Jenks 94]{JT94} Jenks, R. D.; Trager, B. M.\\
+``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''
+\bibitem[Joswig 03]{JT03} Joswig, Michael; Takayama, Nobuki\\
+``Algebra, geometry, and software systems''\\
Springer-Verlag ISBN 3-540-00256-1 p291
+\bibitem[Joyner 06]{J006} Joyner, David\\
+``OSCAS - Maxima''\\
+SIGSAM Communications in Computer Algebra, 157 2006\\
+\verb|sage.math.washington.edu/home/wdj/sigsam/oscas-cca1.pdf|
+
\subsection{K} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Kau08]{Kau08}
-Manuel Kauers
+\bibitem[Kauers 08]{Kau08} Kauers, Manuel\\
``Integration of Algebraic Functions: A Simple Heuristic for Finding
-the Logarithmic Part''
+the Logarithmic Part''\\
ISSAC July 2008 ACM 978-1-59593-904 pp133-140
\verb|www.kauers.de/publications.html|
-\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[Keady 94]{KN94} Keady, G.; Nolan, G.\\
+``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[Kel99]{Kel99}
-Kelsey, Tom
+\bibitem[Kelsey 99]{Kel99} Kelsey, Tom\\
``Formal Methods and Computer Algebra: A Larch Specification of AXIOM
-Categories and Functors''
+Categories and Functors''\\
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.
+\bibitem[Kelsey 00a]{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[Kelsey 00b]{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[Kendall 99a]{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.
+\bibitem[Kendall 99b]{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''
+\bibitem[Kosleff 91]{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[Kusche 89]{KKM89} Kusche, K.; Kutzler, B.; Mayr, H.\\
+``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
+\subsection{L} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Lah08]{Lah08}
-Lahey, Tim "Sage Integration Testing"\\
+\bibitem[Lahey 08]{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[Lambe 91]{Lam91} Lambe, L. A.\\
+``Resolutions via homological perturbation''\\
+Journal of Symbolic Computation 12(1) pp71-87 July 1991
+CODEN JSYCEH ISSN 0747-7171
-\bibitem[Lam92]{Lam92}
-Larry Lambe
+\bibitem[Lambe 92]{Lam92} Lambe, Larry\\
``Next Generation Computer Algebra Systems AXIOM and the Scratchpad
-Concept: Applications to Research in Algebra''
+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\\
+\bibitem[Lambe 93]{Lam93} Lambe, Larry\\
+``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''
+\bibitem[Lambe 93a]{LL93} Lambe, Larry; Luczak, Richard\\
+``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''
+\bibitem[Lebedev 08]{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''
+\bibitem[LeBlanc 91]{LeB91} LeBlanc, S.E.\\
+``The use of MathCAD and Theorist in the ChE classroom''\\
+In Anonymous [Ano91], pp287-299 (vol. 1) 2 vols.
+
+\bibitem[Lecerf 96]{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
+\bibitem[Leeuwen]{Leexx} van Leeuwen, Andr\'e M.A.\\
``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
+\bibitem[Levelt 95]{Lev95} Levelt, A. H. M. (ed)\\
+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
+\bibitem[Li 06]{LM06} Li, Xin; 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[Linton 93]{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''
+\bibitem[Liska 97]{LD97} Liska, Richard; Drska, Ladislav; Limpouch, Jiri;
+Sinor, Milan; Wester, Michael; Winkler, Franz\\
+``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
+\bibitem[Lucks 86]{Luc86} Lucks, Michael\\
+``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
+\bibitem[Lueken 77]{Lue77} Lueken, E.\\
+``Ueberlegungen zur Implementierung eines Formelmanipulationssystems''\\
Master's thesis, Technischen Universit{\"{a}}t Carolo-Wilhelmina zu
Braunschweig. Braunschweig, Germany, 1977
-\subsection{M} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Lynch 91]{LM91} Lynch, R.; Mavromatis, H. A.\\
+``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
+\subsection{M} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Mah05]{Mah05}
-Mahboubi, Assia, ``Programming and certifying the CAD algorithm inside the
-coq system'' Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl
+\bibitem[Mahboubi 05]{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''
+\bibitem[Mathews 89]{Mat89} Mathews, J.\\
+``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''\\
+\bibitem[McJones 11]{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,
+\bibitem[Melachrinoudis 90]{MR90} Melachrinoudis, E.; Rumpf, D. L.\\
+``Teaching advantages of transparent computer software -- MathCAD''\\
+CoED, 10(1) pp71-76, January-March 1990 CODEN CWLJDP ISSN 0736-8607
+
+\bibitem[Miola 90]{Mio90} Miola, A. (ed)\\
+``Design and Implementation of Symbolic Computation Systems''\\
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings
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,
+\bibitem[Miola 93]{Mio93} Miola, A. (ed)\\
+``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[Mon87]{Mon87}
-Michael B. Monagan
-``Support for Data Structures in Scratchpad II''
+\bibitem[Monagan 87]{Mon87} Monagan, Michael B.\\
+``Support for Data Structures in Scratchpad II''\\
in [Wit87], pp17-18
-\bibitem[Mon87]{Mon87}
-Manuel Bronstein
-``Integration of Algebraic and Mixed Functions''
-in [Wit87], p18
-
-\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[Monagan 93]{Mon93} Monagan, M. B.\\
+``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
+\bibitem[Mora 89]{Mor89} Mora, T. (ed)\\
+Applied Algebra, Algebraic Algorithms and Error-Correcting
Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1998,
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''
+\bibitem[Moses 71]{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[N95*]{N95} Naylor, Bill\\
+\bibitem[Naylor]{NPxx} Naylor, William; Padget, Julian\\
+``From Untyped to Polymorphically Typed Objects in Mathematical Web
+Services''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+
+\bibitem[Naylor 95]{N95} Naylor, Bill\\
``Symbolic Interface for an advanced hyperbolic PDE solver''\\
\verb|www.sci.csd.uwo.ca/~bill/Papers/symbInterface2.ps|
-\bibitem[N00*]{N00} Naylor, Bill\\
+\bibitem[Naylor 00a]{N00} Naylor, Bill\\
``Polynomial GCD Using Straight Line Program Representation''\\
PhD. Thesis, University of Bath, 2000\\
\verb|www.sci.csd.uwo.ca/~bill/thesis.ps|
-\bibitem[ND00*]{ND00} Naylor, W.A.; Davenport, J.H.\\
+\bibitem[Naylor 00b]{ND00} Naylor, W.A.; Davenport, J.H.\\
``A Monte-Carlo Extension to a Category-Based Type System''\\
\verb|www.sci.csd.uwo.ca/~bill/Papers/monteCarCat3.ps|
-\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[Norman 75]{Nor75} Norman, A. C.\\
+``Computing with formal power series''\\
+ACM Transactions on Mathematical Software, 1(4) pp346-356
+Dec. 1975 CODEN ACMSCU ISSN 0098-3500
-\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''
+\bibitem[Norman 75a]{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[Ollivier 89]{Oll89} Ollivier, F.\\
+``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[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}
+\bibitem[Online 72]{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[OpenMath]{OpenMa}.\\
+``OpenMath Technical Overview''\\
+\verb|www.openmath.org/overview/technical.html|
-\bibitem[Pa07]{Pa07}
-Page, William S. ``Axiom - Open Source Computer Algebra System'' Poster
-ISSAC 2007 Proceedings Vol 41 No 3 Sept 2007 p114
+\subsection{P} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\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[Page 07]{Pa07} Page, William S.\\
+``Axiom - Open Source Computer Algebra System''\\
+Poster ISSAC 2007 Proceedings Vol 41 No 3 Sept 2007 p114
-\bibitem[Pet90]{Pet90}
-Michel Petitot
+\bibitem[Petitot 90]{Pet90} Petitot, Michel\\
``Types r\'ecursifs en scratchpad, application aux polyn\^omes non
-commutatifs''
+commutatifs''\\
LIFL, 1990
-\bibitem[Pet93]{Pet93}
-M. Petitot ``Experience with Axiom'' In Jacob et al. [JOS93], page 240
+\bibitem[Petitot 93]{Pet93} Petitot, M.\\
+``Experience with Axiom''\\
+In Jacob et al. [JOS93], page 240
+
+\bibitem[Petric 71]{Pet71} Petric, S. R. (ed)\\
+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[Pin93]{Pin93}
-Pinch, R.G.E. ``Some Primality Testing Algorithms''
+\bibitem[Pinch 93]{Pin93} Pinch, R.G.E.\\
+``Some Primality Testing Algorithms''\\
Devlin, Keith (ed.)
Computers and Mathematics November 1993, Vol 40, Number 9 pp1203-1210
-\bibitem[PT99]{PT99}
-Erik Poll, Simon Thompson
+\bibitem[Poll 99]{PT99} Poll, Erik; Thompson, Simon\\
``The Type System of Aldor''\\
\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
-\bibitem[PT00]{PT00}
-Erik Poll, Simon Thompson
+\bibitem[Poll 00]{PT00} Poll, Erik; Thompson, Simon\\
``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
+\bibitem[Poll (a)]{PTxx} Poll, Erik; Thompson, Simon\\
``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
+\bibitem[Poll (b)]{Polxx} Poll, Erik\\
``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
+\bibitem[Purtilo 86]{Pur86} Purtilo, J.\\
+``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
@@ -1188,325 +1127,310 @@ A281 1986 ACM order number 505860
\subsection{R} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Rob93]{Rob93}
-Nicolas Robidoux
-``Does Axiom Solve Systems of O.D.E's Like Mathematica?''
+\bibitem[Robidoux 93]{Rob93} Robidoux, Nicolas\\
+``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)
+\bibitem[Rioboo 92]{Rio92} Rioboo, R.\\
+``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
+\bibitem[Roesner 95]{Roe95} Roesner, K. G.\\
+``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,
+\bibitem[Salvy 89]{Sal89} Salvy, B.\\
+``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
+\bibitem[Salvy 91]{Sal91} Salvy, B.\\
+``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[Schu 92]{Sch92} Sch\"u, J.\\
+``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[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[Schwarz 88]{Sch88} Schwarz, F.\\
+``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[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[Schwarz 89]{Sch89} Schwarz, F.\\
+``A factorization algorithm for linear ordinary differential equations''\\
+In ACM [ACM89], pp17-25 ISBN 0-89791-325-6 LCCN QA76.95.I59 1989
-\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[Schwarz 91]{Sch91} Schwarz, F.\\
+``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[Sei94a]{Sei94a}
-W. M. Seiler ``Completion to involution in AXIOM'' in Calmet [Cal94] pp103-104
+\bibitem[Seiler 94a]{Sei94a} Seiler, W.M.\\
+``Completion to involution in AXIOM''\\
+in Calmet [Cal94] pp103-104
-\bibitem[Sie94b]{Sie94b}
-W. M. Seiler ``Pseudo differential operators and integrable systems in AXIOM''
+\bibitem[Sieler 94b]{Sie94b} Seiler, W.M.\\
+``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''
+\bibitem[Seiler 95]{Sei95} Seiler, W.M.\\
+``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
+\bibitem[Seiler 95b]{SC95} Seiler, W.M.; Calmet, J.\\
``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.
+\bibitem[Seiler (a)]{Seixx} Seiler, W.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[Shannon 88]{SS88} Shannon, D.; Sweedler, M.\\
+``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[Sit89]{Sit89}
-W. Y. Sit ``On Goldman's algorithm for solving first-order multinomial
+\bibitem[Sit 89]{Sit89} Sit, W.Y.\\
+``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
+\bibitem[Sit 92]{Sit92} Sit, W.Y.\\
+``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 --
+\bibitem[Smedley 92]{Sme92} Smedley, Trevor J.\\
+``Using pictorial and object oriented programming for computer algebra''\\
+In Hal Berghel et al., editors. Applied computing --
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[Smith 07]{SDJ-7} Smith, Jacob; Dos Reis, Gabriel; Jarvi, Jaakko\\
+``Algorithmic differentiation in Axiom''\\
+ACM SIGSAM ISSAC Proceedings 2007 Waterloo, Canada 2007 pp347-354
+ISBN 978-1-59593-743-8
-\bibitem[SSC92]{SSC92}
+\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[SSV87]{SSV87} Senechaud, P.; Siebert, F.; Villard G.\\
+``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),
+\bibitem[Sutor 85]{Sut85} Sutor, R.S.\\
+``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[Sutor 87a]{SJ87a} Sutor, R. S.; Jenks, R. D.\\
+``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[Sutor 87b]{Su87} Sutor, Robert S.\\
+``The Scratchpad II Computer Algebra System. Using and
+Programming the Interpreter''\\
+IBM Course presentation slide deck Spring 1987
+
+\bibitem[Sutor 87c]{SJ87c} Sutor, Robert S.; Jenks, Richard\\
+``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[Tho00]{Tho00}
-Simon Thompson
+\bibitem[Sutor 88]{Su88} Sutor, Robert S.\\
+``A guide to programming in the scratchpad 2 interpreter''\\
+IBM Manual, March 1988
+
+\subsection{T} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\bibitem[Thompson 00]{Tho00} Thompson, Simon\\
``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
+\bibitem[Thompson (a)]{TTxx} Thompson, Simon; Timochouk, Leonid\\
``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''
+\bibitem[Touratier 98]{Tou98} Touratier, Emmanuel\\
+``Etude du typage dans le syst\`eme de calcul scientifique Aldor''\\
Universit\'e de Limoges 1998\\
\subsection{U} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Unk84]{Unk84}
-Unknown
-``A New Algebra System''
+\bibitem[Unknown 84]{Unk84} Unknown\\
+``A New Algebra System''\\
(private copy of unpublished paper)
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\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
+\bibitem[van Hoeij 94]{vH94} van Hoeij, M.\\
+``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''
+\bibitem[Vasconcelos 99]{Vas99} Vasconcelos, Wolmer\\
+``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
+\bibitem[Wang 89]{Wan89} Wang, D.\\
+``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
+\bibitem[Wang 91]{Wan91} Wang, Dongming\\
+``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
+\bibitem[Wang 92]{Wan92} Wang, Paul S. (ed)\\
+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[Wat87]{Wat87}
-Stephen Watt
-``Domains and Subdomains in Scratchpad II''
+\bibitem[Watanabe 90]{WN90} Watanabe, Shunro; Nagata, Morio; (ed)\\
+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[Watt 87]{Wat87} Watt, Stephen\\
+``Domains and Subdomains in Scratchpad II''\\
in [Wit87], pp3-5
-\bibitem[WB87]{WB87}
-Stephen M. Watt and William H. Burge
-``Mapping as First Class Objects''
+\bibitem[Watt 87a]{WB87} Watt, Stephen M.; Burge, William H.\\
+``Mapping as First Class Objects''\\
in [Wit87], pp13-17
-\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[Watt 89]{Wat89} Watt, S. M.\\
+``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
+\bibitem[Watt 90]{WJST90} Watt, S.M.; Jenks, R.D.; Sutor, R.S.; Trager B.M.\\
+``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[Watt 91]{Wat91} Watt, Stephen M. (ed)\\
+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)''
+\bibitem[Watt 94a]{Wat94a} Watt, Stephen M., et. al.\\
+``A\# User's Guide''\\
+Version 1.0.0 O($\epsilon{}^1$) June 8, 1994
+
+\bibitem[Watt 94b]{Wat94} Watt, Stephen M.; Broadbery, Peter A.;
+Dooley, Samuel S.; 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''
+\bibitem[Watt 94c]{Wat94c} Watt, Stephen M.\\
+``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''
+\bibitem[Watt 95]{Wat95} Watt, S.M.; Broadbery, P.A.; Dooley, S.S.; Iglio, P.
+Steinbach, J.M.; Morrison, S.C.; Sutor, R.S.\\
+``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[Weber 93]{Web93} Weber, A.\\
+``On coherence in computer algebra''\\
+In Miola [Mio93], pp95-106 ISBN 3-540-57235-X LCCN QA76.9.S88I576 1993
-\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''
+\bibitem[Weber 94]{Web94} Weber, Andreas\\
+``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''
+\bibitem[Wei-Jiang 12]{WJ12} Wei-Jiang\\
+``Top free algebra System''\\
+\verb|wei-jiang.com/it/software/top-free-algebra-system-bye-mathematica-bye-maple|
+
+\bibitem[Wester 99]{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
+\bibitem[Wexelblat 87]{Wex87} Wexelblat, Richard L. (ed)\\
+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[Wityak 87]{Wit87} Wityak, Sandra\\
+``Scratchpad II Newsletter''\\
+Volume 2, Number 1, Nov 1987
-\bibitem[WWW1]{WWW1}
+\bibitem[WWW1]{WWW1}.\\
Software Preservation Group\\
\verb|www.softwarepresentation.org/projects/LISP/common_lisp_family|
-\bibitem[Wit87]{Wit87}
-Sandra Wityak
-``Scratchpad II Newsletter''
-Volume 2, Number 1, Nov 1987
-
\subsection{Y} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Yap00]{Yap00}
-Yap, Chee Keng ``Fundamental Problems of Algorithmic Algebra''
+\bibitem[Yap 00]{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\\
+\bibitem[Youssef 04]{You04} Youssef, Saul\\
+``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''
+\bibitem[Yun 83]{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,
+\bibitem[Zen92]{Zen92} Zenger, Ch.\\
+``Gr{\"o}bnerbasen f{\"u}r Differentialformen und ihre
+Implementierung in AXIOM''\\
+Diplomarbeit, Universit{\"a}t Karlsruhe,
Karlsruhe, Germany, 1992
-\bibitem[Zip92]{Zip92}
-Richard Zippel
-``Algebraic Computation'' (unpublished)
-Cornell University Ithaca, NY Sept 1992
+\bibitem[Zip92]{Zip92} Zippel, Richard\\
+``Algebraic Computation''\\
+(unpublished) Cornell University Ithaca, NY Sept 1992
-\bibitem[Zwi92]{Zwi92}
-Daniel Zwillinger
-``Handbook of Integration''
+\bibitem[Zwi92]{Zwi92} Zwillinger, Daniel\\
+``Handbook of Integration''\\
Jones and Bartlett, 1992, ISBN 0-86720-293-9
\newpage
@@ -1514,1687 +1438,1517 @@ Jones and Bartlett, 1992, ISBN 0-86720-293-9
\subsection{A} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Ab98]{Ab98}
-Ablamowicz Rafal, ``Spinor Representations of Clifford
-Algebras: A Symbolic Approach'', Computer Physics Communications
+\bibitem[Ablamowicz 98]{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[Abramowitz 64]{AS64} Abramowitz, Milton; 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''
+\bibitem[Abramowitz 68]{AS68} Abramowitz M; Stegun I A\\
+``Handbook of Mathematical Functions''\\
Dover Publications. (1968)
-\bibitem[Alt05]{Alt05}
-Altmann, Simon L. Rotations, Quaternions, and Double Groups
+\bibitem[Altmann 05]{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''
+\bibitem[Ames 77]{Ames77} Ames W F\\
+``Nonlinear Partial Differential Equations in Engineering''\\
Academic Press (2nd Edition). (1977)
-\bibitem[Amos86]{Amos86}
-Amos D E,
+\bibitem[Amos 86]{Amos86} Amos D E\\
``Algorithm 644: A Portable Package for Bessel Functions of a Complex
-Argument and Nonnegative Order''
+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''
+\bibitem[Anderson 00]{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''
+\bibitem[Anthony 82]{ACH82} Anthony G T; Cox M G; 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''
+\bibitem[Aubry 99]{ALM99} P. Aubry; D. Lazard; 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''
+\bibitem[Bailey 66]{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''
+\bibitem[Baker 96]{BGM96} Baker, George A.; Graves-Morris, Peter\\
+``Pade Approximants''\\
Cambridge University Press, March 1996 ISBN 9870521450072
-\bibitem[Ba10]{Ba10}
-Baker, Martin ``3D World Simulation''\\
+\bibitem[Baker 10]{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''
+\bibitem[Baker 14]{Ba14} Baker, Martin\\
+``Axiom Architecture''\\
+\verb|www.euclideanspace.com/prog/scratchpad/internals/ccode|
+
+\bibitem[Banks 68]{BK68} Banks D O; 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[Bard 74]{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''
+\bibitem[Barrodale 73]{BR73} Barrodale I; 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$.''
+\bibitem[Barrodale 74]{BR74} Barrodale I; 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''
+\bibitem[Beauzamy 92]{Bea92} Beauzamy, Bernard\\
+``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''
+\bibitem[Beauzamy 93]{Bea93} Beauzamy, Bernard; Trevisan, Vilmar;
+Wang, Paul S.\\
+``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[Bertrand 95]{Ber95} Bertrand, Laurent\\
+``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''
+\bibitem[Berzins 87]{BBG87} Berzins M; Brankin R W; 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''
+\bibitem[Berzins 90]{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''
+\bibitem[Birkhoff 62]{BR62} Birkhoff, G; 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''
+\bibitem[Boyd9 3a]{Boyd93a} Boyd, David W.\\
+``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''
+\bibitem[Boyd 93b]{Boyd93b} Boyd, David W.\\
+``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[Braman 02a]{BBM02a} Braman, K.; Byers, R.; Mathias, R.\\
+``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[Braman 02b]{BBM02b} Braman, K.; Byers, R.; Mathias, R.\\
+``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''
+\bibitem[Brent 75]{Bre75} Brent, R. P.\\
+``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''
+\bibitem[Brent 78]{BK78} Brent, R. P.; Kung, H. T.\\
+``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[Brigham 73]{Bri73} Brigham E O\\
+``The Fast Fourier Transform''\\
+Prentice-Hall. (1973)
-\bibitem[Bri69]{Bri69}
-John Brillhart, ``On the Euler and Bernoulli polynomials''
+\bibitem[Brillhart 69]{Bri69} Brillhart, John\\
+``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''
+\bibitem[Brillhart 90]{Bri90} Brillhart, John\\
+``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''
+\bibitem[Bronstein 88]{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''
+\bibitem[Bronstein 88a]{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''
+\bibitem[Bronstein 90a]{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''
+\bibitem[Bronstein 90c]{Bro90c} Bronstein, M.\\
+``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\\
+\bibitem[Bronstein 93]{REF-BS93} Bronstein, Manuel; Salvy, Bruno\\
+``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.}
+\bibitem[Bronstein 97]{Bro97} Bronstein, M.\\
+``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
+\bibitem[Bronstein 98]{REF-Bro98} Bronstein, M.\\
+``The lazy hermite reduction''\\
+Rapport de Recherche RR-3562, INRIA, 1998
-\subsection{C} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Bronstein 98b]{Bro98b} Bronstein, Manuel\\
+``Symbolic Integration Tutorial''\\
+INRIA Sophia Antipolis ISSAC 1998 Rostock
+\subsection{C} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\bibitem[Car65]{Car65}
-Carlson B C,
-``On Computing Elliptic Integrals and Functions''
+\bibitem[Carlson 65]{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[Carlson 77a]{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[Carlson 77b]{Car77b} Carlson B C\\
+``Special Functions of Applied Mathematics''\\
+Academic Press. (1977)
-\bibitem[Car78]{Car78}
-Carlson B C,
-``Computing Elliptic Integrals by Duplication.''
+\bibitem[Carlson 78]{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''
+\bibitem[Carlson 88]{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,
+\bibitem[Cauchy 1829]{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''
+\bibitem[Childs 79]{CSDDN79} Childs B; Scott M; Daniel J W; Denman E;
+Nelson P (eds)\\
+``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''
+\bibitem[Clausen 89]{Cla89} Clausen, M.; Fortenbacher, A.\\
+``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''
+\bibitem[Clenshaw 55]{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''
+\bibitem[Clenshaw 60]{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''
+\bibitem[Clenshaw 62]{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''
+\bibitem[Cline 84]{CR84} Cline A K; 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''
+\bibitem[Conway 87]{CCNPW87} Conway, J.; Curtis, R.; Norton, S.; Parker, R.;
+Wilson, R.\\
+``Atlas of Finite Groups''\\
Oxford, Clarendon Press, 1987
-\bibitem[CS03]{CS03}
-Conway, John H. and Smith, Derek, A., ``On Quaternions and Octonions''
+\bibitem[Conway 03]{CS03} Conway, John H.; 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''
+\bibitem[Cox 72]{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''
+\bibitem[CH 73]{CH73} Cox M G; Hayes J G\\
+``Curve fitting: a guide and suite of algorithms for the
+non-specialist user''\\
+Report NAC26. National Physical Laboratory. (1973)
+
+\bibitem[Cox 74a]{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,
+\bibitem[Cox 74b]{Cox74b} Cox M G\\
``Numerical methods for the interpolation and approximation of data
-by spline functions''
+by spline functions''\\
PhD Thesis. City University, London. (1975)
-\bibitem[Cox75]{Cox75}
-Cox M G,
-``An Algorithm for Spline Interpolation''
+\bibitem[Cox 75]{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''
+\bibitem[Cox 77]{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''
+\bibitem[Cox 78]{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''
+\bibitem[Curtis 74]{CPR74} Curtis A R; Powell M J D; Reid J K\\
+``On the Estimation of Sparse Jacobian Matrices''\\
J. Inst. Maths Applics. 13 117--119. (1974)
\subsection{D} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Dahlquist 74]{DB74} Dahlquist G; Bjork A\\
+``Numerical Methods''\\
+Prentice- Hall. (1974)
-\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''
+\bibitem[Dalmas 98]{DA98} Dalmas, Stephane; 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[Dantzig 63]{Dan63} Dantzig G B\\
+``Linear Programming and Extensions''\\
+Princeton University Press. (1963)
-\bibitem[Dav]{Dav}
-James Davenport, ``On Brillhart Irreducibility.'' To appear.
+\bibitem[Davenport]{Dav} Davenport, James\\
+``On Brillhart Irreducibility.''\\
+To appear.
-\bibitem[REF-Dav93]{Ref-Dav93}
-J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93
+\bibitem[Davenport 93]{Ref-Dav93} Davenport, J.H.\\
+``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''
+\bibitem[Davis 67]{DR67} Davis P J; Rabinowitz P\\
+``Numerical Integration''\\
Blaisdell Publishing Company. 33--52. (1967)
-\bibitem[DeB72]{DeB72}
-De Boor C,
-``On Calculating with B-splines''
+\bibitem[Davis 75]{DR75} Davis P J; Rabinowitz P\\
+``Methods of Numerical Integration''\\
+Academic Press. (1975)
+
+\bibitem[DeBoor 72]{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''
+\bibitem[De Doncker 78]{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''
+\bibitem[Demmel 89]{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''
+\bibitem[Dennis 77]{DM77} Dennis J E Jr; 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''
+\bibitem[Dennis 81]{DS81} Dennis J E Jr; 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''
+\bibitem[Dennis 83]{DS83} Dennis J E Jr; Schnabel R B\\
+``Numerical Methods for Unconstrained Optimixation and Nonlinear Equations''\\
Prentice-Hall.(1983)
-\bibitem[Die75]{Die75}
-Dierckx P,
+\bibitem[Dierckx 75]{Die75} Dierckx P\\
``An Algorithm for Smoothing, Differentiating and Integration of
-Experimental Data Using Spline Functions''
+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''
+\bibitem[Dierckx 81]{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,
+\bibitem[Dierckx 82]{Die82} Dierckx P\\
``A Fast Algorithm for Smoothing Data on a Rectangular Grid while using
-Spline Functions''
+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''
+\bibitem[Dongarra 79]{DMBS79} Dongarra J J; Moler C B; Bunch J R;
+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''
+\bibitem[Dongarra 85]{DCHH85} Dongarra J J; Du Croz J J; Hammarling S;
+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''
+\bibitem[Dongarra 88]{REF-DON88} Dongarra, Jack J.; Du Croz, Jeremy;
+Hammarling, Sven; Hanson, Richard J.\\
+``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
+\bibitem[Dongarra 88a]{REF-DON88a} Dongarra, Jack J.; Du Croz, Jeremy;
+Hammarling, Sven; Hanson, Richard J.\\
``ALGORITHM 656: An Extended Set of Basic Linear Algebra Subprograms:
-Model Implementation and Test Programs''
+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''
+\bibitem[Dongarra 90]{REF-DON90} Dongarra, Jack J.; Du Croz, Jeremy;
+Hammarling, Sven; Duff, Iain S.\\
+``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
+\bibitem[Dongarra 90a]{REF-DON90a} Dongarra, Jack J.; Du Croz, Jeremy;
+Hammarling, Sven; Duff, Iain S.\\
``ALGORITHM 679: A Set of Level 3 Basic Linear Algebra Subprograms:
-Model Implementation and Test Programs''
+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''
+\bibitem[Ducos 00]{Duc00} Ducos, Lionel\\
+``Optimizations of the subresultant algorithm''\\
Journal of Pure and Applied Algebra V145 No 2 Jan 2000 pp149-163
-\bibitem[Duff77]{Duff77}
-Duff I S,
+\bibitem[Duff 77]{Duff77} Duff I S,\\
``MA28 -- a set of Fortran subroutines for sparse unsymmetric linear
-equations''
+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++'',
+\bibitem[Fletcher 01]{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
+\bibitem[Fletcher 09]{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''
+\bibitem[Fletcher 81]{Fle81} Fletcher R\\
+``Practical Methods of Optimization''\\
Vol 2. Constrained Optimization. Wiley. (1981)
-\bibitem[Flo63]{Flo63}
-Floyd, R. W.``Semantic Analysis and Operator Precedence''
+\bibitem[Floyd 63]{Flo63} Floyd, R. W.\\
+``Semantic Analysis and Operator Precedence''\\
JACM 10, 3, 316-333 (1963)
-\bibitem[For57]{For57}
-Forsythe G E,
+\bibitem[Forsythe 57]{For57} Forsythe G E,\\
``Generation and use of orthogonal polynomials for data fitting
-with a digital computer''
+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''
+\bibitem[Fortenbacher 90]{REF-For90} Fortenbacher, A.\\
+``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''
+\bibitem[Fox 68]{Fox68} Fox L.; 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''
+\bibitem[Franke 80]{FN80} Franke R.; Nielson G\\
+``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''
+\bibitem[Fritsch 82]{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''
+\bibitem[Fritsch 84]{FB84} Fritsch F N.; 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''
+\bibitem[Froberg 65]{Fro65} Froberg C E.\\
+``Introduction to Numerical Analysis''\\
Addison-Wesley. 181--187. (1965)
\subsection{G} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Ga95]{Ga95}
-Garcia, A. and Stichtenoth, H.
+\bibitem[Garcia 95]{Ga95} Garcia, A.; Stichtenoth, H.\\
``A tower of Artin-Schreier extensions of function fields attaining the
-Drinfeld-Vladut bound'' Invent. Math., vol. 121, 1995, pp. 211--222.
+Drinfeld-Vladut bound''\\
+Invent. Math., vol. 121, 1995, pp. 211--222.
-\bibitem[Gat90]{Gat90}
-Joachim von zur Gathen,
-``Functional Decomposition Polynomials: the Tame Case''
+\bibitem[Gathen 90]{Gat90} Gathen, Joachim von zur\\
+``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''
+\bibitem[Gathen 99]{GG99} Gathen, Joachim von zur; Gerhard, J\"urgen\\
+``Modern Computer Algebra''\\
Cambridge University Press 1999 ISBN 0-521-64176-4
-\bibitem[Gau79a]{Gau79a}
-Gautschi W,
-``A Computational Procedure for Incomplete Gamma Functions''
+\bibitem[Gautschi 79a]{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''
+\bibitem[Gautschi 79b]{Gau79b} Gautschi W.\\
+``Algorithm 542: Incomplete Gamma Functions''\\
ACM Trans. Math. Softw. 5 482--489. (1979)
-\bibitem[Gen69]{Gen69}
-Gentlemen W M,
+\bibitem[Gentlemen 69]{Gen69} Gentlemen W M\\
``An Error Analysis of Goertzel's (Watt's) Method for Computing
-Fourier Coefficients''
+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[Gentleman 73]{Gen73} Gentleman W M.\\
+``Least-squares Computations by Givens Transformations without Square Roots''\\
+J. Inst. Math. Applic. 12 329--336. (1973)
-\bibitem[Gen74]{Gen74}
-Gentleman W M,
+\bibitem[Gentleman 74]{Gen74} Gentleman W M.\\
``Algorithm AS 75. Basic Procedures for Large Sparse or
-Weighted Linear Least-squares Problems''
+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''
+\bibitem[Gentlemen 74a]{GM74a} Gentleman W. M.; 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,
+\bibitem[Genz 80]{GM80} Genz A C.; Malik A A.\\
``An Adaptive Algorithm for Numerical Integration over an N-dimensional
-Rectangular Region'' (1980)
-J. Comput. Appl. Math. 6 295--302.
+Rectangular Region''\\
+J. Comput. Appl. Math. 6 295--302. (1980)
-\bibitem[GM72]{GM72}
-Gill P E and Miller G F,
-``An Algorithm for the Integration of Unequally Spaced Data''
+\bibitem[Gill 72]{GM72} Gill P E.; 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[Gill 74b]{GM74b} Gill P E.; 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''
+\bibitem[Gill 76a]{GM76a} Gill P E.; 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''
+\bibitem[Gill 76b]{GM76b} Gill P E.; 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''
+\bibitem[Gill 78]{GM78} Gill P E.; 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''
+\bibitem[Gill 79]{GM79} Gill P E.; 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''
+\bibitem[Gill 81]{GMW81} Gill P E.; Murray W.; 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''
+\bibitem[Gill 82]{GMW82} Gill P E.; Murray W.; Saunders M A.; 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''
+\bibitem[Gill 84a]{GMSW84a} Gill P E.; Murray W.; Saunders M A.; 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,
+\bibitem[Gill 84b]{GMSW84b} Gill P E.; Murray W.; Saunders M A.; Wright M H\\
``Procedures for Optimization Problems with a Mixture of
-Bounds and General Linear Constraints''
+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)''
+\bibitem[Gill 86a]{GMSW86a} Gill P E.; Hammarling S.; Murray W.;
+Saunders M A.; 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''
+\bibitem[Gill 86b]{GMSW86b} Gill P E.; Murray W.; Saunders M A.; 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''
+\bibitem[Gladwell 79]{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''
+\bibitem[Gladwell 80]{GS80} Gladwell I.; Sayers D K\\
+``Computational Techniques for Ordinary Differential Equations''\\
Academic Press. 1980
-\bibitem[Gla86]{Gla86}
-Gladwell I,
-``Vectorisation of one dimensional quadrature codes''
+\bibitem[Gladwell 86]{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''
+\bibitem[Gladwell 87]{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",
+\bibitem[Goedel 40]{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''
+\bibitem[Gollan 90]{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''
+\bibitem[Golub 89]{GL89} Golub, Gene H.; 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''
+\bibitem[Golub 96]{GL96} Golub, Gene H.; 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[Grabmeier]{Grab} Grabmeier, J.\\
+``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''
+\bibitem[Grebmeier 87]{GK87} Grabmeier, J.; Kerber, A.;
+``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
+\bibitem[Grabmeier 92]{REF-GS92} Grabmeier, J.; Scheerhorn, A.\\
+``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''
+\bibitem[Hache 95]{HL95} Hach\'e, G.; 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''
+\bibitem[Hache 95a]{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''
+\bibitem[Hache 96]{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''
+\bibitem[Hall 76]{HW76} Hall G.; 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''
+\bibitem[Hamdy 04]{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''
+\bibitem[Hammarling 85]{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[Hammersley 67]{HH67} Hammersley J M; Handscomb D C.\\
+``Monte-Carlo Methods''\\
+Methuen. (1967)
-\bibitem[Ham62]{Ham62}
-Hamming R W,
-``Numerical Methods for Scientists and Engineers'' McGraw-Hill. (1962)
+\bibitem[Hamming 62]{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[Hathway 1896]{Ha1896} Hathway, Arthur S.\\
+``A Primer Of Quaternions''\\
+(1896)
-\bibitem[Hay70]{Hay70}
-Hayes J G,
-``Curve Fitting by Polynomials in One Variable''
+\bibitem[Hayes 70]{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''
+\bibitem[Hayes 74]{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''
+\bibitem[Hayes 74a]{HH74} Hayes J G.; 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''
+\bibitem[Henrici 56]{Hen56} Henrici, Peter\\
+``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}
+\bibitem[Hermite 1872]{Her1872} Hermite, E.\\
+``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[Higham 88]{Hig88} Higham, N.J.\\
+``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[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[Higham 02]{Hig02} Higham, Nicholas J.\\
+``Accuracy and stability of numerical algorithms''\\
+SIAM Philadelphia, PA ISBN 0-89871-521-0 (2002)
-\bibitem[HS81]{HS81}
-Hock W and Schittkowski K,
-``Test Examples for Nonlinear Programming Codes''
+\bibitem[Hock 81]{HS81} Hock W.; 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''
+\bibitem[Householder 70]{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''
+\bibitem[Householder 81]{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.
+\bibitem[Huang 96]{HI96} Huang, M.D.; Ierardi, D.\\
``Efficient algorithms for Riemann-Roch problem and for addition in the
-jacobian of a curve''
+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}
+\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''
+\bibitem[Itoh 88]{IT88} Itoh, T.;, Tsujii, S.\\
+``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
+\bibitem[Iyanaga 77]{Iya77} Iyanaga, Shokichi; Iyanaga, Yukiyosi Kawada\\
+``Encyclopedic Dictionary of Mathematics''\\
+1977
\subsection{J} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Jac68]{Jac68}
-N. Jacobson, ``Structure and Representations of Jordan Algebras''
+\bibitem[Jacobson 68]{Jac68} Jacobson, N.\\
+``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''
+\bibitem[James 81]{JK81} James, Gordon; Kerber, Adalbert\\
+``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''
+\bibitem[Jaswon 77]{JS77} Jaswon, M A.; 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''
+\bibitem[Jeffrey 04]{Je04} Jeffrey, Alan\\
+``Handbook of Mathematical Formulas and Integrals''\\
Third Edition, Elsevier Academic Press ISBN 0-12-382256-4
-\bibitem[Jen66]{Jen66}
-Jennings A,
+\bibitem[Jenning 66]{Jen66} Jennings A\\
``A Compact Storage Scheme for the Solution of Symmetric Linear
-Simultaneous Equations''
+Simultaneous Equations''\\
Comput. J. 9 281--285. (1966)
\subsection{K} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Kal91]{Kal91}
-M. Kalkbrener ``Three contributions to elimination theory''
+\bibitem[Kalkbrener 91]{Kal91} Kalkbrener, M.\\
+``Three contributions to elimination theory''\\
Ph. D. Thesis, University of Linz, Austria, 1991
-\bibitem[Kal98]{Kal98}
-M. Kalkbrener, ``Algorithmic properties of polynomial rings''
+\bibitem[Kalkbrener 98]{Kal98} Kalkbrener, M.\\
+``Algorithmic properties of polynomial rings''\\
Journal of Symbolic Computation 1998
-\bibitem[Kan89]{Kan89}
-I.L Kantor, A.S. Solodovnikov
-``Hypercomplex Numbers''
+\bibitem[Kantor 89]{Kan89} Kantor,I.L.; Solodovnikov, A.S.\\
+``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[Kaufmann 00]{KMJ00} Kaufmann, Matt; Manolios, Panagiotis;
+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,
+\bibitem[Knuth 71]{Knu71} Knuth, Donald\\
+``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} \\
+\bibitem[Knuth 84]{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''
+\bibitem[Knuth 92]{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''
+\bibitem[Kolchin 73]{Kol73} Kolchin, E.R.\\
+``Differential Algebra and Algebraic Groups''\\
(Academic Press, 1973).
-\bibitem[Kou10]{Kou10}
-Christoph Koutschan "Axiom / FriCAS"\\
+\bibitem[Koutschan 10]{Kou10} Koutschan, Christoph\\
+``Axiom / FriCAS''\\
\verb|www.risc.jku.at/education/courses/ws2010/cas/axiom.pdf|
-\bibitem[KL86]{KL86}
-Dexter Kozen and Susan Landau, ``Polynomial Decomposition Algorithms''
+\bibitem[Kozen 86]{KL86} Kozen, Dexter; Landau, Susan\\
+``Polynomial Decomposition Algorithms''\\
Journal of Symbolic Computation (1989) 7, 445-456
\subsection{L} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[La86]{La86}
-Lamport, Leslie,
-{\it LaTeX: A Document Preparation System,} \\
+\bibitem[Lamport 86]{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''
+\bibitem[Lautrup 71]{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''
+\bibitem[Lawson 77]{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''
+\bibitem[Lawson 74]{LH74} Lawson C L.; 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''
+\bibitem[Lawson 79]{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''
+\bibitem[Lawson 79]{LHKK79} Lawson C L; Hanson R J; Kincaid D R;
+ 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''
+\bibitem[Lazard 91]{Laz91} Lazard, D.\\
+``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''
+\bibitem[Lazard92]{Laz92} Lazard, D.\\
+``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''
+\bibitem[Lazard 90]{LR90} Lazard, Daniel; Rioboo, Renaud\\
+``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''
+\bibitem[Le Brigand 88]{LR88} Le Brigand, D.; Risler, J.J.\\
+``Algorithme de Brill-Noether et codes de Goppa''\\
Bull. Soc. Math. France, vol. 116, 1988, pp. 231--253.
-\bibitem[LG11]{LG11}
-Legendre, George L. and Grazini, Stefano
-``Pasta by Design''
+\bibitem[Legendre 11]{LG11} Legendre, George L.; Grazini, Stefano\\
+``Pasta by Design''\\
Thames and Hudson, ISBN 978-0-500-51580-8 (2011)
-\bibitem[LS87]{LS87}
-Lenstra, H. W. \& Schoof, R. J.,
-``Primitivive Normal Bases for Finite Fields''
+\bibitem[Lenstra 87]{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''
+\bibitem[Lewis 77]{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'',
+\bibitem[Lidl 83]{LN83} Lidl, R.; Niederreiter, H.\\
+``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''
+\bibitem[Linger 79]{LMW79} Linger, Richard C.; Mills, Harlan D.;
+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
+\bibitem[Liouville 1833a]{Lio1833a} Liouville, Joseph\\
+``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
+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[Liouville 1833b]{Lio1833b} Liouville, Joseph\\
+``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'',
+\bibitem[Lipson 81]{Lip81} Lipson, D.\\
+``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''\\
+\bibitem[Loetzsch 09]{Loe09} Loetzsch, M.\\
+``GTFL - A graphical terminal for Lisp''\\
\verb|martin-loetzsch.de/gtfl/|
-\bibitem[Los60]{Los60}
-L\"osch, Friedrich ``Tables of Higher Functions''
+\bibitem[Losch 60]{Los60} L\"osch, Friedrich\\
+``Tables of Higher Functions''\\
McGraw-Hill Book Company 1960
-\bibitem[LTU10]{LTU10}
+\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[Luke 169]{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
+\bibitem[Luke 269]{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''
+\bibitem[Lyness 83]{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''
+\bibitem[Mac Lane 79]{MB79} Mac Lane, Saunders; Birkhoff, Garret\\
+``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[Malcolm 72]{Mal72} Malcolm M. A.\\
+``Algorithms to reveal properties of floating-point arithmetic''
+Comms. of the ACM, 15, 949-951. (1972)
-\bibitem[MS76]{MS76}
-Malcolm M A and Simpson R B,
-``Local Versus Global Strategies for Adaptive Quadrature''
+\bibitem[Malcolm 76]{MS76} Malcolm M A.; 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''
+\bibitem[Marden 66]{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''\\
+\bibitem[Marshak 07]{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''
+\bibitem[Maza 95]{MR95} Maza, M. Moreno; Rioboo, R.\\
+``Computations of gcd over algebraic towers of simple extensions''\\
+In proceedings of AAECC11 Paris, 1995.
+
+\bibitem[Maza 97]{Maz97} Maza, M. Moreno\\
+``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[Maza 98]{Maz98} Maza, M. Moreno\\
+``A new algorithm for computing triangular
+decomposition of algebraic varieties''\\
+ NAG Tech. Rep. 4/98.
+
+\bibitem[Mignotte 82]{Mig82} Mignotte, Maurice\\
+``Some Useful Bounds''\\
Computing, Suppl. 4, 259-263 (1982), Springer-Verlag
-\bibitem[McC83]{McC83}
-McCarthy G J,
-``Investigation into the Multigrid Code MGD1''
+\bibitem[McCarthy 83]{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[Mie97]{Mie97} Mielenz, Klaus D.\\
+``Computation of Fresnel Integrals''\\
+J. Res. Natl. Inst. Stand. Technol. (NIST) V102 No3 May-June 1997 pp363-365
-\bibitem[Mil68]{Mil68}
-J. K. Millen
+\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[Millen 68]{Mil68} Millen, J. K.\\
``CHARYBDIS: A LISP program to display mathematical expressions on
-typewriter-like devices''
+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[Minc 79]{Min79} Henryk Minc\\
+``Evaluation of Permanents''\\
+Proc. of the Edinburgh Math. Soc.(1979), 22/1 pp 27-32.
-\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[More 74]{MGH74} More J J.; Garbow B S.; Hillstrom K E.\\
+``User Guide for Minpack-1''\\
+ANL-80-74 Argonne National Laboratory. (1974)
-\bibitem[MS67]{MS67}
-Mikhlin S G and Smolitsky K L,
-``Approximate Methods for the Solution of Differential and Integral Equations''
+\bibitem[Mikhlin 67]{MS67} Mikhlin S G.; 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''
+\bibitem[Mitchell 80]{MG80} Mitchell A R.; 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''
+\bibitem[Moler 73]{MS73} Moler C B.; 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''
+\bibitem[Mulders 97]{Mul97} Mulders. Thom\\``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,
+\bibitem[Munksgaard 80]{Mun80} Munksgaard N.\\
``Solving Sparse Symmetric Sets of Linear Equations by Pre-conditioned
-Conjugate Gradients''
+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[Murray 72]{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''
+\bibitem[Murtagh 83]{MS83} Murtagh B A.; 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''
+\bibitem[Musser 78]{Mus78} Musser, David R.\\
+``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[Nijenhuis 78]{NW78} Nijenhuis and Wilf\\
+``Combinatorical Algorithms''\\
+Academic Press, New York 1978.
-\bibitem[Nik79]{Nik79}
-Nikolai P J
+\bibitem[Nikolai 79]{Nik79} Nikolai P J.\\
``Algorithm 538: Eigenvectors and eigenvalues of real generalized
-symmetric matrices by simultaneous iteration''
+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[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}
+\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''
+\bibitem[Ortega 70]{OR70} Ortega J M.; 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
+\bibitem[Ostrogradsky 1845]{Ost1845} Ostrogradsky. M.W.\\
+``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''
+\bibitem[Paige 75]{PS75} Paige C C.; 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''
+\bibitem[Paige 82a]{PS82a} Paige C C.; 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''
+\bibitem[Paige 82b]{PS82b} Paige C C.; 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)''
+\bibitem[Parker 84]{Par84} Parker, R. A.\\
+``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''
+\bibitem[Parlett 80]{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''
+\bibitem[Parnas 10]{PJ10} Parnas, David Lorge; 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''
+\bibitem[Parnas 95]{PM95} Parnas, David Lorge; 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''
+\bibitem[Paul 81]{Paul81} Paul, Richard\\
+``Robot Manipulators''\\
MIT Press 1981
-\bibitem[Pea56]{Pea56}
-Pearcey, T. ``Table of the Fresnel Integral''
+\bibitem[Pearcey 56]{Pea56} Pearcey, T.\\
+``Table of the Fresnel Integral''\\
Cambridge University Press 1956
-\bibitem[Per79]{Per79}
-Pereyra V,
+\bibitem[Pereyra 79]{Per79} Pereyra V.\\
``PASVA3: An Adaptive Finite-Difference Fortran Program for First Order
-Nonlinear, Ordinary Boundary Problems''
+Nonlinear, Ordinary Boundary Problems''\\
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''
+\bibitem[Peters 67a]{Pet67a} Peters G.\\
+``NPL Algorithms Library''\\
Document No. F2/03/A. (1967)
-\bibitem[Pet67b]{Pet67b}
-Peters G,
-``NPL Algorithms Library''
+\bibitem[Peters 67b]{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''
+\bibitem[Peters 70]{PW70} Peters G.; 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''
+\bibitem[Peters 71]{PW71} Peters G.; 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''
+\bibitem[Pierce 82]{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''
+\bibitem[Piessens 73]{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''
+\bibitem[Piessens 74]{PMB74} Piessens R.;; Mertens I.; 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''
+\bibitem[Piessens 75]{PB75} Piessens R.; 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''
+\bibitem[Piessens 76]{PVRBM76} Piessens R.; Van Roy-Branders M.; 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''
+\bibitem[Piessens 83]{PDUK83} Piessens R.; De Doncker-Kapenga E.;
+Uberhuber C.; 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'',
+\bibitem[Polya 37]{Pol37} Polya, G.\\
+``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''
+\bibitem[Powell 70]{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''
+\bibitem[Powell 74]{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''
+\bibitem[Powell 83]{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''
+\bibitem[Pratt 73]{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''
+\bibitem[Press 95]{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,
+\bibitem[Pryce 77]{PH77} Pryce J D.; Hargrave B A.\\
``The Scale Pruefer Method for one-parameter and multi-parameter eigenvalue
-problems in ODEs''
+problems in ODEs''\\
Inst. Math. Appl., Numerical Analysis Newsletter. 1(3) (1977)
-\bibitem[Pry81]{Pry81}
-Pryce J D,
-``Two codes for Sturm-Liouville problems''
+\bibitem[Pryce 81]{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,
+\bibitem[Pryce 86]{Pry86} Pryce J D.\\
``Error Estimation for Phase-function Shooting Methods for
-Sturm-Liouville Problems''
+Sturm-Liouville Problems''\\
J. Num. Anal. 6 103--123. (1986)
-\bibitem[Pu09]{Pu09}
-Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial'' \\
+\bibitem[Puffinware 09]{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.
+\bibitem[Quintana-Orti 06]{QG06} Quintana-Orti, Gregorio;
+van de Geijn, Robert\\
+``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''
+\bibitem[Rabinowitz 70]{Rab70} Rabinowitz P.\\
+``Numerical Methods for Nonlinear Algebraic Equations''\\
Gordon and Breach. (1970)
-\bibitem[Ral65]{Ral65}
-Ralston A,
-``A First Course in Numerical Analysis''
+\bibitem[Ralston 65]{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''
+\bibitem[Ramakrishnan 03]{Ram03} Ramakrishnan, Maya\\
+``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''\\
+\bibitem[Ramsey 03]{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''
+\bibitem[Redfield 27]{Red27} Redfield, J.H.\\
+``The Theory of Group-Reduced Distributions''\\
American J. Math., 49 (1927) 433-455.
-\bibitem[Rei67]{Rei67}
-Reinsch C H,
-``Smoothing by Spline Functions''
+\bibitem[Reinsch 67]{Rei67} Reinsch C H.\\
+``Smoothing by Spline Functions''\\
Num. Math. 10 177--183. (1967)
-\bibitem[Ren84]{Ren84}
-Renka R L,
+\bibitem[Renka 84]{Ren84} Renka R L.\\
``Algorithm 624: Triangulation and Interpolation of Arbitrarily Distributed
-Points in the Plane''
+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''
+\bibitem[Renka 84]{RC84} Renka R L.; 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''
+\bibitem[Reutenauer 93]{Re93} Reutenauer, Christophe\\
+``Free Lie Algebras''\\
Oxford University Press, June 1993 ISBN 0198536798
-\bibitem[Ri10]{Ri10}
-Rich, Albert D. ``Rule-based Mathematics''\\
+\bibitem[Rich 10]{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''
+\bibitem[Richardson 94]{RF94} Richardson, Dan; 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''
+\bibitem[Richtmyer 67]{RM67} Richtmyer R D.; 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''
+\bibitem[Rioboo 92]{REF-Rio92} Rioboo, R.\\
+``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''
+\bibitem[Rioboo 96]{Rio96} Rioboo, R.\\
+``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
+\bibitem[Risch 68]{Ris68} Risch, Robert\\
+``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''
+\bibitem[Risch 69a]{Ris69a} Risch, Robert\\
+``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''
+\bibitem[Risch 69b]{Ris69b} Risch, Robert\\
+``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''
+\bibitem[Risch 70]{Ris70} Risch, Robert\\
+``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''
+\bibitem[Risch 79]{Ris79} Risch, Robert\\
+``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''
+\bibitem[Ritt 50]{Ritt50} Ritt, Joseph Fels\\
+``Differential Algebra''\\
AMS Colloquium Publications Volume 33 ISBN 978-0-8218-4638-4
-\bibitem[Ro72]{Ro72}
-Maxwell Rosenlicht. Integration in finite terms.
+\bibitem[Rosenlicht 72]{Ro72} Rosenlicht, Maxwell\\
+``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[Rothstein 77]{Ro77} Rothstein, Michael\\
+``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''
+\bibitem[Rubey 07]{Rub07} Rubey, Martin\\
+``Formula Guessing with Axiom''\\
April 2007
-\bibitem[Rut69]{Rut69}
-Rutishauser H,
-``Computational aspects of F L Bauer's simultaneous iteration method''
+\bibitem[Rutishauser 69]{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''
+\bibitem[Rutishauser 70]{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''
+\bibitem[Schafer 66]{Sch66} Schafer, R.D.\\
+``An Introduction to Nonassociative Algebras''\\
Academic Press, New York, 1966
-\bibitem[SW53]{SW53}
-Schoenberg I J and Whitney A,
-``On Polya Frequency Functions III''
+\bibitem[Schoenberg 53]{SW53} Schoenberg I J.; 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''
+\bibitem[Schoenhage 82]{Sch82} Schoenhage, A.\\
+``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''
+\bibitem[Schonfelder 76]{Sch76} Schonfelder J L.\\
+``The Production of Special Function Routines for a Multi-Machine Library''\\
Software Practice and Experience. 6(1) (1976)
-\bibitem[S93]{S93}
-von Seggern, David Henry
-``CRC Standard Curves and Surfaces''
+\bibitem[Seggern 93]{S93} von Seggern, David Henry\\
+``CRC Standard Curves and Surfaces''\\
CRC Press (1993) ISBN 0-8493-0196-3
-\bibitem[REF-SC95]{REF-SC95}
-W.M. Seiler and J. Calmet
+\bibitem[Seiler 95]{REF-SC95} Seiler, W.M.; Calmet, J.\\
``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''
+\bibitem[Shepard 68]{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''
+\bibitem[Sims 71]{Sims71} Sims, C.\\
+``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''
+\bibitem[Sit 92]{REF-Sit92} Sit, William\\
+``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''
+\bibitem[Smith 67]{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,
+\bibitem[Smith 85]{Smi85} Smith G D.\\
``Numerical Solution of Partial Differential Equations: Finite Difference
-Methods''
+Methods''\\
Oxford University Press (3rd Edition). (1985)
-\bibitem[Sob74]{Sob74}
-Sobol I M, ``The Monte Carlo Method'' The University of Chicago Press. 1974
+\bibitem[Sobol 74]{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[Steele 90]{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''
+\bibitem[Stichtenoth 93]{St93} Stichtenoth, H.\\
+``Algebraic function fields and codes''\\
Springer-Verlag, 1993, University Text.
-\bibitem[Sti90]{Sti90}
-D.R.Stinson,
+\bibitem[Stinson 90]{Sti90} Stinson, D.R.\\
``Some observations on parallel Algorithms for fast exponentiation
-in $GF(2^n)$''Siam J. Comp., Vol.19, No.4, pp.711-717, August 1990
+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''
+\bibitem[Stroud 66]{SS66} Stroud A H.; Secrest D.\\
+``Gaussian Quadrature Formulas''\\
Prentice-Hall. (1966)
-\bibitem[Str71]{Str71}
-Stroud A H, ``Approximate Calculation of Multiple Integrals''
+\bibitem[Stroud 71]{Str71} Stroud A H.\\
+``Approximate Calculation of Multiple Integrals''\\
Prentice-Hall 1971
-\bibitem[SS79]{SS79}
-Swarztrauber P N and Sweet R A,
+\bibitem[Swarztrauber 79]{SS79} Swarztrauber P N.; Sweet R A.\\
``Efficient Fortran Subprograms for the Solution of Separable Elliptic Partial
-Differential Equations''
+Differential Equations''\\
ACM Trans. Math. Softw. 5 352--364. (1979)
-\bibitem[SS84]{SS84}
-Swarztrauber P N,
-``Fast Poisson Solvers''
+\bibitem[Swarztrauber 84]{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}
+\bibitem[Tait 1890]{Ta1980} Tait, P.G.\\
+``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''
+\bibitem[Taivalsaari 96]{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,
+\bibitem[Temme 87]{Tem87} Temme N M.\\
``On the Computation of the Incomplete Gamma Functions for Large Values of
-the Parameters''
+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''
+\bibitem[Temperton 83a]{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''
+\bibitem[Temperton 83b]{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''
+\bibitem[Trager 76]{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},
+\bibitem[Trager 84]{Tr84} Trager, Barry\\
+``On the integration of algebraic functions''\\
PhD thesis, MIT, Computer Science, 1984
\subsection{U} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[Unk61]{Unk61}
-Unknown ``Chebyshev-series'' Modern Computing Methods
+\bibitem[Unknown 61]{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''
+\bibitem[Van Dooren 76]{vDDR76} Van Dooren P.; 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}
+\bibitem[van Hoeij 94]{REF-vH94} van Hoeij, M.\\
+``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''
+\bibitem[Van Loan 92]{Van92} Van Loan, C.\\
+``Computational Frameworks for the Fast Fourier Transform''\\
SIAM Philadelphia. (1992)
\subsection{W} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\bibitem[Wait 85]{WM85} Wait R.; Mitchell A R.\\
+``Finite Element Analysis and Application''\\
+Wiley. (1985)
-\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''
+\bibitem[Wang 92]{Wang92} Wang, D.M.\\
+``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''
+\bibitem[Ward 75]{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[Watt 03]{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[Weil 71]{We71} Weil, Andr\'{e}.\\
+``Courbes alg\'{e}briques et vari\'{e}t\'{e}s Abeliennes''\\
+Hermann, Paris, 1971
-\bibitem[Wein]{Wein}
-Weisstein, Eric W. ``Hypergeometric Function''
+\bibitem[Weisstein]{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''\\
+\bibitem[Weitz 03]{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''\\
+\bibitem[Weitz 06]{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''
+\bibitem[Wesseling 82a]{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''
+\bibitem[Wesseling 82b]{Wes82b} Wesseling, P.\\
+``Theoretical Aspects of a Multigrid Method''\\
SIAM J. Sci. Statist. Comput. 3 387--407. (1982)
-\bibitem[Wiki3]{Wiki3}
+\bibitem[Wiki 3]{Wiki3}.\\
\verb|en.wikipedia.org/wiki/Givens_rotation|
-\bibitem[Wil85]{Wil85}
-S.G.Williamson, ``Combinatorics for Computer Science''
+\bibitem[Williamson 85]{Wil85} Williamson, S.G.\\
+``Combinatorics for Computer Science''\\
Computer Science Press, 1985.
-\bibitem[WR71]{WR71}
-Wilkinson J H and Reinsch C,
-``Handbook for Automatic Computation II, Linear Algebra''
+\bibitem[Wilkinson 71]{WR71} Wilkinson J H.; 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[Wilkinson 63]{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[Wilkinson 65]{Wil65} Wilkinson J H.\\
+``The Algebraic Eigenvalue Problem''\\
+ Oxford University Press. (1965)
-\bibitem[Wil78]{Wil78}
-Wilkinson J H,
-``Singular Value Decomposition -- Basic Aspects''
+\bibitem[Wilkinson 78]{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''
+\bibitem[Wilkinson 79]{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''
+\bibitem[Wisbauer 91]{Wis91} Wisbauer, R.\\
+``Bimodule Structure of Algebra''\\
Lecture Notes Univ. Duesseldorf 1991
-\bibitem[Woe80]{Woe80}
-A. Woerz-Busekros: ``Algebra in Genetics''
+\bibitem[Woerz-Busekros 80]{Woe80} Woerz-Busekros, A.\\
+``Algebra in Genetics''\\
Lectures Notes in Biomathematics 36, Springer-Verlag, Heidelberg, 1980
-\bibitem[Wol67]{Wol67}
-Wolberg J R, ``Prediction Analysis'' Van Nostrand. (1967)
+\bibitem[Wolberg 67]{Wol67} Wolberg J R.\\
+``Prediction Analysis''\\
+Van Nostrand. (1967)
-\bibitem[Wo09]{Wo09}
-Wolfram Research, \verb|mathworld.wolfram.com/Quaternion.html|
+\bibitem[Wolfram 09]{Wo09} Wolfram Research\\
+\verb|mathworld.wolfram.com/Quaternion.html|
-\bibitem[WU87]{WU87}
-W.T. Wu ``A Zero Structure Theorem for polynomial equations solving''
+\bibitem[Wu 87]{WU87} Wu, W.T.\\
+``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.
+\bibitem[Wynn 56]{Wynn56} Wynn P.\\
+``On a Device for Computing the $e_m(S_n )$ Transformation''\\
+Math. Tables Aids Comput. 10 91--96. (1956)
\subsection{Y} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\bibitem[REF-You04]{REF-You04}
-Saul Youssef
+\bibitem[Youssef 04]{REF-You04} Youssef, Saul\\
``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''
+\bibitem[Yun 76]{Yu76} Yun, D.Y.Y.\\
+``On square-free decomposition algorithms''\\
{\sl Proceedings of SYMSAC'76} pages 26-35, 1976
\end{thebibliography}
\end{document}
diff --git a/changelog b/changelog
index e02d708..7a0eb59 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140520 tpd src/axiom-website/patches.html 20140520.01.tpd.patch
+20140520 tpd books/bookvolbib.pamphlet
20140516 tpd src/axiom-website/patches.html 20140516.01.tpd.patch
20140516 tpd book/*.txt email cleanup
20140515 tpd src/axiom-website/patches.html 20140515.01.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index e4a39cd..f08eb6f 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4344,6 +4344,8 @@ book/*.txt email cleanup
bookvol4 add operationalist details
20140516.01.tpd.patch
book/*.txt email cleanup
+20140520.01.tpd.patch
+books/bookvolbib.pamphlet