C-XSC: A Powerful Environment for Reliable Computations in the Natural and Engineering Sciences
In recent years the C++ class library C-XSC (library for extended Scientific Computing) has been supplemented by several additional software packages. Most recently, a package allowing arbitrary precision interval computations has been added. In this note we present the most important features of C-XSC and its supplements. The tools allow very powerful selfvalidating numerical computations in all domains of en-gineering. Exemplarily we present some verified computations concerning the logistic equation, an often used, most simple, but nontrivial dynamical system. C-XSC establishes safety in numerical calculations, e.g. in solving linear or nonlinear equa-tions. It also allows to handle uncertainties (errors in measure-ments, rounding errors, ...) in a guaranteed way. The software tools described in this note are all publicly available.
Walter Kramer
University of Wuppertal, Faculty of Mathematics and Natural Sciences Scientific Computing/Software Technology 42119 Wuppertal, Germany
国际会议
上海
英文
2143-2147
2011-10-15（万方平台首次上网日期，不代表论文的发表时间）