From e64cea1a533571b2ec5a4f52dcfdf71225a15342 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Sat, 27 Feb 2016 00:21:01 0500
Subject: [PATCH] books/bookvolbib add Corl93 On the Lambert W Function
Goal: Axiom bibliography
@Article{Corl93,
author = "Corless, R. M. and Gonnet, G. H. and Hare, D. E. G. and
Jeffrey, D. J. and Knuth, D. E.",
title = "On the Lambert W Function",
year = "1993",
url = "http://cs.uwaterloo.ca/research/tr/1993/03/W.pdf",
paper = "Corl93.pdf",
abstract =
"The Lambert W function is defined to be the multivalued inverse of
the function $w \rightArrow we^w$. It has many applications in pure
and applied mathematics, some of which are briefly described here. We
present a new discussion of the complex branches of $W$, an asymptotic
expansion valid for all branches, an efficient numerical procedure for
evaluating the function to arbitrary precision, and a method for the
symbolic integration of expressions containing $W$."
}

books/bookvolbib.pamphlet  101 +++++++++++++++++++++++++
changelog  2 +
patch  32 ++++++
src/axiomwebsite/patches.html  2 +
4 files changed, 83 insertions(+), 54 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index c312b71..32e7f3e 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 1261,45 +1261,27 @@ when shown in factored form.
\section{Hybrid Symbolic/Numeric} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\index{Kaltofen, Erich}
\index{Zhi, Lihong}
\begin{chunk}{axiom.bib}
@InProceedings{Kalt06,
 author = "Kaltofen, Erich and Zhi, Lihong",
 title = "Hybrid SymbolicNumeric Computation",
 year = "2006",
 booktitle = "Internat. Symp. Symbolic Algebraic Comput. ISSAC'06",
 crossref = "ISSAC06",
 pages = "7",
 url = "http://www.math.ncsu.edu/~kaltofen/bibliography/06/KaZhi06.pdf",
 paper = "Kalt06.pdf",
 abstract = "
 Several standard problems in symbolic computation, such as greatest
 common divisors and factorization of polynomials, sparse
 interpolation, or computing solutions to overdetermined systems of
 polynomial equations have nontrivial solutions only if the input
 coefficients satisfy certain algebraic constraints. Errors in the
 coefficients due to floating point roundoff or through physical
 measurement thus render the exact symbolic algorithms unusable. By
 symbolicnumeric methods one computes minimal deformations of the
 coefficients that yield nontrivial results. We will present hybrid
 algorithms and benchmark computations based on GaussNewton
 optimazation, singular value decomposition (SVD) and
 structurepreserving total least squares (STLS) fitting for several of
 the above problems.

 A significant body of results to solve those ``approximate computer
 algebra'' problems has been discovered in the past 10 years. In the
 Computer Algebra Handbook the section on ``Hybrid Methods'' concludes
 as follows [2]: ``The challenge of hybrid symbolicnumeric algorithms
 is to explore the effects of imprecision, discontinuity, and
 algorithmic complexity by applying mathematical optimization,
 perturbation theory, and inexact arithmetic and other tools in order
 to solve mathematical problems that today are not solvable by
 numeriiical or symbolic methods alone.'' The focus of our tutorial is
 on how to formulate several approximate symbolic computation problems
 as numerical problems in linear algebra and optimization and on
 software that realizes their solutions."
+\index{Corless, R. M.}
+\index{Gonnet, G. H.}
+\index{Hare, D. E. G.}
+\index{Jeffrey, D. J.}
+\index{Knuth, D. E.}
+\begin{chunk}{axiom.bib}
+@Article{Corl93,
+ author = "Corless, R. M. and Gonnet, G. H. and Hare, D. E. G. and
+ Jeffrey, D. J. and Knuth, D. E.",
+ title = "On the Lambert W Function",
+ year = "1993",
+ url = "http://cs.uwaterloo.ca/research/tr/1993/03/W.pdf",
+ paper = "Corl93.pdf",
+ abstract =
+ "The Lambert W function is defined to be the multivalued inverse of
+ the function $w \rightArrow we^w$. It has many applications in pure
+ and applied mathematics, some of which are briefly described here. We
+ present a new discussion of the complex branches of $W$, an asymptotic
+ expansion valid for all branches, an efficient numerical procedure for
+ evaluating the function to arbitrary precision, and a method for the
+ symbolic integration of expressions containing $W$."
}
\end{chunk}
@@ 1351,6 +1333,49 @@ when shown in factored form.
\end{chunk}
\index{Kaltofen, Erich}
+\index{Zhi, Lihong}
+\begin{chunk}{axiom.bib}
+@InProceedings{Kalt06,
+ author = "Kaltofen, Erich and Zhi, Lihong",
+ title = "Hybrid SymbolicNumeric Computation",
+ year = "2006",
+ booktitle = "Internat. Symp. Symbolic Algebraic Comput. ISSAC'06",
+ crossref = "ISSAC06",
+ pages = "7",
+ url = "http://www.math.ncsu.edu/~kaltofen/bibliography/06/KaZhi06.pdf",
+ paper = "Kalt06.pdf",
+ abstract = "
+ Several standard problems in symbolic computation, such as greatest
+ common divisors and factorization of polynomials, sparse
+ interpolation, or computing solutions to overdetermined systems of
+ polynomial equations have nontrivial solutions only if the input
+ coefficients satisfy certain algebraic constraints. Errors in the
+ coefficients due to floating point roundoff or through physical
+ measurement thus render the exact symbolic algorithms unusable. By
+ symbolicnumeric methods one computes minimal deformations of the
+ coefficients that yield nontrivial results. We will present hybrid
+ algorithms and benchmark computations based on GaussNewton
+ optimazation, singular value decomposition (SVD) and
+ structurepreserving total least squares (STLS) fitting for several of
+ the above problems.
+
+ A significant body of results to solve those ``approximate computer
+ algebra'' problems has been discovered in the past 10 years. In the
+ Computer Algebra Handbook the section on ``Hybrid Methods'' concludes
+ as follows [2]: ``The challenge of hybrid symbolicnumeric algorithms
+ is to explore the effects of imprecision, discontinuity, and
+ algorithmic complexity by applying mathematical optimization,
+ perturbation theory, and inexact arithmetic and other tools in order
+ to solve mathematical problems that today are not solvable by
+ numeriiical or symbolic methods alone.'' The focus of our tutorial is
+ on how to formulate several approximate symbolic computation problems
+ as numerical problems in linear algebra and optimization and on
+ software that realizes their solutions."
+}
+
+\end{chunk}
+
+\index{Kaltofen, Erich}
\index{Yang, Zhengfeng}
\index{Zhi, Lihong}
\begin{chunk}{axiom.bib}
diff git a/changelog b/changelog
index bc92df6..b43a2a2 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+20160227 tpd src/axiomwebsite/patches.html 20160227.01.tpd.patch
+20160227 tpd books/bookvolbib add Corl93 On the Lambert W Function
20160221 tpd src/axiomwebsite/patches.html 20160221.01.tpd.patch
20160221 tpd books/bookvolbib add Pres07, Rals78 references
20160213 tpd src/axiomwebsite/patches.html 20160213.01.tpd.patch
diff git a/patch b/patch
index 78df2a3..ec64940 100644
 a/patch
+++ b/patch
@@ 1,20 +1,20 @@
books/bookvolbib add Pres07, Rals78 references
+books/bookvolbib add Corl93 On the Lambert W Function
Goal: Axiom bibliography
@book{Rals78,
 author = "Ralston, Anthony and Rabinowitz, Philip",
 title = "A First Course in Numerical Analysis",
 year = "1978",
 publisher = "McGrawHill",
 isbn = "0070511586",
}

@book{Pres07,
 author = "Press, William H. and Teukolsky, Saul A. and
 Vetterling, William T. and Flannery, Brian P.",
 title = "Numerical Recipes (3rd Edition)",
 year = "2007",
 publisher = "Cambridge University Press",
 isbn = "9780521880688",
+@Article{Corl93,
+ author = "Corless, R. M. and Gonnet, G. H. and Hare, D. E. G. and
+ Jeffrey, D. J. and Knuth, D. E.",
+ title = "On the Lambert W Function",
+ year = "1993",
+ url = "http://cs.uwaterloo.ca/research/tr/1993/03/W.pdf",
+ paper = "Corl93.pdf",
+ abstract =
+ "The Lambert W function is defined to be the multivalued inverse of
+ the function $w \rightArrow we^w$. It has many applications in pure
+ and applied mathematics, some of which are briefly described here. We
+ present a new discussion of the complex branches of $W$, an asymptotic
+ expansion valid for all branches, an efficient numerical procedure for
+ evaluating the function to arbitrary precision, and a method for the
+ symbolic integration of expressions containing $W$."
}
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 091a39b..e19e5fd 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5188,6 +5188,8 @@ books/bookvolbib add Faug94 reference
books/bookvolbib add Gode16 reference
20160221.01.tpd.patch
books/bookvolbib add Pres07, Rals78 references
+20160227.01.tpd.patch
+books/bookvolbib add Corl93 On the Lambert W Function

1.7.5.4