Related papers: Effective completeness for real computation

The usual aim of spreadsheet audit is to verify correctness. There are two problems with this: first, it is often difficult to tell whether the spreadsheets in question are correct, and second, even if they are, they may still give the…

This paper has been withdrawn due to an incorrect proof.

This paper has been withdrawn by the author due to an error in the proof.

There is a mathematical error in the first version of this paper. A new corrected version will be posted when the error is fixed, possibly with a modified title.

Using exact computer arithmetic, it is possible to determine the (exact) solution of a numerical model without rounding error. For such purposes, a corresponding system of equations should be exactly defined, either directly or by…

This paper is incorrect, and has been withdrawn by the author.

We present a new simple algorithm for efficient, and relatively accurate computation of the Faddeyeva function w(z). The algorithm carefully exploits previous approximations by Hui et al [1978] and Humlicek [1982] along with asymptotic…

A general superapproximation result is derived in this paper which is useful for the local/interior error analysis of finite element methods.

Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…

Emerging applications such as augmented reality and tactile Internet are compute-intensive and latency-sensitive, which hampers their running in constrained end devices alone or in the distant cloud. The stringent requirements of such…

A few final comments on arXiv:1210.7548 are given to confute incorrect arguments claimed there.

We present a completeness result for the implicit fragment of justification stit logic. Although this fragment allows for no strongly complete axiomatization, we show that a restricted form of strong completeness (subsuming weak…

This paper has been withdrawn due to an error in the proof of the termination of the algorithm. Moreover, some ideas of this paper are a joint work with John Perry and it is inappropriate to mention only me as an author. John Perry was in…

This paper has been withdrawn because the author no longer believes the firewall argument is correct.

This paper has been withdrawn as it has been superseded by 0808.2697

This paper has been withdrawn by the author(s), due an error in the proof.

This paper has been withdrawn by the author due to a serious gap in the proof of the main theorem.

Reasoning about real number expressions in a proof assistant is challenging. Several problems in theorem proving can be solved by using exact real number computation. I have implemented a library for reasoning and computing with complete…

This paper has been withdrawn by the author(s), due a mistake of factor 1/2.

This paper is wrong and is therefore withdrawn.