From dc254b4395f76ce61e325bc1c54cede06c3b18dd Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Sun, 26 Jun 2016 15:08:11 0400
Subject: [PATCH] books/bookvolbib Axiom Citations in the Literature
MIMEVersion: 1.0
ContentType: text/plain; charset=UTF8
ContentTransferEncoding: 8bit
Goal: Axiom Literate Programming
\index{Jacquemard, A.}
\index{Teixeira, M.A.}
\begin{chunk}{axiom.bib}
@article{Jacq02,
author = "Jacquemard, A. and Teixeira, M.A.",
title = "Effective algebraic geometry and normal forms of reversible
mappings",
journal = "Rev. Mat. Complut.",
volume = "15",
number = "1",
pages = "3155",
year = "2002",
keywords = "axiomref",
abstract =
"The authors consider a problem coming from the theory of discrete
dynamical systems (iterations of diffeomorphisms in
$\mathbb{R}^3$). Namely, how to characterize the behaviour of the
trajectories near the fixed points and the stability of this behaviour
under perturbations. The authors use the computer in the context of
reversible mappings. When such a mapping has some degree of degeneracy
they apply Gröbner bases techniques and the theory of (formal) normal
forms in the space of the coefficients of the jets of the
mapping. They show that a language with typed objects like AXIOM is
very convenient to solve such problems."
}
\end{chunk}
\index{Lambe, Larry A.}
\index{Seiler, Werner M.}
\begin{chunk}{axiom.bib}
@article{Lamb02,
author = "Lambe, Larry A. and Seiler, Werner M.",
title = "Differential equations, Spencer cohomology, and computing
resolutions",
journal = "Georgian Mathematical Journal",
volume = "9",
number = "4",
pages = "723774",
year = "2002",
keywords = "axiomref",
paper = "Lamb02.pdf",
url = "https://www.emis.de/journals/GMJ/vol9/v9n411.pdf",
abstract =
"Spencer cohomology is one of the classical tools in the study of
overdetermined systems of partial differential equations. The paper
proposes a new point of view of the Spencer cohomology based on a dual
approach via comodules that allows to relate the Spencer cohomology to
standard constructions in homological algebra, and discuss concrete
methods for its construction based on homological perturbation
theory. It also gives a detailed introduction to the subject, and
proposes a new algorithm of constructing the Spencer resolution by
using symbolic computation systems."
}
\end{chunk}
\index{Davenport, James H.}
\begin{chunk}{axiom.bib}
@misc{Dave93,
author = "Davenport, James H.",
title = "The PoSSo Project",
paper = "Dave93.pdf",
keywords = "axiomref"
}
\end{chunk}
\index{Bronstein, Manuel}
\begin{chunk}{axiom.bib}
@misc{Bron95,
author = "Bronstein, Manuel",
title = "On radical solutions of linear ordinary differential equations",
paper = "Bron95.pdf",
year = "1995",
url =
"ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps"
}
\end{chunk}

