Sentence examples for proofs will be presented from inspiring English sources

Our main results are Theorems 1-4, whose proofs will be presented in Sections 3 and 4.

Because of similar structures, the proof of this proposition will be presented with the proof of the next proposition.

The proof of this theorem will be presented in Sect.

The proof of Theorem 3 will be presented in Sect.

The proof of Theorem 4.1 will be presented following a discussion which is relevant to all the stability results that we derive in this paper.

Here, the proofs of the main results will be presented.

The proofs for Lemma 5 and Lemma 6 will be presented in the Appendix.

The corresponding decay estimates to the solutions will be presented in the proofs of the theorems for brief expressions instead of in the statements.

Finally, a proof of concept for a CMOS inverter will be presented.

An algorithm for the framework will be presented along with a proof of optimality.

The design of the VeriTainer system and results from both the laboratory and a proof-of-concept test at the Port of Oakland, California will be presented.