Sentence examples for proof of its correctness from inspiring English sources

The proof of its correctness is the same as the proof of the Prim Dijkstra algorithm [6].

The reader interested in the mathematical details of the algorithm and the proof of its correctness is referred to the compagnion paper [ 13].

Thomas Hales, for one, has taken upon himself to formalize his proof and have it checked by an automated proof assistant with the aim of convincing others of its correctness (Hales 2005b, in Other Internet Resources).

We presented its proof of correctness and we computed its message complexity and its bandwidth usage.

Although the hypothesis looks appealing, we cannot proof its correctness with the data currently available.

This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an optimal imperative program.

Third, Antoniewicz et al. give neither a rigorous proof of the correctness of the EMU method, nor a derivation of its construction from prior research.

It contains a proof of the correctness of a compiler for arithmetic expressions.

Section Proof of correctness includes the proof of correctness for the masking approach in combination with wavelets.

107.9 ff)., whose works he cites constantly as proof of the correctness of his claims about Epicurean doctrine and its proper interpretation, often in opposition to the interpretations of other, somewhat older or contemporary Epicureans.

We present a proof of the correctness of APM.