prove

Examples of provably

provably
In addition, our a. s. algorithms have the advantage that their failure probability is provably exponentially low.
In fact, no algorithms for computing stable models are known whose worst-case performance would be provably better than that of the brute-force algorithm.
One approach is to find approximation algorithms with provably good worst-case performance guarantees.
In fact, it is possible to derandomize this procedure, to achieve a deterministic cut that is provably close to maximum weight.
Consistency allows elimination of sets of provably infeasible designs, thereby reducing the search space.
Besides the sliver exudation method described in this section, there are two other methods that provably remove slivers.
Two expressions are safely equivalent if every closed instantiation of every use is provably equivalent in the assignment calculus.
The fifth section discusses the cost of touch operations and presents a provably correct algorithm for eliminating unnecessary touch operations.
The specific example we choose to consider is the development of an algorithm for removing provably redundant touch operations from programs.
A security type system is given that controls information flow in this language, provably enforcing noninterference.
It is an advanced tool for the construction of provably correct software.
Uncertain environments require robust plans that, while not always provably optimal, assure that the system will not fail in the face of environmental change.
Although not a provably polynomial time algorithm, the simplex method is extremely efficient in practice.
Of course, an inductive type is provably isomorphic to any faithful copy of it.
These systems are mostly part of an effort to move toward a provably correct implementation of exact real arithmetic.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.