Contributed papers
- R. Avot-Chotin, JM. Chesneaux and JL. Lamotte (Université Pierre
et Marie Curie):
On the computation of the CESTAC function - D. Bailey and X.
Li (Lawrence Berkeley National Lab):
A comparison of three high-precision quadrature schemes - V.
Brattka (FernUniversität Hagen):
Plottable real number functions - H. Brönnimann (Polytechnic University Brooklyn), G. Melquiond (ENS de
Lyon) and S. Pion (Max Planck Institut für Informatik):
The Boost interval arithmetic library - JM. Chesneaux, LS.
Didier and F. Rico (Université Pierre et Marie Curie):
Fixed CADNA library - L. Fousse and P. Zimmermann (INRIA Lorraine):
Accurate summation: towards a simpler and formal proof - S.
Graillat and P. Langlois (Université de Perpignan):
Testing polynomial primality with pseudozeros - W. Hu and Q.
Zhou (Zhongshan University):
Almost Decidable Predicates of Real Variables
- P. Kornerup (University
of South Denmark) and JM. Muller (CNRS):
Choosing starting values for certain Newton-Raphson Iterations
- V. Lefèvre (INRIA
Lorraine):
Multiplication by an Integer Constant: Lower Bounds on the Code Length
- M. Parker (University of Chicago):
Three concepts of decidability for subsets of uncountable spaces
- K. Tadaki (Chuo University):
Upper bound by Kolmogorov complexity for the probability in computable
quantum measurement
- I. Takeuti (Toho University):
Effective Limit in Computable Analysis
- M. Ziegler (University of Paderborn):
Stability versus Speed in a Computable Algebraic Model