Sentence examples for using the reduction theorem from inspiring English sources

Using the reduction theorem, fewer invariants are required and some invariants are easier to discover and formulate without considering the internal structure of the final implementation.

The procedure goes recursively on (theta ); it could be shortened using the reduction given by Theorem 2.29 e), see also [51].

The reduction theorem is based on Lamport's refinement mappings, and has been verified with the higher-order interactive theorem prover PVS.

The theorem (and proof, if included) form a nice little chunk, using the LaTeX theorem enviroment.

Using the Bayes' theorem, the marginal likelihoods can be converted into posterior probabilities of different hypothesis.

Confidence limits for ET50 were calculated by using the Fieller theorem (25, 26 ).

Find 2-D distance by using the Pythagorean theorem.

Check your measurement by using the Pythagorean Theorem.

Calculate the magnitude of the resultant vector using the Pythagorean Theorem.

For an open face excavation, the factor of safety against the tunnel face instability was calculated using the strength reduction technique and the upper bound theorem.

There is another proof using the elementary amalgamation theorem and the elementary chain theorem.