Sentence examples similar to case formulae from inspiring English sources

In the case, formula (5.5) can be written as (5.6).

In the interpolating case, formula (1) is satisfied.

In the case, formula (5.6) is the same as (4.15),.

In the non-interpolating case, formula (1) is not strictly satisfied.

The algorithmic complexity is the same as for the binary case (formula 2) which is the smallest complexity.

BETA then uses a constraint solver to evaluate the test case formulas and obtain test data for them.

In this case, formula (3.1) gives an exponential stability criterion for the system (2.1) with continuous feedback control.

In the latter case, formulas usually consist in many infinite integrals, which are uneasy to handle in a practical way (see e.g. [3]).

The Koiter (asymmetric case) formula is used to construct the failure criterion for the case where the imperfection surface is described by two terms of a double Fourier series with random amplitudes.

BETA uses information about the state required to run the test case, extracted from the test case formulas, and then uses ProB to find a sequence of operation calls that will put the system in the intended state.

Vectors with three or more components have properties defined with the very similar, general case formula.