Sentence examples for includes a proof of from inspiring English sources

The entry on actualism includes a proof of BF.

The application of the approach shown for the SPA4USXML tool also includes a proof of concept and validation of the proposal.

Mussler includes a proof-of-concept file that made your Kindle account page throw a number of pop-up windows.

Other achievements include a proof of the quasi-ergodic hypothesis (1932) and important work in lattice theory (1935 37).

ℒ0 is adequate for the constructive part of the usual elementary mathematics—arithmetic and analysis but not for metamathematics, if this is to include a proof of Gödel's completeness theorem, and not for category theory, if this is to include the Yoneda embedding of a small category into a set-valued functor category.

We perform a limited analysis of the proposed algorithms, including a proof of convergence for both methods.

A theoretical foundation for the method is given including a proof of identifiability and a numerical example to demonstrate the theory.

The last part is dedicated to convex and log-concave functionals, including a proof of the Gaussian conjecture for a particular class of log-concave Wiener functionals.

We think it can be of interest for readers of this journal that we include a proof of this result here.

This fact was pointed out to Hardy in a private letter from Landau already in 1921 and here Landau even included a proof of (4.1) so it should maybe be more correct to call (4.1) the Hardy-Landau inequality.

Cantor wanted the second paper to include a proof of the continuum hypothesis, but had to settle for expositing his theory of well-ordered sets and ordinal numbers.