Sentence examples for outline of the proof from inspiring English sources
See a short outline of the proof.
We give an outline of the proof of this statement and discuss some results related to the computation of nuclear norm for tensors.
It differs from traditional search-based techniques in ATP not least with respect to its level of abstraction: the proof of a theorem is planned at an abstract level and an outline of the proof is found.
Next, we give a brief outline of the proof.
The following is an outline of the proof.
Let us now provide an outline of the proofs of Theorems 2.1 and 2.6.
Such computations are equivalent to those outlined for the proof of Theorems 8 and 9 but rederived in algebroid terms on L * π E Open image in new window.
The outline of the correctness proof given below shows that the two constraints and are inherently fulfilled by the definition of the reduction algorithm (cf. Definition 4).
We also discuss Urbano's estimate for the Morse index of an embedded minimal surface and give an outline of the recent proof of the Willmore conjecture by Marques and Neves.
The Viennese logician Kurt Gödel showed that one could formulate statements in terms of a self-consistent set of axioms which could not be proved from these axioms, which nonetheless were true (Nagel and Newman [2001]): Barr, laudably, provides an outline of this proof.
