From 74fa029c389bec51503f2bec75d16e45133fc8f4 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Mon, 30 Jan 2017 01:16:33 0500
Subject: [PATCH] books/bookvolbib Seiler Thesis and Habilitation Axiom
references
Goal: Axiom Literate Programming
\index{Seiler, Werner Markus}
\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"
}
\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}

books/bookvolbib.pamphlet  32 ++++++++++++
changelog  2 +
patch  84 +++++++++++++++++++
src/axiomwebsite/patches.html  2 +
4 files changed, 71 insertions(+), 49 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index b419a3c..10985a0 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 30786,11 +30786,15 @@ Kognitive Systeme, Universit\"t Karlsruhe 1992
\end{chunk}
\index{Seiler, Werner Markus}
\begin{chunk}{ignore}
\bibitem[Seiler 94]{Sei94} Seiler, Werner Markus
 title = "Analysis and Application of the Formal Theory of Partial Differential Equations",
PhD thesis, School of Physics and Materials, Lancaster University (1994)
 link = "\url{http://www.mathematik.unikassel.de/~seiler/Papers/Diss/diss.ps.gz}",
+\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
@@ 30810,8 +30814,9 @@ PhD thesis, School of Physics and Materials, Lancaster University (1994)
the computer algebra system Axiom. The appendices contain among others
brief introductions into CartenK{\"a}hler Theory and JanetRiquier
Theory.",
 paper = "Sei94.pdf",
+ paper = "Seil94.pdf",
keywords = "axiomref"
+}
\end{chunk}
@@ 31035,6 +31040,21 @@ PhD thesis, School of Physics and Materials, Lancaster University (1994)
\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}
+
\index{Senechaud, P.}
\index{Siebert, F.}
\index{Villard, Gilles}
diff git a/changelog b/changelog
index 952f195..a901f93 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+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
20170130 tpd books/bookvolbib Pagani Differential Forms references
20170129 tpd src/axiomwebsite/patches.html 20170129.01.tpd.patch
diff git a/patch b/patch
index 956ae1c..0476789 100644
 a/patch
+++ b/patch
@@ 1,55 +1,53 @@
books/bookvolbib Pagani Differential Forms references
+books/bookvolbib Seiler Thesis and Habilitation Axiom references
Goal: Axiom Literate Programming
\index{Pagani, Kurt}
+\index{Seiler, Werner Markus}
\begin{chunk}{axiom.bib}
@misc{Paga16,
 author = "Pagani, Kurt",
 title = "SurfaceComplex",
 year = "2016",
 link = "\url{https://groups.google.com/forum/\#!topic/fricasdevel/FRDGVFsoAKw}",
 abstract =
 "This manual describes the FriCAS domains {\bf CellMap} and
 {\bf SurfaceComplex}. These domains provide methods to compute various
 differential geometric properties of socalled $p$surfaces in
 $\mathbb{R}^n$, a notion which is used by Walter Rudin in his famous
 {\sl Principles of Mathematical Analysis}.",
 paper = "Paga16.pdf"
+@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"
}
\end{chunk}
\index{Pagani, Kurt}
+\index{Seiler, Werner Markus}
\begin{chunk}{axiom.bib}
@misc{Paga16a,
 author = "Pagani, Kurt",
 title = "DifferentialGeometry1",
 year = "2016",
 link = "\url{https://groups.google.com/forum/\#!topic/fricasdevel/FRDGVFsoAKw}",
 abstract =
 "This manual describes the FriCAS package {\bf DifferentialGeometry1}.
 This package combines differential forms and cell mappings to provide
 methods which compute {\bf pull backs}, {\bf integrals} as well as some
 other quantities of differential forms living on a surface complex.",
 paper = "Paga16a.pdf"
+@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}

\index{Pagani, Kurt}
\begin{chunk}{axiom.bib}
@misc{Paga16b,
 author = "Pagani, Kurt",
 title = "DifferentialForms",
 year = "2016",
 link = "\url{https://groups.google.com/forum/\#!topic/fricasdevel/FRDGVFsoAKw}",
 abstract = "Reference manual for the package {\bf {\tt DifferentialForms}}",
 paper = "Paga16b.pdf"
}

\end{chunk}




diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 5d3a0f3..4a7bb2d 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5652,6 +5652,8 @@ books/bookvolbug bug 7323 SEGXCAT does not show SEGMENT function in )show
books/bookvolbug bug 7323 SEGXCAT fixed
20170130.01.tpd.patch
books/bookvolbib Pagani Differential Forms references
+20170130.02.tpd.patch
+books/bookvolbib Seiler Thesis and Habilitation Axiom references

1.7.5.4