From 3ec539530da729d6895d88c56565072a28a68bd2 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Fri, 29 Apr 2016 16:46:18 0400
Subject: [PATCH] books/bookvolbib update Gust16 with latest paper
Goal: Axiom Numerics
@misc{Gust16,
author = "Gustafson, John",
title = "A Radical Approach to Computation with Real Numbers",
url = "http://www.johngustafson.net/presentations/Multicore2016JLG.pdf",
paper = "Gust16.pdf",
ppt = "Gust16.pptx",
abstract =
"If we are willing to give up compatibility with IEEE 754 floats and
design a number format with goals appropriate to 2016, we can achieve
several goals simultaneously: Extremely high energy efficiency and
informationperbit, no penalty for decimal operations instead of
binary, rigorous bounds on answers without the overly pessimistic
bounds produced by interval methods, and unprecedented high speed up
to some precision. This approach extends the ideas of unum arithmetic
introduced two years ago by breaking completely from the IEEE
floattype format, resulting in fixed bit size values, fixed execution
time, no exception values or 'gradual underflow' issues, no wasted bit
patterns, and no redundant representations (like 'negative zero'). As
an example of the power of this format, a difficult 12dimensional
nonlinear robotic kinematics problem that has defied solvers to date
is quickly solvable with absolute bounds. Also unlike interval
methods, it becomes possible to operate on arbitrary disconnected
subsets of the real number line with the same speed as operating on a
simple bound."
}

books/bookvolbib.pamphlet  25 +++++++++++++++++++++
changelog  2 ++
patch  33 ++++++++++++++++++++++++++
src/axiomwebsite/patches.html  2 ++
4 files changed, 51 insertions(+), 11 deletions()
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 3dc1e36..7766c3c 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 4908,13 +4908,30 @@ O'Donnell, Michael J.
author = "Gustafson, John",
title = "A Radical Approach to Computation with Real Numbers",
url = "http://www.johngustafson.net/presentations/Multicore2016JLG.pdf",
+ paper = "Gust16.pdf",
+ ppt = "Gust16.pptx",
abstract =
 "This is a complete break from IEEE 754 floats. The gains are computation
 with mathematical rigor, robust set representations with a fixed number
 of bits, 1clock binary ops with no exception cases, and tractable
 'exhaustive search' in higher dimensions."
+ "If we are willing to give up compatibility with IEEE 754 floats and
+ design a number format with goals appropriate to 2016, we can achieve
+ several goals simultaneously: Extremely high energy efficiency and
+ informationperbit, no penalty for decimal operations instead of
+ binary, rigorous bounds on answers without the overly pessimistic
+ bounds produced by interval methods, and unprecedented high speed up
+ to some precision. This approach extends the ideas of unum arithmetic
+ introduced two years ago by breaking completely from the IEEE
+ floattype format, resulting in fixed bit size values, fixed execution
+ time, no exception values or 'gradual underflow' issues, no wasted bit
+ patterns, and no redundant representations (like 'negative zero'). As
+ an example of the power of this format, a difficult 12dimensional
+ nonlinear robotic kinematics problem that has defied solvers to date
+ is quickly solvable with absolute bounds. Also unlike interval
+ methods, it becomes possible to operate on arbitrary disconnected
+ subsets of the real number line with the same speed as operating on a
+ simple bound."
}
+\end{chunk}
+
\index{Gustafson, John}
\begin{chunk}{axiom.bib}
@book{Gust16a,
diff git a/changelog b/changelog
index 4f4a528..c5eed62 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,5 @@
+20160429 tpd src/axiomwebsite/patches.html 20160429.01.tpd.patch
+20160429 tpd books/bookvolbib update Gust16 with latest paper
20160412 tpd src/axiomwebsite/patches.html 20160412.02.tpd.patch
20160412 tpd books/bookvolbib add Broo11, The Matrix Reference Manual
20160412 tpd src/axiomwebsite/patches.html 20160412.01.tpd.patch
diff git a/patch b/patch
index 1fadf98..1705e33 100644
 a/patch
+++ b/patch
@@ 1,12 +1,31 @@
books/bookvolbib add Broo11, The Matrix Reference Manual
+books/bookvolbib update Gust16 with latest paper
Goal: Axiom Numerics
@misc{Broo11,
 author = "Brookes, Mike",
 title = "The Matrix Reference Manual",
 year = "2011",
 url = "http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/intro.html"

+@misc{Gust16,
+ author = "Gustafson, John",
+ title = "A Radical Approach to Computation with Real Numbers",
+ url = "http://www.johngustafson.net/presentations/Multicore2016JLG.pdf",
+ paper = "Gust16.pdf",
+ ppt = "Gust16.pptx",
+ abstract =
+ "If we are willing to give up compatibility with IEEE 754 floats and
+ design a number format with goals appropriate to 2016, we can achieve
+ several goals simultaneously: Extremely high energy efficiency and
+ informationperbit, no penalty for decimal operations instead of
+ binary, rigorous bounds on answers without the overly pessimistic
+ bounds produced by interval methods, and unprecedented high speed up
+ to some precision. This approach extends the ideas of unum arithmetic
+ introduced two years ago by breaking completely from the IEEE
+ floattype format, resulting in fixed bit size values, fixed execution
+ time, no exception values or 'gradual underflow' issues, no wasted bit
+ patterns, and no redundant representations (like 'negative zero'). As
+ an example of the power of this format, a difficult 12dimensional
+ nonlinear robotic kinematics problem that has defied solvers to date
+ is quickly solvable with absolute bounds. Also unlike interval
+ methods, it becomes possible to operate on arbitrary disconnected
+ subsets of the real number line with the same speed as operating on a
+ simple bound."
}
+
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index c58ece6..d1b41d4 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5296,6 +5296,8 @@ books/bookvolbib add Davi16, Survey of Direct Sparse Methods
books/bookvolbib add Pete12, The Matrix Cookbook
20160412.02.tpd.patch
books/bookvolbib add Broo11, The Matrix Reference Manual
+20160429.01.tpd.patch
+books/bookvolbib update Gust16 with latest paper

1.7.5.4