books/bookvolbib.pamphlet  81 ++++++++++++++
changelog  2 +
patch  224 ++++++++++
src/axiomwebsite/patches.html  2 +
4 files changed, 141 insertions(+), 168 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index a6e057e..8a8daf5 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 11974,6 +11974,17 @@ Academic Press, New York, NY, USA, 1988, ISBN 0122042329
\index{Davenport, James H.}
\begin{chunk}{axiom.bib}
+@misc{Dave93,
+ author = "Davenport, James H.",
+ title = "The PoSSo Project",
+ paper = "Dave93.pdf",
+ keywords = "axiomref"
+}
+
+\end{chunk}
+
+\index{Davenport, James H.}
+\begin{chunk}{axiom.bib}
@article{Dave02,
author = "Davenport, James H.",
title = "Equality in computer algebra and beyond",
@@ 13436,6 +13447,34 @@ Developments. LIFL Univ. Lille, Lille France, 1993
\end{chunk}
+\index{Jacquemard, A.}
+\index{Teixeira, M.A.}
+\begin{chunk}{axiom.bib}
+@article{Jacq02,
+ author = "Jacquemard, A. and Teixeira, M.A.",
+ title = "Effective algebraic geometry and normal forms of reversible
+ mappings",
+ journal = "Rev. Mat. Complut.",
+ volume = "15",
+ number = "1",
+ pages = "3155",
+ year = "2002",
+ keywords = "axiomref",
+ abstract =
+ "The authors consider a problem coming from the theory of discrete
+ dynamical systems (iterations of diffeomorphisms in
+ $\mathbb{R}^3$). Namely, how to characterize the behaviour of the
+ trajectories near the fixed points and the stability of this behaviour
+ under perturbations. The authors use the computer in the context of
+ reversible mappings. When such a mapping has some degree of degeneracy
+ they apply Gröbner bases techniques and the theory of (formal) normal
+ forms in the space of the coefficients of the jets of the
+ mapping. They show that a language with typed objects like AXIOM is
+ very convenient to solve such problems."
+}
+
+\end{chunk}
+
\index{Jaeschke, Gerhard}
\begin{chunk}{axiom.bib}
@article{Jaes93,
@@ 14181,6 +14220,35 @@ $3^{rd}$ International Conf. on Expert Systems in Numerical Computing 1993
\end{chunk}
+\index{Lambe, Larry A.}
+\index{Seiler, Werner M.}
+\begin{chunk}{axiom.bib}
+@article{Lamb02,
+ author = "Lambe, Larry A. and Seiler, Werner M.",
+ title = "Differential equations, Spencer cohomology, and computing
+ resolutions",
+ journal = "Georgian Mathematical Journal",
+ volume = "9",
+ number = "4",
+ pages = "723774",
+ year = "2002",
+ keywords = "axiomref",
+ paper = "Lamb02.pdf",
+ url = "https://www.emis.de/journals/GMJ/vol9/v9n411.pdf",
+ abstract =
+ "Spencer cohomology is one of the classical tools in the study of
+ overdetermined systems of partial differential equations. The paper
+ proposes a new point of view of the Spencer cohomology based on a dual
+ approach via comodules that allows to relate the Spencer cohomology to
+ standard constructions in homological algebra, and discuss concrete
+ methods for its construction based on homological perturbation
+ theory. It also gives a detailed introduction to the subject, and
+ proposes a new algorithm of constructing the Spencer resolution by
+ using symbolic computation systems."
+}
+
+\end{chunk}
+
\index{Lebedev, Yuri}
\begin{chunk}{ignore}
\bibitem[Lebedev 08]{Leb08} Lebedev, Yuri
@@ 16925,6 +16993,19 @@ Mathematics of Computation, vol. 35, num. 35, Oct. 1980, 13791381
\end{chunk}
\index{Bronstein, Manuel}
+\begin{chunk}{axiom.bib}
+@misc{Bron95,
+ author = "Bronstein, Manuel",
+ title = "On radical solutions of linear ordinary differential equations",
+ paper = "Bron95.pdf",
+ year = "1995",
+ url =
+ "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps"
+}
+
+\end{chunk}
+
+\index{Bronstein, Manuel}
\index{Grabmeier, Johannes}
\index{Weispfenning, V.}
\begin{chunk}{ignore}
diff git a/changelog b/changelog
index a5fcd58..98e4728 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+20160626 tpd src/axiomwebsite/patches.html 20160625.04.tpd.patch
+20160626 tpd books/bookvolbib Axiom Citations in the Literature
20160626 tpd src/axiomwebsite/patches.html 20160625.03.tpd.patch
20160626 tpd books/bookvolbib Axiom Citations in the Literature
20160626 tpd src/axiomwebsite/patches.html 20160625.02.tpd.patch
diff git a/patch b/patch
index 970d216..3b1c958 100644
 a/patch
+++ b/patch
@@ 2,195 +2,83 @@ books/bookvolbib Axiom Citations in the Literature
Goal: Axiom Literate Programming
\index{Cohen, Joel S.}
+\index{Jacquemard, A.}
+\index{Teixeira, M.A.}
\begin{chunk}{axiom.bib}
@book{Cohe03a,
 author = "Cohen, Joel S.",
 title = "Computer algebra and symbolic computation. Mathematical Methods",
 year = "2003",
 publisher = "A. K. Peters",
 isbn = "1568811594",
 keywords = "axiomref"
}

\end{chunk}

\index{Cohen, Joel S.}
\begin{chunk}{axiom.bib}
@book{Cohe03b,
 author = "Cohen, Joel S.",
 title = "Computer algebra and symbolic computation. Elementary Algorithms",
 year = "2003",
 publisher = "A. K. Peters",
 isbn = "1568811594",
 keywords = "axiomref"
}

\end{chunk}

\index{Farmer, William M.}
\index{von Mohrenschildt, Martin}
\begin{chunk}{axiom.bib}
@article{Farm03,
 author = "Farmer, William M. and von Mohrenschildt, Martin",
 title = "An overview of a formal framework for managing mathematics",
 journal = "Ann. Math. Artif. Intell.",
 volume = "38",
 number = "13",
 pages = "165191",
 year = "2003",
+@article{Jacq02,
+ author = "Jacquemard, A. and Teixeira, M.A.",
+ title = "Effective algebraic geometry and normal forms of reversible
+ mappings",
+ journal = "Rev. Mat. Complut.",
+ volume = "15",
+ number = "1",
+ pages = "3155",
+ year = "2002",
keywords = "axiomref",
 paper = "Farm03.pdf",
 url = "https://www.emis.de/proceedings/MKM2001/farmer.ps",
abstract =
 "Mathematics is a process of creating, exploring, and connecting
 mathematical models. This paper presents an overview of a formal
 framework for managing the mathematics process as well as the
 mathematical knowledge produced by the process. The central idea of
 the framework is the notion of a biform theory which is simultaneously
 an axiomatic theory and an algorithmic theory. Representing a
 collection of mathematical models, a biform theory provides a formal
 context for both deduction and computation. The framework includes
 facilities for deriving theorems via a mixture of deduction and
 computation, constructing sound deduction and computation rules, and
 developing networks of biform theories linked by interpretations. The
 framework is not tied to a specific underlying logic; indeed, it is
 intended to be used with several background logics
 simultaneously. Many of the ideas and mechanisms used in the framework
 are inspired by the IMPS Interactive Mathematical Proof System and the
 Axiom computer algebra system."
+ "The authors consider a problem coming from the theory of discrete
+ dynamical systems (iterations of diffeomorphisms in
+ $\mathbb{R}^3$). Namely, how to characterize the behaviour of the
+ trajectories near the fixed points and the stability of this behaviour
+ under perturbations. The authors use the computer in the context of
+ reversible mappings. When such a mapping has some degree of degeneracy
+ they apply Gröbner bases techniques and the theory of (formal) normal
+ forms in the space of the coefficients of the jets of the
+ mapping. They show that a language with typed objects like AXIOM is
+ very convenient to solve such problems."
}
\end{chunk}
\index{Lamban, Laureano}
\index{Pascual, Vico}
\index{Rubio, Julio}
+\index{Lambe, Larry A.}
+\index{Seiler, Werner M.}
\begin{chunk}{axiom.bib}
@article{Lamb03,
 author = "Lamban, Laureano and Pascual, Vico and Rubio, Julio",
 title = "An objectoriented interpretation of the EAT system",
 journal = "Appl. Algebra Eng. Commun. Comput.",
 volume = "14",
 number = "3",
 pages = "187215",
 keywords = "axiomref",
 abstract =
 "In a previous paper we characterized, in the category theory setting,
 a class of implementations of abstract data types, which has been
 suggested by the way of programming in the EAT system. (EAT, Effective
 Algebraic Topology, is one of Sergeraert’s systems for effective
 homology and homotopy computation.) This characterization was
 established using classical tools, in an unrelated way to the current
 mainstream topics in the field of algebraic specifications. Looking
 for a connection with these topics, we have found, rather
 unexpectedly, that our approach is related to some objectoriented
 formalisms, namely hidden specifications and the coalgebraic view. In
 this paper, we explore these relations making explicit the implicit
 objectoriented features of the EAT system and generalizing the data
 structure analysis we had previously done."
}

\end{chunk}

\index{Barnett, Michael P.}
\begin{chunk}{axiom.bib}
@article{Barn02,
 author = "Barnett, Michael P.",
 title = "Computer algebra in the life sciences",
 journal = "SIGSAM Bulletin",
 volume = "36",
+@article{Lamb02,
+ author = "Lambe, Larry A. and Seiler, Werner M.",
+ title = "Differential equations, Spencer cohomology, and computing
+ resolutions",
+ journal = "Georgian Mathematical Journal",
+ volume = "9",
number = "4",
 pages = "531",
+ pages = "723774",
year = "2002",
keywords = "axiomref",
 paper = "Barn02.pdf",
 url =
"https://notendur.hi.is/vae11/\%C3\%9Eekking/Systems\%20Biology/Biological\%20Algebra.PDF",
 abstract =
 "This note (1) provides references to recent work that applies computer
 algebra (CA) to the life sciences, (2) cites literature that explains
 the biological background of each application, (3) states the
 mathematical methods that are used, (4) mentions the benefits of CA,
 and (5) suggests some topics for future work."
+ paper = "Lamb02.pdf",
+ url = "https://www.emis.de/journals/GMJ/vol9/v9n411.pdf",
+ abstract =
+ "Spencer cohomology is one of the classical tools in the study of
+ overdetermined systems of partial differential equations. The paper
+ proposes a new point of view of the Spencer cohomology based on a dual
+ approach via comodules that allows to relate the Spencer cohomology to
+ standard constructions in homological algebra, and discuss concrete
+ methods for its construction based on homological perturbation
+ theory. It also gives a detailed introduction to the subject, and
+ proposes a new algorithm of constructing the Spencer resolution by
+ using symbolic computation systems."
}
\end{chunk}
\index{RoanesLozano, Eugenio}
\index{RoanesMacias, Eugenio}
\index{VillarMena, M.}
+\index{Davenport, James H.}
\begin{chunk}{axiom.bib}
@article{Roan03,
 author = "RoanesLozano, Eugenio and RoanesMacias, Eugenio and
 VillarMena, M.",
 title = "A bridge between dynamic geometry and computer algebra",
 journal = "Math. Comput. Modelling",
 volume = "37",
 number = "910",
 pages = "10051028",
 year = "2003",
 keywords = "axiomref",
 url = "ac.elscdn.com/S0895717703001158/1s2.0S0895717703001158main.pdf",
 paper = "Roan03.pdf",
 abstract =
 "Both Computer Algebra Systems (CASs) and dynamic geometry systems
 (DGSs) have reached a high level of development. Some CASs (like Maple
 or Derive) include specific and powerful packages devoted to Euclidean
 geometry, but CASs have incorporated neither mouse drawing
 capabilities nor dynamic capabilities. Meanwhile, the wellknown DGSs
 do not provide algebraic facilities.

 Maple’s and Derive’s paramGeo packages and the DGSCAS translator (all
 freely available from the authors) make it possible to draw a
 geometric configuration with the mouse (using The Geometer’s Sketchpad
 3 or 4) and to obtain the coordinates, equations, etc., of the drawn
 configuration in Maple’s or Derive’s syntax. To obtain complicated
 formulae, coordinates of points or equations of loci, to perform
 automatic theorem proving and to perform automatic discovery directly
 from sketches are examples of straightforward applications. Moreover,
 this strategy could be adapted to other CASs and DGSs.

 This work clearly has a didactic application in geometric problems
 exploration. Nevertheless, its main interest is to provide a
 convenient timesaving way to introduce data when dealing with rule
 and compass geometry, which has a wider scope than only educational
 purposes."
+@misc{Dave93,
+ author = "Davenport, James H.",
+ title = "The PoSSo Project",
+ paper = "Dave93.pdf",
+ keywords = "axiomref"
}
\end{chunk}
\index{Davenport, James H.}
+\index{Bronstein, Manuel}
\begin{chunk}{axiom.bib}
@article{Dave02,
 author = "Davenport, James H.",
 title = "Equality in computer algebra and beyond",
 journal = "J. Symbolic Computing",
 volume = "34",
 number = "4",
 pages = "259270",
 year = "2002",
 keywords = "axiomref",
 paper = "Dave02.pdf",
 url = "http://www.calculemus.net/meetings/siena01/Papers/Davenport.pdf",
 abstract =
 "Equality is such a fundamental concept in mathematics that, in
 fact, we seldom explore it in detail, and tend to regard it as
 trivial. When it is shown to be nontrivial, we are often
 surprised. As is often the case, the computerization of
 mathematical computation in computer algebra systems on the one
 hand, and mathematical reasoning in theorem provers on the other
 hand, forces us to explore the issue of equality in greater
 detail.In practice, there are also several ambiguities in the
 definition of equality. For example, we refer to $\mathbb{Q}(x)$
 as ``rational functions'', even though $\frac{x^21}{x1}$ and
 $x+1$ are not equal as functions from $\mathbb{R}$ to
 $\mathbb{R}$, since the former is not defined at $x=1$, even
 though they are equal as elements of $\mathbb{Q}(x)$. The aim of
 this paper is to point out some of the problems, both with
 mathematical equality and with data structure equality, and to
 explain how necessary it is to keep a clear distintion between the
 two."
+@misc{Bron95,
+ author = "Bronstein, Manuel",
+ title = "On radical solutions of linear ordinary differential equations",
+ paper = "Bron95.pdf",
+ year = "1995",
+ url =
+ "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps"
}
\end{chunk}
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index fb6a7cc..3c044d5 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5398,6 +5398,8 @@ books/bookvolbib Axiom Citations in the Literature
books/bookvol10.3 Add Riob92, Emir04 domain RECLOS RealClosure
20160626.03.tpd.patch
books/bookvolbib Axiom Citations in the Literature
+20160626.04.tpd.patch
+books/bookvolbib Axiom Citations in the Literature

1.7.5.4