From 1e3177245d047205f462b591ad1ca915e52fa1ac Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Sun, 5 Feb 2017 18:52:07 0500
Subject: [PATCH] books/bookvolbib Bradley and Manna The Calculus of
Computation
Goal: Axiom Literate Programming
\index{Bradley, Aaron R.}
\index{Manna, Zohar}
\begin{chunk}{axiom.bib}
@book{Brad07,
author = "Bradley, Aaron R. and Manna, Zohar",
title = "The Calculus of Computation",
year = "2007",
publisher = "Springer",
isbn = "9783540741121",
}
\end{chunk}

books/bookvolbib.pamphlet  13 +++++++++
changelog  2 +
patch  54 ++++++
src/axiomwebsite/patches.html  2 +
4 files changed, 26 insertions(+), 45 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 10985a0..bf05edb 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 5743,6 +5743,19 @@ Martin, U.
\end{chunk}
+\index{Bradley, Aaron R.}
+\index{Manna, Zohar}
+\begin{chunk}{axiom.bib}
+@book{Brad07,
+ author = "Bradley, Aaron R. and Manna, Zohar",
+ title = "The Calculus of Computation",
+ year = "2007",
+ publisher = "Springer",
+ isbn = "9783540741121",
+}
+
+\end{chunk}
+
\index{Bressoud, David}
\begin{chunk}{axiom.bib}
@article{Bres93,
diff git a/changelog b/changelog
index a901f93..e9f8dab 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+20170205 tpd src/axiomwebsite/patches.html 20170205.01.tpd.patch
+20170205 tpd books/bookvolbib Bradley and Manna The Calculus of Computation
20170130 tpd src/axiomwebsite/patches.html 20170130.02.tpd.patch
20170130 tpd books/bookvolbib Seiler Thesis and Habilitation Axiom references
20170130 tpd src/axiomwebsite/patches.html 20170130.01.tpd.patch
diff git a/patch b/patch
index 0476789..14599c0 100644
 a/patch
+++ b/patch
@@ 1,53 +1,17 @@
books/bookvolbib Seiler Thesis and Habilitation Axiom references
+books/bookvolbib Bradley and Manna The Calculus of Computation
Goal: Axiom Literate Programming
\index{Seiler, Werner Markus}
+\index{Bradley, Aaron R.}
+\index{Manna, Zohar}
\begin{chunk}{axiom.bib}
@phdthesis{Seil94,
 author = "Seiler, Werner Markus",
 title = "Analysis and Application of the Formal Theory of
 Partial Differential Equations",
 school = "Universitat Karlsruhe",
 year = "1994",
 link =
 "\url{http://www.mathematik.unikassel.de/~seiler/Papers/Diss/diss.ps.gz}",
 abstract = "
 An introduction to the formal theory of partial differential equations
 is given emphasizing the properties of involutive symbols and
 equations. An algorithm to complete any differential equation to an
 involutive one is presented. For an involutive equation possible
 values for the number of arbitrary functions in its general solution
 are determined. The existence and uniqueness of solutions for analytic
 equations is proven. Applications of these results include an
 analysis of symmetry and reduction methods and a study of gauge
 systems. It is show that the Dirac algorithm for systems with
 constraints is closely related to the completion of the equation of
 motion to an involutive equation. Specific examples treated comprise
 the YangMills Equations, Einstein Equations, complete and Jacobian
 systems, and some special models in two and three dimensions. To
 facilitate the involved tedious computations an environment for
 geometric approaches to differential equations has been developed in
 the computer algebra system Axiom. The appendices contain among others
 brief introductions into CartenK{\"a}hler Theory and JanetRiquier
 Theory.",
 paper = "Seil94.pdf",
 keywords = "axiomref"
+@book{Brad07,
+ author = "Bradley, Aaron R. and Manna, Zohar",
+ title = "The Calculus of Computation",
+ year = "2007",
+ publisher = "Springer",
+ isbn = "9783540741121",
}
\end{chunk}
\index{Seiler, Werner Markus}
\begin{chunk}{axiom.bib}
@misc{Seil01,
 author = "Seiler, Werner Markus",
 title = "Involution  The Formal Theory of Differential Equations and
 its Applications in Computer Algebra and Numerical Analysis",
 year = "2001",
 link =
 "\url{http://www.mathematik.unikassel.de/~seiler/Papers/Habil/habil.ps.gz}",
 paper = "Seil01.pdf",
 keywords = "axiomref"
}

\end{chunk}
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 4a7bb2d..83814c2 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5654,6 +5654,8 @@ books/bookvolbug bug 7323 SEGXCAT fixed
books/bookvolbib Pagani Differential Forms references
20170130.02.tpd.patch
books/bookvolbib Seiler Thesis and Habilitation Axiom references
+20170205.01.tpd.patch
+books/bookvolbib Bradley and Manna The Calculus of Computation

1.7.5.4