diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 689c2ad..058f342 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -338,6 +338,13 @@ and Technology, A-2:??, 1992. CODEN ITATEC. ISSN 0926-5473
\bibitem[Ano95]{Ano95}
Anonymous. GAMM 94 annual meeting. Zeitschrift fur Angewandte Mathematik und
Physik, 75 (suppl. 2), 1995, CODEN ZAMMAX, ISSN 0044-2267
+\bibitem[BGJ70]{BGJ70}
+Fred W. Blair, James H. Griesmer, Richard D. Jenks
+``An interactive facility for symbolic mathematics''
+Proc. International Computing Symposium, Bonn, Germany, 1970 pp394-419
+\bibitem[BJ70]{BJ70}
+Fred W. Blair, Richard D. Jenks
+``LPL: LISP programming language'' IBM Research Report, RC3062 Sept 1970
\bibitem[BC85]{BC85}
Bruno Buchberger and Bob F. Caviness, editors EUROCAL '85: European
Conference on Computer Algebra, Linz, Austria, April 1-3, 1985;
@@ -349,37 +356,51 @@ Two volumes
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
-\verb|http://www.acm.org/pubs/citations/proceedings/issac/220346/|
-\verb|p77-broadbery|
-ACM order number 505950
+ACM order number 505950\\
+\verb|www.acm.org/pubs/citations/proceedings/issac/220346/p77-broadbery|
\bibitem[Boe89]{Boe89}
Hans-J. Boehm. ``Type inference in the presence of type abstraction''
-ACM SIGPLAN Notices, 24(7) pp192-206 July 1989 CODEN SINODQ ISSN 0362-1340
-\verb|http://www.acm.org/pubs/citations/proceedings/pldi/73141/|
-\verb|p192-boehm|
+ACM SIGPLAN Notices, 24(7) pp192-206 July 1989 CODEN SINODQ ISSN 0362-1340\\
+\verb|www.acm.org/pubs/citations/proceedings/pldi/73141/p192-boehm|
+\bibitem[Bou91]{Bou91}
+Jean-Louis Boulanger
+``Etude de la compilation de scratchpad 2''
+Rapport de DEA Universite dl lille 1, Sept 1991
+\bibitem[Bou93a]{Bou93a}
+Jean-Louis Boulanger
+``Axiom, language fonctionnel \`a d\'eveloppement objet''
+IT 255, Oct 1993
+\bibitem[Bou93b]{Bou93b}
+Jean-Louis Boulanger,
+``AXIOM, A Functional Language with Object Oriented Development''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Bou95]{Bou95}
J. L. Boulanger ``Object oriented method for Axiom''
-ACM SIGPLAN Notices, 30(2) pp33-41 February 1995 CODEN SINODQ ISSN 0362-1340
+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[Bro91]{Bro91}
+\bibitem[Bro91a]{Bro91a}
M. Bronstein, ``The Risch differential equation on an algebraic curve''
in Watt [Wat91], pp241-246 ISBN 0-89791-437-6 LCCN QA76.95.I59 1991
+\bibitem[Bro91b]{Bro91b}
+M. Bronstein. ``The Risch differential equation on an
+algebraic curve'' In S.Watt, editor, {\sl Proceedings of ISSAC'91},
+pages 241-246, ACM Press, 1991.
\bibitem[Bro93]{Bro93}
Manuel Bronstein, editor ISSAC'93: proceedings of the 1993 International
Symposium on Symbolic and Algebraic Computation, July 6-8, 1993, Kiev, Ukraine,
ACM Press New York, NY 10036, USA, 1993 ISBN 0-89791-604-2
LCCN QA76.95 I59 1993 ACM order number 505930
\bibitem[Bru09]{Bru08}
-Brunelli, J.C. ``Streams and Lazy Evaluation Applied to Integrable Models''
+Brunelli, J.C. ``Streams and Lazy Evaluation Applied to Integrable Models''\\
\verb|http://arxiv.org/PS_cache/nlin/pdf/0408/0408058v1.pdf|
\bibitem[BS93]{BS93}
Manuel Bronstein and Bruno Salvy ``Full partial fraction decomposition of
rational functions'' In Bronstein [Bro93] pp157-160 ISBN 0-89791-604-2
-LCCN QA76.95 I59 1993
-\verb|http://www.acm.org/pubs/citations/proceedings/issac/164081/|
-\verb|p157-bronstein|
+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,
@@ -388,13 +409,27 @@ July 1994, CODEN EKRKAR ISSN 0013-5658
Borwein, Jonathan
``Multimedia tools for communicating mathematics''
Springer-Verlag ISBN 3-540-42450-4 p58
+\bibitem[BHR00]{BHR00}
+S. Boulm\'e, T. Hardin, R. Rioboo
+``Polymorphic Data Types, Objects, Modules and Functors,: is it too much?''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[BHHMR01]{BHHMR01}
+S. Boulm\'e, T. Hardin, D. Hirschkoff, V. M\'enissier-Morain, R. Rioboo
+``On the way to certify Computer Algebra Systems''
+Calculemus-2001\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[BT94]{BT94}
R. Brown and A. Tonks ``Calculations with simplicial and cubical groups
in AXIOM'' Journal of Symbolic Computation 17(2) pp159-179 February 1994
CODEN JSYCEH ISSN 0747-7171
+\bibitem[BD95]{BD95}
+Ronald Brown, Winfried Dreckmann,
+``Domains of data and domains of terms in AXIOM''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Buh05]{Buh05}
-Buhl, Soren L., ``Some Reflections on Integrating a Computer Algebra System
-in R'' \verb|www.math.auc.dk/~slb/kurser/software/RCompAlg.pdf|
+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
@@ -421,15 +456,15 @@ Scratchpad) Rapports de recherche 1586, Institut National de Recherche en
Informatique et en Automatique, Le Chesnay, France, January 1992, 12pp
\bibitem[CCR]{CCR}
Caprotti, Olga, Cohen, Arjeh M., and Riem, Manfred
-``Java Phrasebooks for Computer Algebra and Automated Deduction''
+``Java Phrasebooks for Computer Algebra and Automated Deduction''\\
\verb|www.sigsam.org/bulletin/articles/132/paper8.pdf|
\bibitem[CC99]{CC99}
Capriotti, O. and Carlisle, D.
-``OpenMath and MathML: Semantic Mark Up for Mathematics''
+``OpenMath and MathML: Semantic Mark Up for Mathematics''\\
\verb|www.acm.org/crossroads/xrds6-2/openmath.html|
\bibitem[CCCS]{CCCS}
Capriotti, Olga, Cohen, Arjeh M., Cuypers, Hans, and Sterk, Hans
-``OpenMath Technology for Interactive Mathematical Documents''
+``OpenMath Technology for Interactive Mathematical Documents''\\
\verb|www.win.tue.nl/~hansc/lisbon.pdf|
\bibitem[Che86]{Che86}
G.W. Cherry "Integration in Finite Terms with Special Functions: The Logarithmic Integral"
@@ -447,9 +482,19 @@ Marcel Dekker, Inc (1990) ISBN 0-8247-8341-7
Cohen, Arjeh M., Cuypers, Hans, Barreiro, Ernesto Reinaldo, Sterk, Hans
``Interactive Mathematical Documents on the Web''
Springer 9783540002576-c1.pdf
+\bibitem[CFMPxxa]{CFMPxxa}
+Marc Conrad, Tim French, Carsten Maple, Sandra Pott
+``Approaching Inheritance from a Natural Mathematical Perspective and from
+a Java Driven Viewpoint: a Comparative Review''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[CFMPxxb]{CFMPxxb}
+Marc Conrad, Tim French, Carsten Maple, Sandra Pott
+``Mathematical Use Cases lead naturally to non-standard Inheritance
+Relationships: How to make them accessible in a mainstream language?''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[CHK]{CHK}
Cuypers, Hans, Hendriks, Maxim, and Knopper, Jan Willem
-``Interactive Geometry inside MathDox''
+``Interactive Geometry inside MathDox''\\
\verb|www.win.tue.nl/~hansc/MathDox_and_InterGeo_paper.pdf|
\bibitem[Dal92]{Dal92}
S. Dalmas ``A polymorphic functional language applied to symbolic computation''
@@ -463,15 +508,21 @@ T. Daly ``Axiom as open source'' SIGSAM Bulletin (ACM Special Interest Group
on Symbolic and Algebraic Manipulation) 36(1) pp28-?? March 2002
CODEN SIGSBZ ISSN 0163-5824
\bibitem[Dal03]{Dal03}
-Daly, Timothy, ``The Axiom Wiki Website''
+Daly, Timothy, ``The Axiom Wiki Website''\\
\verb|http://axiom.axiom-developer.org|
-\bibitem[Dal09]{Dal09}
-Daly, Timothy, "The Axiom Literate Documentation"
-\verb|http://axiom.axiom-developer.org/axiom-website/documentation.html|
\bibitem[Dal06]{Dal06}
Timothy Daly ``Axiom Volume 1: Tutorial'' Lulu, Inc. 860 Aviation Parkway,
-Suite 300, Morrisville, NC 27560 USA, 2006 ISBN 141166597X 287pp
+Suite 300, Morrisville, NC 27560 USA, 2006 ISBN 141166597X 287pp\\
\verb|http://www.lulu.com/content/190827|
+\bibitem[Dal09]{Dal09}
+Daly, Timothy, "The Axiom Literate Documentation"\\
+\verb|http://axiom.axiom-developer.org/axiom-website/documentation.html|
+\bibitem[Dal13]{Dal13}
+Daly, Timothy
+``Literate Programming in the Large''
+April 8-9, 2013 Portland Oregon\\
+\verb|conf.writethedocs.org|\\
+\verb|daly.axiom-developer.org|
\bibitem[Dav79]{Dav79}
Davenport, J.H. SPAD.SCRIPT
VM/370 SPAD.SCRIPTS August 24, 1979
@@ -494,28 +545,37 @@ UK / etc., 1989 ISBN 3-540-51517-8 LCCN QA155.7.E4E86 1987
\bibitem[Dav92a]{Dav92a}
J. H. Davenport ``The AXIOM system'' AXIOM Technical Report TR5/92 (ATR/3)
(NP2492) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA and
-Oxford, UK, December 1992
+Oxford, UK, December 1992 \\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
\bibitem[Dav92b]{Dav92b}
J. H. Davenport ``How does one program in the AXIOM system?'' AXIOM Technical
Report TR6/92 (ATR/4)(NP2493) Numerical Algorithms Group, Inc., Downer's
-Grove, IL, USA and Oxford, UK December 1992
-\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+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
+and Oxford, UK, August 1993\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+\bibitem[DFxx]{DFxx}
+James Davenport, Christ\'ele Faure
+``The Unknown in Computer Algebra''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Dav00]{Dav00}
Davenport, James
``13th OpenMath Meeting''
-\verb|xml.coverpages.org/openmath13.html|
+James H. Davenport
+``A New Algebra System''
+May 1984\\
+\verb|xml.coverpages.org/openmath13.html|\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Dav10]{Dav10}
Davenport, J. H. ``Computer Algebra'' \hfill\\
\verb|staff.bath.ac.uk/masjhd/JHD-CA.pdf|
\bibitem[Dav12]{Dav12}
Davenport, J.H.
-``Computer Algebra''
+``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\\
@@ -534,7 +594,7 @@ Proceedings of the Workshop on Symbolic and Numeric Computing, ed by Apiola, H.
and Laine, M. and Valkeila, E. pp1-12 University of Helsinki, Finland (1994)
\bibitem[Dew]{Dew}
Dewar, Mike
-``OpenMath: An Overview''
+``OpenMath: An Overview''\\
\verb|www.sigsam.org/bulletin/articles/132/paper1.pdf|
\bibitem[DGJ84]{DGJ84}
J. Davenport, P. Gianni, R. Jenks, V. Miller, S. Morrison, M. Rothstein,
@@ -549,11 +609,11 @@ NAG Ltd., Oxford, 1992
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
+Oxford, UK, December 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
\bibitem[DGW]{DGW}
-Dalmas, St\'ephane, Gae\"tano, Marc, and Watt, Stephen
-``An OpenMath 1.0 Implementation''
+Dalmas, St\'ephane, Ga\"etano, Marc, and Watt, Stephen
+``An OpenMath 1.0 Implementation''\\
\verb|citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.4401.pdf|
\bibitem[DJ92]{DJ92}
D. Duval and F. Jung ``Examples of problem solving using computer algebra''
@@ -566,9 +626,14 @@ Sam Dooley, editor. ISSAC 99: July 29-31, 1999, Simon Fraser University,
Vancouver, BC, Canada: proceedings of the 1999 International Symposium on
Symbolic and Algebraic Computation. ACM Press, New York, NY 10036, USA, 1999.
ISBN 1-58113-073-2 LCCN QA76.95.I57 1999
+\bibitem[Doy97]{Doy97}
+Nicolas James Doye
+``Order Sorted Computer Algebra and Coercions''
+Ph.D. Thesis University of Bath 1997\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Doy99]{Doy99}
Nicolas J. Doye. ``Automated coercion for Axiom'' in Dooley [Doo99], pp229-235
-ISBN 1-58113-073-2 LCCN QA76.95.I57 1999
+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
@@ -582,16 +647,23 @@ Report, ATR/1, NAG Ltd., Oxford, 1992
\bibitem[DT92]{DT92}
J. H. Davenport and B. M. Trager ``Scratchpad's view of algebra I: Basic
commutative algebra'' Technical Report TR3/92 (ATR/1)(NP2490), Numerical
-Algorithms Group, Inc., Downer's Grove, IL, USA and Oxford, UK, December 1992.
+Algorithms Group, Inc., Downer's Grove, IL, USA and Oxford, UK,
+December 1992. \\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+\bibitem[DRxx]{DRxx}
+C\'esar Dom\'inguez and Julio Rubio
+``Modeling Inheritance as Coercion in a Symbolic Computation System''
+ISSAC 2001 ACM 1-58113-417-7/01/0007\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Dun98]{Dun98}
Dunstan, Martin, Kelsey, Tom, Linton, Steve, Martin, Ursula
-``Lightweight Formal Methods For Computer Algebra Systems''
-\verb|www.cs.st-andrews.ac.uk/~tom/pub/issac98.pdf|
+``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
+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''
@@ -600,24 +672,28 @@ FM 99, Toulouse, France, Sept 20-24, 1999, p1758-1777
\bibitem[Dun99a]{Dun99a}
Dunstan, MN
``Larch/Aldor - A Larch BISL for AXIOM and Aldor''
-PhD Thesis, 1999
-\verb|www.cs.st-andrews.uk/files/publications/Dun99.php|
+PhD Thesis, 1999\\
+\verb|www.cs.st-andrews.uk/files/publications/Dun99.php|\\
\verb|axiom-portal.newsynthesis.org/refs/articles/mnd-sep99-thesis.pdf|
+\bibitem[Dunxx]{Dunxx}
+Martin N. Dunstan
+``Adding Larch/Aldor Specifications to Aldor''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[DGKM01]{DGKM01}
Dunstan, Martin, Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
``Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface''
-TPHOLS 2001, Edinburgh
+TPHOLS 2001, Edinburgh\\
\verb|www.cs-st-andrews.ac.uk/~tom/pub/tphols.ps|
\bibitem[DGKM01a]{DGKM01a}
Dunstan, Martin, Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula
``Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface''
-Calculemus 2001, Siena
+Calculemus 2001, Siena\\
\verb|www.cs-st-andrews.ac.uk/~tom/pub/dunstanetal.ps|
\bibitem[Du95]{Du95}
Duval, D. ``Evaluation dynamique et cl\^oture alg\'ebrique en Axiom''.
Journal of Pure and Applied Algebra, no99, 1995, pp. 267--295.
\bibitem[ES10]{ES10}
-Burcin Er\"ocal and William Stein ``The Sage Project''
+Burcin Er\"ocal and William Stein ``The Sage Project''\\
\verb|wstein.org/papers/icms/icms_2010.pdf|
\bibitem[Fat90]{Fat90}
R. J. Fateman ``Advances and trends in the design and construction of
@@ -627,10 +703,10 @@ ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
Fateman, R. J. ``An incremental approach to building a mathematical \hfill\\
expert out of software'' 4/19/2005\hfill\\
\verb|www.cs.berkeley.edu/~fateman/papers/axiom.pdf|
-\bibitem[FD]{FDN00}
+\bibitem[FDN00a]{FDN00a}
Faure, Christ\'ele, Davenport, James
``Parameters in Computer Algebra''
-\bibitem[FDN00]{FDN00}
+\bibitem[FDN00b]{FDN00b}
Faure, Christ\'ele, Davenport, James, Naciri, Hanane
``Multi-values Computer Algebra''
ISSN 0249-6399 Institut National De Recherche en Informatique et en
@@ -647,7 +723,7 @@ 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''
+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''
@@ -658,7 +734,7 @@ Francois Fouche. ``Une implantation de l'algorithme de Kovacic en Scratchpad''
Technical report, Institut de Recherche Math{\'{e}}matique Avanc{\'{e}}e''
Strasbourg, France, 1990 31pp
\bibitem[Fris]{Fris}
-Frisco ``Objectives and Results''
+Frisco ``Objectives and Results''\\
\verb|http://www.nag.co.uk/projects/frisco/frisco/node3.htm|
\bibitem[GCL92]{GCL92}
Geddes, Keith O., Czapor, Stephen R., and Labahn, George
@@ -699,12 +775,13 @@ ISBN 0-89791-489-9 (soft cover), 0-89791-490-2 (hard cover)
LCCN QA76.95.I59 1992
\bibitem[Gon96]{Gon96}
Gonnet, Gaston H.
-``Official verion 1.0 of the Meta Content Dictionary''
+``Official verion 1.0 of the Meta Content Dictionary''\\
\verb|www.inf.ethz.ch/personal/gonnet/ContDict/Meta|
\bibitem[GJ71]{GJ71}
J. H. Griesmer and R. D. Jenks ``SCRATCHPAD/1 -- an interactive facility for
-symbolic mathematics'' In Petrick [Pet71], pp42-58. LCCN QA76.5.S94 1971
-\verb|http://delivery.acm.org/10.1145/810000/806266/p42-griesmer.pdf|
+symbolic mathematics'' In Petrick [Pet71], pp42-58. LCCN QA76.5.S94 1971\\
+\verb|http://delivery.acm.org/10.1145/810000/806266/p42-griesmer.pdf|\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[GJ72a]{GJ72a}
J. Griesmer and R. Jenks. ``Experience with an online symbolic math system
SCRATCHPAD''. in Online'72 [Onl72] ISBN 0-903796-02-3 LCCN QA76.55.O54 1972
@@ -722,8 +799,8 @@ IBM Research Publication RA70 June 1975
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/|
+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
@@ -743,15 +820,26 @@ CODEN JSYCEH ISSN 0747-7171
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[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[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
+Grove, IL, USA and Oxford, UK, 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+\bibitem[GM94]{GM94}
+D. Gruntz and M. Monagan ``Introduction to Gauss'' SIGSAM Bulletin (ACM
+Special Interest Group on Symbolic and Algebraic Manipulation), 28(3) pp3-19
+August 1994 CODEN SIGSBZ ISSN 0163-5824
+\bibitem[Gru96]{Gru96}
+Dominik Gruntz
+``On Computing Limits in a Symbolic Manipulation System''
+Thesis, Swiss Federal Institute of Technology Z\"urich 1996
+Diss. ETH No. 11432\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Hec01]{Hec01}
Heck, A. ``Variables in computer algebra, mathematics and science''
The International Journal of Computer Algebra in Mathematics Education
@@ -768,18 +856,13 @@ 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'',
+R. D. Jenks ``META/LISP: An interactive translator writing system'',
Research Report International Business Machines, Inc., Thomas J.
-Watson Research Center, Yorktown Heights, NY, USA, 1969
+Watson Research Center, Yorktown Heights, NY, USA, 1969 RC2968 July 1970
\bibitem[Jen79]{Jen79}
Jenks, R. D.
``MODLISP''
Proc EUROSAM 79, pp466-480, 1979
-\bibitem[Jen88]{Jen88}
-Jenks, R. D.
-``A Guide to Programming in BOOT''
-Computer Algebra Group, Mathematical Sciences Department, IBM Research
-Draft September 5, 1988
\bibitem[Jen71]{Jen71}
R. D. Jenks ``META/PLUS: The syntax extension facility for SCRATCHPAD'',
Research Report RC 3259, International Business Machines, Inc., Thomas J.
@@ -799,7 +882,12 @@ 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[Jen88]{Jen88}
+\bibitem[Jen88a]{Jen88a}
+Jenks, R. D.
+``A Guide to Programming in BOOT''
+Computer Algebra Group, Mathematical Sciences Department, IBM Research
+Draft September 5, 1988
+\bibitem[Jen88b]{Jen88b}
Jenks, Richard ``The Scratchpad II Computer Algebra System Interactive
Environment Users Guide'' Spring 1988
\bibitem[JT81]{JT81}
@@ -818,7 +906,7 @@ 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
+2006\\
\verb|sage.math.washington.edu/home/wdj/sigsam/oscas-cca1.pdf|
\bibitem[JS92]{JS92}
Richard D. Jenks and Robert S. Sutor ``AXIOM: The Scientific Computation
@@ -836,13 +924,18 @@ Richard D. Jenks, Robert S. Sutor, and Stephen M. Watt ``Scratchpad II:
an Abstract Datatype System for Mathematical Computation''
Proceedings Trends in Computer Algebra, Bad Neuenahr, LNCS 296,
Springer Verlag, (1987)
+\bibitem[JSW88]{JSW88}
+R. D. Jenks, R. S. Sutor, and S. M. Watt ``Scratchpad II: An abstract
+datatype system for mathematical computation'' In Jan{\ss}en [Jan88],
+pp12-?? ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
\bibitem[JWS88]{JWS88}
R. D. Jenks, R. S. Sutor, and S. M. Watt ``Scratchpad II:
an abstract datatype system for mathematical computation'' In Jan{\ss}en
[Jan88], pp12-37. ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
\bibitem[JT94]{JT94}
R. D. Jenks and B. M. Trager. ``How to make AXIOM into a Scratchpad'' In ACM
-[ACM94], pp32-40 ISBN 0-89791-638-7 LCCN QA76.95.I59 1994
+[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''
@@ -850,29 +943,30 @@ Springer-Verlag ISBN 3-540-00256-1 p291
\bibitem[Kel00a]{Kel00a}
Kelsey, Tom
``Formal specification of computer algebra''
-University of St Andrews, 6th April 2000
+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
+University of St Andrews, Sept 21, 2000\\
\verb|www.cs.st-andrews.cs.uk/~tom/pub/fscbstalk.ps|
\bibitem[Kel99]{Kel99}
Kelsey, Tom
``Formal Methods and Computer Algebra: A Larch Specification of AXIOM
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|
+Ph.D. Thesis, University of St Andrews, 1999\\
+\verb|www.cs.st-andrews.ac.uk/research/publications/Kel00.php|\\
+\verb|www.cs.st-andrews.ac.uk/research/output/detail?output=Kel00.php|\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Ken99a]{Ken99a}
Kendall, W.S.
-``Itovsn3 in AXIOM: modules, algebras and stochastic differentials''
-\verb|www2.warwick.ac.uk/fac/sci/statistics/staff/academic-research/|
+``Itovsn3 in AXIOM: modules, algebras and stochastic differentials''\\
+\verb|www2.warwick.ac.uk/fac/sci/statistics/staff/academic-research/|\\
\verb|kendall/personal/ppt/328.ps.gz|
\bibitem[Ken99b]{Ken99b}
Kendall, W.S.
-``Symbolic It\^o calculus in AXIOM: an ongoing story
-\verb|www2.warwick.ac.uk/fac/sci/statistics/staff/academic-research/|
+``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
@@ -882,45 +976,64 @@ ISBN 3-540-51517-8 LCCN QA155.7.E4E86 1987
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
+Oxford, UK, 1994\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
\bibitem[Kos91]{Kos91}
P.-V. Koseleff ``Word games in free Lie algebras: several bases and formulas''
Theoretical Computer Science 79(1) pp241-256 Feb. 1991 CODEN TCSCDI
ISSN 0304-3975
\bibitem[Lah08]{Lah08}
-Lahey, Tim "Sage Integration Testing"
+Lahey, Tim "Sage Integration Testing"\\
\verb|http://github.com/tjl/sage_int_testing| Dec. 2008
\bibitem[Lam91]{Lam91}
L. A. Lambe ``Resolutions via homological perturbation'' Journal of Symbolic
Computation 12(1) pp71-87 July 1991 CODEN JSYCEH ISSN 0747-7171
+\bibitem[Lam92]{Lam92}
+Larry Lambe
+``Next Generation Computer Algebra Systems AXIOM and the Scratchpad
+Concept: Applications to Research in Algebra''
+$21^{st}$ Nordic Congress of Mathematicians 1992\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[Lam93]{Lam93}
+Larry Lambe
+``On Using Axiom to Generate Code'' (preprint) 1993\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[LL93]{LL93}
+Larry Lambe and Richard Luczak
+``Object-Oriented Mathematical Programming and Symbolic/Numeric Interface''
+$3^{rd}$ International Conf. on Expert Systems in Numerical Computing 1993\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[LeB91]{LeB91}
S.E.LeBlanc. ``The use of MathCAD and Theorist in the ChE classroom'' In
Anonymous [Ano91], pp287-299 (vol. 1) 2 vols.
\bibitem[Leb08]{Leb08}
Lebedev, Yuri
``OpenMath Library for Computing on Riemann Surfaces''
-PhD thesis, Nov 2008 Florida State University
+PhD thesis, Nov 2008 Florida State University\\
\verb|www.math.fsu.edu/~ylebedev/research/HyperbolicGeometry.html|
\bibitem[Le96]{Le96}
Lecerf, Gr\'egoire
``Dynamic Evaluation and Real Closure Implementation in Axiom''
-June 29, 1996
+June 29, 1996 \\
\verb|www.math.uvsq.fr/~lecerf/software/drc/drc.ps|
+\bibitem[Leexx]{Leexx}
+Andr\'e M.A. van Leeuwen
+``Representation of mathematical object in interactive books''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[Lev95]{Lev95}
+A. H. M. Levelt, editor ISSAC '95: Proceedings of the 1995 International
+Symposium on Symbolic and Algebraic Computation: July 10-12, 1995, Montreal,
+Canada ISSAC-PROCEEDINGS-1995. ACM Press, New York, NY 10036, USA, 1995
+ISBN 0-89791-699-9 LCCN QA76.95 I59 1995 ACM order number 505950
\bibitem[Lin93]{Lin93}
Linton, Steve
-``Vector Enumeration Programs, version 3.04''
+``Vector Enumeration Programs, version 3.04''\\
\verb|www.cs.st-andrews.ac.uk/~sal/nme/nme_toc.html#SEC1|
\bibitem[LD97]{LD97}
Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester,
Franz Winkler "Computer Algebra - algorithms, systems and applications''
-June 2, 1997
+June 2, 1997 \\
\verb|kfe.fjfi.cvut.cz/~liska/ca/all.html|
-\bibitem[Lev95]{Lev95}
-A. H. M. Levelt, editor ISSAC '95: Proceedings of the 1995 International
-Symposium on Symbolic and Algebraic Computation: July 10-12, 1995, Montreal,
-Canada ISSAC-PROCEEDINGS-1995. ACM Press, New York, NY 10036, USA, 1995
-ISBN 0-89791-699-9 LCCN QA76.95 I59 1995 ACM order number 505950
\bibitem[LM91]{LM91}
R. Lynch and H. A. Mavromatis ``New quantum mechanical perturbation technique
using an 'electronic scratchpad' on an inexpensive computer'' American
@@ -929,7 +1042,7 @@ Journal of Pyhsics, 59(3) pp270-273, March 1991. CODEN AJPIAS ISSN 0002-9505
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
+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
@@ -950,7 +1063,7 @@ J. Mathews ``Symbolic computational algebra applied to Picard iteration''
Mathematics and computer education, 23(2) pp117-122 Spring 1989 CODEN MCEDDA,
ISSN 0730-8639
\bibitem[McJ11]{McJ11}
-McJones, Paul ``Software Presentation Group -- Common Lisp family''
+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,
@@ -983,6 +1096,11 @@ CACM August 1971 Vol 14 No. 8 pp527-537
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
+\bibitem[NPxx]{NPxx}
+William Naylor, Julian Padget
+``From Untyped to Polymorphically Typed Objects in Mathematical Web
+Services''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Nor75]{Nor75}
A. C. Norman ``Computing with formal power series'' ACM Transactions on
Mathematical Software, 1(4) pp346-356 Dec. 1975 CODEN ACMSCU ISSN 0098-3500
@@ -990,7 +1108,7 @@ Mathematical Software, 1(4) pp346-356 Dec. 1975 CODEN ACMSCU ISSN 0098-3500
Norman, A.C. ``The SCRATCHPAD Power Series Package''
IBM T.J. Watson Research RC4998
\bibitem[OpenMa]{OpenMa}
-``OpenMath Technical Overview''
+``OpenMath Technical Overview''\\
\verb|www.openmath.org/overview/technical.html|
\bibitem[Oll89]{Oll89}
F. Ollivier ``Inversibility of rational mappings and structural
@@ -1007,18 +1125,51 @@ ISSAC 2007 Proceedings Vol 41 No 3 Sept 2007 p114
S. R. Petric, editor. Proceedings of the second symposium on Symbolic and
Algebraic Manipulation, March 23-25, 1971, Los Angeles, California, ACM Press,
New York, NY 10036, USA, 1971. LCCN QA76.5.S94 1971
+\bibitem[Pet90]{Pet90}
+Michel Petitot
+``Types r\'ecursifs en scratchpad, application aux polyn\^omes non
+commutatifs''
+LIFL, 1990
\bibitem[Pet93]{Pet93}
M. Petitot ``Experience with Axiom'' In Jacob et al. [JOS93], page 240
+\bibitem[PT99]{PT99}
+Erik Poll, Simon Thompson
+``The Type System of Aldor''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[PT00]{PT00}
+Erik Poll, Simon Thompson
+``Integrating Computer Algebra and Reasoning through the Type System
+of Aldor''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[PTxx]{PTxx}
+Erik Poll, Simon Thompson
+``Adding the axioms to Axiom. Toward a system of automated reasoning in
+Aldor''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[Polxx]{Polxx}
+Erik Poll
+``The type system of Axiom''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Pur86]{Pur86}
J. Purtilo ``Applications of a software interconnection system in mathematical
problem solving environments'' In Bruce W. Char, editor. Proceedings of the
1986 Symposium on Symbolic and Algebraic Computation: SYMSAC '86, July 21-23,
ACM Press, New York, NY 10036, USA, 1986. ISBN 0-89791-199-7 LCCN QA155.7.E4
A281 1986 ACM order number 505860
+\bibitem[CCxx]{CCxx}
+Quentin Carpent, Christophe Conil
+``Utilisation de logiciels libres pour la r\'ealisation de TP MT26'' (2004)\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[Rob93]{Rob93}
+Nicolas Robidoux
+``Does Axiom Solve Systems of O.D.E's Like Mathematica?''
+July 1993\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Rio92]{Rio92}
R. Rioboo ``Real algebraic closure of an ordered field, implementation in
Axiom'' In Wang [Wan92], pp206-215 ISBN 0-89791-489-9 (soft cover)
-0-89791-490-2 (hard cover) LCCN QA76.95.I59 1992
+0-89791-490-2 (hard cover) LCCN QA76.95.I59 1992\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Roe95]{Roe95}
K. G. Roesner ``Verified solutions for parameters of an exact solution for
non-Newtonian liquids using computer algebra'' Zeitschrift fur Angewandte
@@ -1051,14 +1202,21 @@ W. M. Seiler ``Completion to involution in AXIOM'' in Calmet [Cal94] pp103-104
\bibitem[Sie94b]{Sie94b}
W. M. Seiler ``Pseudo differential operators and integrable systems in AXIOM''
Computer Physics Communications, 79(2) pp329-340 April 1994 CODEN CPHCBZ
-ISSN 0010-4655
+ISSN 0010-4655\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Sei95]{Sei95}
W.M.Seiler ``Applying AXIOM to partial differential equations''
Internal Report 95-17, Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik
-1995
+1995\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[SC95]{SC95}
+W.M. Seiler and J. Calmet
+``JET -- An Axiom Environment for Geometric Computations with Differential
+Equations''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Seixx]{Seixx}
Seiler, Werner M.
-``DETools: A Library for Differential Equations''
+``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''
@@ -1075,7 +1233,8 @@ 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)
+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),
@@ -1084,6 +1243,10 @@ IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA, 1987, 11pp
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 --
@@ -1100,7 +1263,7 @@ Oct.-Dec. 1988 CODEN JSYCEH ISSN 0747-7171
``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
+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
@@ -1110,10 +1273,19 @@ Grenoble, France, Feb 1987
R. S. Sutor ``The Scratchpad II computer algebra language and system'' In
Buchberger and Caviness [BC85], pp32-33 ISBN 0-387-15983-5 (vol. 1),
0-387-15984-3 (vol. 2) LCCN QA155.7.E4 E86 1985 Two volumes.
-\bibitem[SW88]{SW88}
-R. D. Jenks, R. S. Sutor, and S. M. Watt ``Scratchpad II: An abstract
-datatype system for mathematical computation'' In Jan{\ss}en [Jan88],
-pp12-?? ISBN 3-540-18928-9, 0-387-18928-9 LCCN QA155.7.E4T74 1988
+\bibitem[Tho00]{Tho00}
+Simon Thompson
+``Logic and dependent types in the Aldor Computer Algebra System''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[TTxx]{TTxx}
+Simon Thompson and Leonid Timochouk
+``The Aldor\-\- language''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
+\bibitem[Tou98]{Tou98}
+Emmanuel Touratier
+``Etude du typage dans le syst\`eme de calcul scientifique Aldor''
+Universit\'e de Limoges 1998\\
+\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
@@ -1144,16 +1316,19 @@ LCCN QA76.95.I59 1991
\bibitem[Wat94]{Wat94}
Watt, Stephen M., Broadbery, Peter A., Dooley, Samuel S., and Iglio, Pietro
``A First Report on the A\# Compiler (including benchmarks)''
-IBM Research Report RC19529 (85075) May 12, 1994
+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[Wat95]{Wat95}
-Watt, S.M. et al, AXIOM Library Compiler Users Guide
-NAG Ltd, 1995
+S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, J.M. Steinbach,
+S.C. Morrison, R.S. Sutor
+``AXIOM Library Compiler Users Guide''
+The Numerical Algorithms Group (NAG) Ltd, 1994
\bibitem[WJ12]{WJ12}
Wei-Jiang
-``Top free algebra System''
+``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
@@ -1162,6 +1337,11 @@ for Scientific Problem Solving, Academic Press, New York, 1990
\bibitem[Web93]{Web93}
A. Weber. ``On coherence in computer algebra'' In Miola [Mio93], pp95-106
ISBN 3-540-57235-X LCCN QA76.9.S88I576 1993
+\bibitem[Web94]{Web94}
+Andreas Weber
+``Algorithms for Type Inference with Coercions''
+ISSAC 94 ACM 0-89791-638-7/94/0007\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Wes99]{Wes99}
Wester, Michael J. ``Computer Algebra Systems''
John Wiley and Sons 1999 ISBN 0-471-98353-5
@@ -1175,11 +1355,15 @@ Shunro Watanabe and Morio Nagata, editors. ISSAC '90 Proceedings of the
International Symposium on Symbolic and Algebraic Computation ACM Press,
New York, NY, 10036, USA. 1990 ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
\bibitem[WWW1]{WWW1}
-Software Preservation Group
+Software Preservation Group\\
\verb|www.softwarepresentation.org/projects/LISP/common_lisp_family|
\bibitem[Yap00]{Yap00}
Yap, Chee Keng ``Fundamental Problems of Algorithmic Algebra''
Oxford University Press (2000) ISBN0-19-512516-9
+\bibitem[You04]{You04}
+Saul Youssef
+``Prospects for Category Theory in Aldor'' October 2004\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Yun83]{Yun83}
Yun, David Y.Y. ``Computer Algebra and Complex Analysis''
Computational Aspects of Complex Analysis pp379-393
@@ -1238,7 +1422,7 @@ George A. Baker and Peter Graves-Morris
``Pade Approximants''
Cambridge University Press, March 1996 ISBN 9870521450072
\bibitem[Ba10]{Ba10}
-Baker, Martin ``3D World Simulation''
+Baker, Martin ``3D World Simulation''\\
\verb|www.euclideanspace.com|
\bibitem[BK68]{BK68}
Banks D O and Kurowski I,
@@ -1319,28 +1503,24 @@ J. Symbolic Computation (1990) 9, pp49-60 Feb 1988
\bibitem[Bro88a]{Bro88a}
Bronstein, Manual ``The Transcendental Risch Differential Equation''
IBM Research Report RC13460 IBM Corp. Yorktown Heights, NY
-\bibitem[Bro90]{Bro90}
+\bibitem[Bro90a]{Bro90a}
Bronstein, Manuel ``Integration of Elementary Functions''
J. Symbolic Computation (199) 9, pp117-173 September 1988
-\bibitem[REF-BS93]{REF-BS93}
-Manuel Bronstein and Bruno Salvy ``Full partial fraction decomposition of
-rational functions'' In Bronstein [Bro93] pp157-160 ISBN 0-89791-604-2
-LCCN QA76.95 I59 1993
-\verb|http://www.acm.org/pubs/citations/proceedings/issac/164081/|
-\bibitem[Bro98]{Bro98}
+\bibitem[Bro98b]{Bro98b}
Bronstein, Manuel "Symbolic Integration Tutorial"
INRIA Sophia Antipolis ISSAC 1998 Rostock
-\bibitem[Bro90]{Bro90}
+\bibitem[Bro90c]{Bro90c}
M. Bronstein. ``On the integration of elementary functions''
{\sl Journal of Symbolic Computation} 9(2):117-173, February 1990
-\bibitem[Bro91]{Bro91}
-M. Bronstein. ``The Risch differential equation on an
-algebraic curve'' In S.Watt, editor, {\sl Proceedings of ISSAC'91},
-pages 241-246, ACM Press, 1991.
+\bibitem[REF-BS93]{REF-BS93}
+Manuel Bronstein and Bruno Salvy ``Full partial fraction decomposition of
+rational functions'' In Bronstein [Bro93] pp157-160 ISBN 0-89791-604-2
+LCCN QA76.95 I59 1993\\
+\verb|http://www.acm.org/pubs/citations/proceedings/issac/164081/|
\bibitem[Bro97]{Bro97}
M. Bronstein. {\sl Symbolic Integration I--Transcendental Functions.}
Springer, Heidelberg, 1997 ISBN 3-540-21493-3
-\bibitem[Bro98]{Bro98}
+\bibitem[REF-Bro98]{REF-Bro98}
M. Bronstein. ``The lazy hermite reduction'' Rapport de
Recherche RR-3562, INRIA, 1998
\bibitem[Car65]{Car65}
@@ -1441,7 +1621,7 @@ James Davenport, ``On Brillhart Irreducibility.'' To appear.
\bibitem[REF-Dav93]{Ref-Dav93}
J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93
(ATR/6)(NP2556) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA
-and Oxford, UK, August 1993
+and Oxford, UK, August 1993\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
\bibitem[DR75]{DR75}
Davis P J and Rabinowitz P,
@@ -1535,7 +1715,7 @@ Paper 25, AGACSE 2001.
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.
+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,
@@ -1549,6 +1729,12 @@ Forsythe G E,
``Generation and use of orthogonal polynomials for data fitting
with a digital computer''
J. Soc. Indust. Appl. Math. 5 74--88. (1957)
+\bibitem[REF-For90]{REF-For90}
+A. Fortenbacher
+``Efficient type inference and coercion in computer algebra''
+Design and Implementation of Symbolic Computation Systems (DISCO 90)
+A. Miola, (ed) vol 429 of Lecture Notes in Computer Science
+Springer-Verlag, pp56-60
\bibitem[Fox68]{Fox68}
Fox L and Parker I B,
``Chebyshev Polynomials in Numerical Analysis''
@@ -1599,7 +1785,7 @@ Gentleman W M,
``Algorithm AS 75. Basic Procedures for Large Sparse or
Weighted Linear Least-squares Problems''
Appl. Statist. 23 448--454. (1974)
-\bibitem[GM74]{GM74}
+\bibitem[GM74a]{GM74a}
Gentleman W. M. and Marovich S. B., ``More on algorithms
that reveal properties of floating point arithmetic units''
Comms. of the ACM, 17, 276-277. (1974)
@@ -1612,7 +1798,7 @@ J. Comput. Appl. Math. 6 295--302.
Gill P E and Miller G F,
``An Algorithm for the Integration of Unequally Spaced Data''
Comput. J. 15 80--83. (1972)
-\bibitem[GM74]{GM74}
+\bibitem[GM74b]{GM74b}
Gill P E and Murray W (eds)
``Numerical Methods for Constrained Optimization'' Academic Press. (1974)
\bibitem[GM76a]{GM76a}
@@ -1699,7 +1885,7 @@ Acta Appl. Math. 8 (1987), 271-291
\bibitem[REF-GS92]{REF-GS92}
J. Grabmeier and A. Scheerhorn ``Finite fields in Axiom'' AXIOM Technical
Report TR7/92 (ATR/5)(NP2522), Numerical Algorithms Group, Inc., Downer's
-Grove, IL, USA and Oxford, UK, 1992
+Grove, IL, USA and Oxford, UK, 1992\\
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
\bibitem[HL95]{HL95}
Hach\'e, G. and Le Brigand, D.
@@ -1720,7 +1906,7 @@ Hall G and Watt J M (eds),
Clarendon Press. (1976)
\bibitem[Ham04]{Ham04}
Hamdy, S. ``LiDIA A library for computational number theory''
-Reference manual Edition 2.1.1 May 2004
+Reference manual Edition 2.1.1 May 2004\\
\verb|www.cdc.informatik.tu-darmstadt.de/TI/LiDIA|
\bibitem[Ham85]{Ham85}
Hammarling S,
@@ -1840,7 +2026,7 @@ ISBN 0-937073-81-4 Stanford CA (1992)
Kolchin, E.R. ``Differential Algebra and Algebraic Groups''
(Academic Press, 1973).
\bibitem[Kou10]{Kou10}
-Christoph Koutschan "Axiom / FriCAS"
+Christoph Koutschan "Axiom / FriCAS"\\
\verb|www.risc.jku.at/education/courses/ws2010/cas/axiom.pdf|
\bibitem[KL86]{KL86}
Dexter Kozen and Susan Landau, ``Polynomial Decomposition Algorithms''
@@ -1915,13 +2101,13 @@ alg\'{e}brique. {\sl Journal de l'Ecole Polytechnique}, 14:149-193, 1833
D.Lipson, ``Elements of Algebra and Algebraic Computing'',
The Benjamin/Cummings Publishing Company, Inc.-Menlo Park, California, 1981.
\bibitem[Loe09]{Loe09}
-Loetzsch, M. ``GTFL - A graphical terminal for Lisp''
+Loetzsch, M. ``GTFL - A graphical terminal for Lisp''\\
\verb|martin-loetzsch.de/gtfl/|
\bibitem[Los60]{Los60}
L\"osch, Friedrich ``Tables of Higher Functions''
McGraw-Hill Book Company 1960
\bibitem[LTU10]{LTU10}
-``Lambda the Ultimate''
+``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
@@ -1948,7 +2134,7 @@ 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''
+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''
@@ -1960,6 +2146,12 @@ Report AERE-R 10889. Harwell. (1983)
\bibitem[Min79]{Min79}
Henryk Minc, ``Evaluation of Permanents''
Proc. of the Edinburgh Math. Soc.(1979), 22/1 pp 27-32.
+\bibitem[Mil68]{Mil68}
+J. K. Millen
+``CHARYBDIS: A LISP program to display mathematical expressions on
+typewriter-like devices''
+Interactive Systems for Experimental and Applied Mathematics
+M. Klerer and J. Reinfelds, eds., Academic Press, New York 1968, pp79-90
\bibitem[MGH74]{MGH74}
More J J, Garbow B S and Hillstrom K E,
``User Guide for Minpack-1''
@@ -2025,7 +2217,7 @@ Olver, Frank W., Lozier, Daniel W., Boisvert, Ronald F., Clark, Charles W. (ed)
``NIST Handbook of Mathematical Functions'' (2010) Cambridge University
Press ISBN 978-0-521-19225-5
\bibitem[OpenM]{OpenM}
-``OpenMath Technical Overview''
+``OpenMath Technical Overview''\\
\verb|www.openmath.org/overview/technical.html|
\bibitem[OR70]{OR70}
Ortega J M and Rheinboldt W C,
@@ -2140,7 +2332,7 @@ Mathematical Programming: The State of the Art.
\bibitem[Pra73]{Pra73}
Pratt, Vaughan R. ``Top down operator precedence''
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on
-Principles of programming languages
+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.,
@@ -2161,7 +2353,7 @@ Pryce J D,
Sturm-Liouville Problems''
J. Num. Anal. 6 103--123. (1986)
\bibitem[Pu09]{Pu09}
-Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial''
+Puffinware LLC ``Singular Value Decomposition (SVD) Tutorial'' \\
\verb|www.puffinwarellc.com/p3a.htm|
\bibitem[QG06]{QG06}
Gregorio Quintana-Orti and Robert van de Geijn, "Improving the
@@ -2176,7 +2368,7 @@ Ralston A,
``A First Course in Numerical Analysis''
McGraw-Hill. 87--90. (1965)
\bibitem[Ra03]{Ra03}
-Ramsey, Norman ``Noweb -- A Simple, Extensible Tool for Literate Programming''
+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''
@@ -2198,7 +2390,8 @@ Rocky Mountain J. Math. 14 223--237. (1984)
Christophe Reutenauer ``Free Lie Algebras''
Oxford University Press, June 1993 ISBN 0198536798
\bibitem[Ri10]{Ri10}
-Rich, Albert D. ``Rule-based Mathematics'' \verb|www.apmaths.uwo.ca/~arich|
+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''
@@ -2266,6 +2459,11 @@ preliminary report, Univ. Tuebingen, 1982
Schonfelder J L,
``The Production of Special Function Routines for a Multi-Machine Library''
Software Practice and Experience. 6(1) (1976)
+\bibitem[REF-SC95]{REF-SC95}
+W.M. Seiler and J. Calmet
+``JET -- An Axiom Environment for Geometric Computations with Differential
+Equations''\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[She68]{She68}
Shepard D,
``A Two-dimensional Interpolation Function for Irregularly Spaced Data''
@@ -2275,7 +2473,7 @@ Princeton. 517--523. 1968
C. Sims ``Determining the Conjugacy Classes of a Permutation Group''
Computers in Algebra and Number Theory, SIAM-AMS Proc., Vol. 4,
American Math. Soc., 1991, pp191-195
-\bibitem[Sit92]{Sit92}
+\bibitem[REF-Sit92]{REF-Sit92}
William Sit, ``An Algorithm for Parametric Linear Systems''
J. Sym. Comp., April 1992
\bibitem[Smi67]{Smi67}
@@ -2350,7 +2548,7 @@ Chapter 8. NPL Notes on Applied Science (2nd Edition). 16 HMSO. 1961
Van Dooren P and De Ridder L,
``An Adaptive Algorithm for Numerical Integration over an N-dimensional Cube''
J. Comput. Appl. Math. 2 207--217. (1976)
-\bibitem[vH94]{vH94}
+\bibitem[REF-vH94]{REF-vH94}
M. van Hoeij. ``An algorithm for computing an integral
basis in an algebraic function field'' {\sl J. Symbolic Computation}
18(4):353-364, October 1994
@@ -2376,21 +2574,21 @@ Andr\'{e} Weil, {\sl Courbes alg\'{e}briques et
vari\'{e}t\'{e}s Abeliennes} Hermann, Paris, 1971
\bibitem[Wein]{Wein}
Weisstein, Eric W. ``Hypergeometric Function''
-MathWorld - A Wolfram Web Resource
+MathWorld - A Wolfram Web Resource\\
\verb|mathworld.wolfram.com/HypergeometricFunction.html|
\bibitem[Wei03]{Wei03}
-Weitz, E. ``CL-WHO -Yet another Lisp markup language''
+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''
+formerly known as TBNL''\\
\verb|www.weitz.de/hunchentoot/|
\bibitem[Wes82a]{Wes82a}
Wesseling P,
``MGD1 - A Robust and Efficient Multigrid Method''
Multigrid Methods. Lecture Notes in Mathematics. 960
Springer-Verlag. 614--630. (1982)
-\bibitem[Wes82a]{Wes82a}
+\bibitem[Wes82b]{Wes82b}
Wesseling P,
``Theoretical Aspects of a Multigrid Method''
SIAM J. Sci. Statist. Comput. 3 387--407. (1982)
@@ -2435,6 +2633,10 @@ MM Research Preprints, 1987
Wynn P (1956)
``On a Device for Computing the $e_m(S_n )$ Transformation''
Math. Tables Aids Comput. 10 91--96.
+\bibitem[REF-You04]{REF-You04}
+Saul Youssef
+``Prospects for Category Theory in Aldor'' October 2004\\
+\verb|axiom-wiki.newsynthesis.org/public/refs/articles.html|
\bibitem[Yu76]{Yu76}
D.Y.Y. Yun. ``On square-free decomposition algorithms''
{\sl Proceedings of SYMSAC'76} pages 26-35, 1976
diff --git a/changelog b/changelog
index e2f9290..dd42aaf 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20130323 tpd src/axiom-website/patches.html 20130323.01.tpd.patch
+20130323 tpd books/bookvolbib add references
20130321 tpd src/axiom-website/patches.html 20130321.01.tpd.patch
20130321 tpd books/ps/v104finitefieldfactorization.eps add FFFACTOR
20130321 tpd src/algebra/Makefile compile FiniteFieldFactorization
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 088f509..cd04378 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4111,5 +4111,7 @@ regression test cleaup
regression test cleaup
20130321.01.tpd.patch
books/bookvol10.4 add FiniteFieldFactorization
+20130323.01.tpd.patch
+books/bookvolbib add references