From 654cda014164acd5f03fa6d197a17857c5565607 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Wed, 4 Jul 2018 01:36:59 -0400
Subject: [PATCH] books/bookheader.tex fix typo
Goal: Axiom Maintenance
---
books/bookheader.tex | 2 +-
changelog | 2 ++
patch | 64 ++++++++++++++++++++++++++++++++++++++++--
src/axiom-website/patches.html | 2 ++
4 files changed, 67 insertions(+), 3 deletions(-)
diff --git a/books/bookheader.tex b/books/bookheader.tex
index ac093d6..8d9e4cf 100644
--- a/books/bookheader.tex
+++ b/books/bookheader.tex
@@ -228,7 +228,7 @@ Stephen Wilson & Shmuel Winograd & Robert Wisbauer\\
Sandra Wityak & Waldemar Wiwianka & Knut Wolf\\
Yanyang Xiao & Liu Xiaojun & Clifford Yapp\\
David Yun & Qian Yun & Vadim Zhytnikov\\
-Richard Zippel & Evelyn Zoernack & Bruno Zuercher"
+Richard Zippel & Evelyn Zoernack & Bruno Zuercher\\
Dan Zwillinger\\
\end{tabular}
\newpage
diff --git a/changelog b/changelog
index 0a7b073..ce20075 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20180703 tpd src/axiom-website/patches.html 20180703.03.tpd.patch
+20180703 tpd books/bookheader.tex fix typo
20180703 tpd src/axiom-website/patches.html 20180703.02.tpd.patch
20180703 tpd books/bookheader add Pablo Cayuela to credits list
20180703 tpd books/bookvol10.4 add Pablo Cayuela to credits list
diff --git a/patch b/patch
index 9a6b2e4..ba04cd1 100644
--- a/patch
+++ b/patch
@@ -1,5 +1,65 @@
-books/bookheader add Pablo Cayuela to credits list
+books/bookvolbib add references
-Goal: Axiom Maintenance
+Goal: Proving Axiom Sane
+\index{Scott, Dana S.}
+\begin{chunk}{axiom.bib}
+@article{Scot93,
+ author = "Scott, Dana S.",
+ title = {{A Type-Theoretical Alternative to ISWIM, CUCH, OWHY}},
+ journal = "Theoretical Computer Science",
+ volume = 121,
+ number = "1-2",
+ year = "1993",
+ pages = "411-440",
+ abstract =
+ "The paper (first written in 1969 and circulated privately) concerns
+ the definition, axiomatization, and applications of the hereditarily
+ monotone and continuous functionals generated from the integers and
+ the Booleans (plus “undefined” elements). The system is formulated as
+ a typed system of combinators (or as a typed λ-calculus) with a
+ recursion operator (the least fixed-point operator), and its proof
+ rules are contrasted to a certain extent with those of the untyped
+ λ-calculus. For publication (1993), a new preface has been added, and
+ many bibliographical references and comments in footnotes have been
+ appended.",
+ paper = "Scot93.pdf",
+ keywords = "printed"
+}
+\end{chunk}
+
+\index{Winkler, Franz}
+\begin{chunk}{axiom.bib}
+@inproceedings{Wink85,
+ author = "Winkler, Franz",
+ title = {{Reducing the Complexity of the Knuth-Bendix Completion
+ Algorithm: A ``Unification'' of Different Approaches}},
+ booktitle = "European Conference on Computer Algebra (EUROCAL 85)",
+ pages = "378-389",
+ publisher = "Springer",
+ year = "1985",
+ isbn = "978-3-540-15983-4",
+ abstract =
+ "The Knuth-Bendix completion procedure for rewrite rule systems is
+ of wide applicability in symbolic and algebraic computation.
+ Attempts to reduce the complexity of this completion algorithm are
+ reported in the literature. Already in their seminal 1967 paper
+ D.E. Knuth and P.B. Bendix have suggested to keep all the rules
+ iterreduced during the execution of the algorithm. G. Huet has
+ presented a version of the completion algorithm in which every
+ rewrite rule is kept in reduced form with respect to all the other
+ rules in the system. Borrowing an idea of Buchberger's for the
+ completion of bases of polynomial ideals the author has proposed
+ in 1983 a criterion for detecting ``unnecessary'' critical
+ pairs. If a critical pair is recognized as unnecessary then one
+ need not apply the costly process of computing normal forms to
+ it. It has been unclear whether these approaches can be
+ combined. We demonstrate that it is possible to keep all the
+ rewrite rules interreduced and still use a criterion for
+ eliminating unnecessary critical pairs.",
+ paper = "Wink85.pdf",
+ keywords = "printed"
+}
+
+\end{chunk}
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index f2709f7..7614269 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -5958,6 +5958,8 @@ books/bookvol0 fix typos (Roland Coeurjoly)

src/axiom-website/index.html fix broken CAISS link (Pablo Cayuela)

20180703.02.tpd.patch
books/bookheader add Pablo Cayuela to credits list

+20180703.03.tpd.patch
+books/bookheader.tex fix typo

--
1.9.1