Sentence examples for formal derivation from inspiring English sources

For the continuous-time optimization problem, the corresponding variational inequality is usually obtained by formal derivation (not strictly derived).

García-Cortés and Toro [ 10] have empirically illustrated the validity of their proposal through a numerical example, but they have not presented a formal derivation of the equivalence between their model and the one formalized by Cantet and Fernando [ 2] using the quantitative genetic arguments of Lo et al. [ 1], at least when the goal is to predict breeding values.

A formal derivation plus an interpretation and soundness proof can be a proof of the derived conclusion, but that whole package is not a syntactic object.

This sort of reasoning led Clarke to a formal derivation of the Poisson distribution as a model.

A formal derivation on its own is a syntactic object but not a proof.

A formal derivation of the interaction Hamiltonian between two cavity modes can be found in [40].

The work of Turing showed how such formal derivations could be executed mechanically by a Turing machine, a hypothetical computing device that operates by moving forward and backward on an indefinitely long tape and scanning cells on which it prints and erases symbols in some finite alphabet.

The contraction-free sequent calculi are powerful tools for the analysis of formal derivations.

This comes well in agreement with the formal derivations by Horiuchi-Coale and Mitra.

We have briefly provided the proof of this theorem in [28] without formal derivations.

Proofs and their representations by formal derivations are treated as principal objects of study, not as mere tools for analyzing the consequence relation".