diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 0a124a0..5801f4a 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -427,6 +427,9 @@ Marcel Dekker, Inc (1990) ISBN 0-8247-8341-7
S. Dalmas ``A polymorphic functional language applied to symbolic computation''
In Wang [Wan92] pp369-375 ISBN 0-89791-489-9 (soft cover) 0-89791-490-2
(hard cover) LCCN QA76.95.I59 1992
+\bibitem[Dal88]{Dal88}
+Daly, Timothy ``Axiom in an Educational Setting''
+Axiom course slide deck January 1988
\bibitem[Dal02]{Dal02}
T. Daly ``Axiom as open source'' SIGSAM Bulletin (ACM Special Interest Group
on Symbolic and Algebraic Manipulation) 36(1) pp28-?? March 2002
@@ -441,6 +444,12 @@ Daly, Timothy, "The Axiom Literate Documentation"
Timothy Daly ``Axiom Volume 1: Tutorial'' Lulu, Inc. 860 Aviation Parkway,
Suite 300, Morrisville, NC 27560 USA, 2006 ISBN 141166597X 287pp
\verb|http://www.lulu.com/content/190827|
+\bibitem[Dav79]{Dav79}
+Davenport, J.H. SPAD.SCRIPT
+VM/370 SPAD.SCRIPTS August 24, 1979
+\bibitem[Dav82]{Dav82}
+Davenport, J.H. ``On the Parallel Risch Algorithm (III): Use of Tangents''
+SIGSAM V16 no. 3 pp3-6 August 1982
\bibitem[Dav89]{Dav89}
J. H. Davenport, editor EUROCAL '87 European Conference on Computer Algebra
Proceedings Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London,
@@ -456,7 +465,7 @@ 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|
\bibitem[Dav93]{Dav93}
-J. H. davenport ``Primality testing revisited'' Technical Report TR2/93
+J. H. Davenport ``Primality testing revisited'' Technical Report TR2/93
(ATR/6)(NP2556) Numerical Algorithms Group, Inc., Downer's Grove, IL, USA
and Oxford, UK, August 1993
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
@@ -470,6 +479,10 @@ Davenport, J. H., Siret, and Tournier ``Computer Algebra'' \hfill\\
C. Dicrescenzo and D. Duval ``Algebraic extensions and algebraic closure in
Scratchpad II'' In Gianni [Gia89], pp440-446 ISBN 3-540-51084-2
LCCN QA76.95.I57 1998 Conference held jointly with AAECC-6
+\bibitem[Dev93]{Dev93}
+Pinch, R.G.E. ``Some Primality Testing Algorithms''
+Devlin, Keith (ed.)
+Computers and Mathematics November 1993, Vol 40, Number 9 pp1203-1210
\bibitem[Dew94]{Dew94}
Dewar, M. C. ``Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link''
Proceedings of the Workshop on Symbolic and Numeric Computing, ed by Apiola, H.
@@ -507,7 +520,7 @@ ISBN 1-58113-073-2 LCCN QA76.95.I57 1999
\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-204230-1
+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),
@@ -532,6 +545,14 @@ 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}
+Faure, Christ\'ele, Davenport, James
+``Parameters in Computer Algebra''
+\bibitem[FDN00]{FDN00}
+Faure, Christ\'ele, Davenport, James, Naciri, Hanane
+``Multi-values Computer Algebra''
+ISSN 0249-6399 Institut National De Recherche en Informatique et en
+Automatique Sept. 2000 No. 4001
\bibitem[Fit84]{Fit84}
J. P. Fitch, editor, EUROSAM '84: International Symposium on Symbolic and
Algebraic Computation, Cambridge, England, July 9-11, 1984, volume 174 of
@@ -592,6 +613,10 @@ James H. Griesmer and Richard D. Jenks. ``SCRATCHPAD: A capsule view''
ACM SIGPLAN Notices, 7(10) pp93-102, 1972. Proceedings of the symposium
on Two-dimensional man-machine communications. Mark B. Wells and
James B. Morris (eds.).
+\bibitem[GJY75]{GJY75}
+Griesmer, J.H., Jenks, R.D., Yun, D.Y.Y
+``SCRATCHPAD User's Manual''
+IBM Research Publication RA70 June 1975
\bibitem[GKW03]{GKW03}
Johannes Grabmeier, Erich Kaltofen, and Volker Weispfenning, editors.
Computer algebra handbook: foundations, applications, systems.
@@ -626,6 +651,10 @@ J. Grabmeier and A. Scheerhorn ``Finite fields in Axiom'' AXIOM Technical
Report TR7/92 (ATR/5)(NP2522), Numerical Algorithms Group, Inc., Downer's
Grove, IL, USA and Oxford, UK, 1992
\verb|http://www.nag.co.uk/doc/TechRep/axiomtr.html|
+\bibitem[Hec01]{Hec01}
+Heck, A. ``Variables in computer algebra, mathematics and science''
+The International Journal of Computer Algebra in Mathematics Education
+Vol. 8 No. 3 pp195-210 (2001)
\bibitem[HP89]{HP89}
L. Huguet and A. Poli, editors. Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes. 5th International Conference AAECC-5 Proceedings.
@@ -660,6 +689,9 @@ 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}
+Jenks, Richard ``The Scratchpad II Computer Algebra System Interactive
+Environment Users Guide'' Spring 1988
\bibitem[JT81]{JT81}
Jenks, R.D. and Trager, B.M. ``A Language for Computational Algebra''
Proceedings of SYMSAC81, Symposium on Symbolic and Algebraic Manipulation,
@@ -791,6 +823,9 @@ Proceedings, volume 357 of Lecture Notes in Computer Science
Springer-Verlag, Berlin, Germany / Heildelberg, Germany / London, UK / etc.,
1989 ISBN 3-540-51083-4, LCCN QA268.A35 1988 Conference held jointly with
ISSAC '88
+\bibitem[Mos71]{Mos71}
+Moses, Joel ``Algebraic Simplification: A Guide for the Perplexed''
+CACM August 1971 Vol 14 No. 8 pp527-537
\bibitem[MR90]{MR90}
E. Melachrinoudis and D. L. Rumpf ``Teaching advantages of transparent computer
software -- MathCAD'' CoED, 10(1) pp71-76, January-March 1990 CODEN CWLJDP
@@ -798,6 +833,9 @@ ISSN 0736-8607
\bibitem[Nor75]{Nor75}
A. C. Norman ``Computing with formal power series'' ACM Transactions on
Mathematical Software, 1(4) pp346-356 Dec. 1975 CODEN ACMSCU ISSN 0098-3500
+\bibitem[Nor75a]{Nor75a}
+Norman, A.C. ``The SCRATCHPAD Power Series Package''
+IBM T.J. Watson Research RC4998
\bibitem[Oll89]{Oll89}
F. Ollivier ``Inversibility of rational mappings and structural
identifiablility in automatics'' In ACM [ACM89], pp43-54 ISBN 0-89791-325-6
@@ -886,6 +924,10 @@ ISBN 0-89791-235-7 LCCN QA76.7.S54 v22:7 SIGPLAN Notices, v22 n7 (July 1987)
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[Sme92]{Sme92}
Trevor J. Smedley ``Using pictorial and object oriented programming for
computer algebra'' In Hal Berghel et al., editors. Applied computing --
@@ -943,6 +985,13 @@ Stephen M. Watt, editor Proceedings of the 1991 International Symposium on
Symbolic and Algebraic Computation, ISSAC'91, July 15-17, 1991, Bonn, Germany,
ACM Press, New York, NY 10036, USA, 1991 ISBN 0-89791-437-6
LCCN QA76.95.I59 1991
+\bibitem[Wat94]{Wat94}
+Watt, Stephen M., Broadbery, Peter A., Dooley, Samuel S., and Iglio, Pietro
+``A First Report on the A\# Compiler (including benchmarks)''
+IBM Research Report RC19529 (85075) May 12, 1994
+\bibitem[Wat94a]{Wat94a}
+Watt, Stephen M., et. al. ``A\# User's Guide''
+Version 1.0.0 O($\epsilon{}^1$) June 8, 1994
\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
@@ -965,6 +1014,10 @@ New York, NY, 10036, USA. 1990 ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
\bibitem[Yap00]{Yap00}
Yap, Chee Keng ``Fundamental Problems of Algorithmic Algebra''
Oxford University Press (2000) ISBN0-19-512516-9
+\bibitem[Yun83]{Yun83}
+Yun, David Y.Y. ``Computer Algebra and Complex Analysis''
+Computational Aspects of Complex Analysis pp379-393
+D. Reidel Publishing Company H. Werner et. al. (eds.)
\bibitem[Zen92]{Zen92}
Ch. Zenger. ``Gr{\"o}bnerbasen f{\"u}r Differentialformen und ihre
Implementierung in AXIOM, Diplomarbeit, Universit{\"a}t Karlsruhe,
@@ -991,7 +1044,16 @@ Baker, Martin ``3D World Simulation''
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[Br98]{Br98}
+\bibitem[Bro88]{Bro88}
+Bronstein, Manual ``The Transcendental Risch Differential Equation''
+J. Symbolic Computation (1990) 9, pp49-60 Feb 1988
+\bibitem[Bro88a]{Bro88a}
+Bronstein, Manual ``The Transcendental Risch Differential Equation''
+IBM Research Report RC13460 IBM Corp. Yorktown Heights, NY
+\bibitem[Bro90]{Bro90}
+Bronstein, Manuel ``Integration of Elementary Functions''
+J. Symbolic Computation (199) 9, pp117-173 September 1988
+\bibitem[Bro98]{Bro98}
Bronstein, Manuel "Symbolic Integration Tutorial"
INRIA Sophia Antipolis ISSAC 1998 Rostock
\bibitem[Bro90]{Bro90}
diff --git a/changelog b/changelog
index 1d8e5cc..0c01fbc 100644
--- a/changelog
+++ b/changelog
@@ -1,4 +1,6 @@
-20110411 tpd src/axiom-website/patches.html 20110411.01.exs.patch
+20110411 tpd src/axiom-website/patches.html 20110411.02.tpd.patch
+20110411 tpd books/bookvolbib add several references
+20110411 tpd src/axiom-website/patches.html 20110411.01.tpd.patch
20110411 tpd src/input/Makefile add davis.input
20110411 tpd src/input/davis.input
20110404 exs src/axiom-website/patches.html 20110404.01.exs.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 6dfc409..8970a2d 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -3446,7 +3446,9 @@ In process, not yet released
src/axiom-website/download.html add ubuntu
20110404.01.exs.patch
books/bookvol0 replace "operator over" by "operate over"
-20110411.01.exs.patch
+20110411.01.tpd.patch
src/input/davis.input added
+20110411.02.tpd.patch
+books/bookvolbib add several references