Sentence examples for main theorems characterizing from inspiring English sources

In a previous paper we showed how the main theorems characterizing operator algebras and operator modules, fit neatly into the framework of the "noncommutative Shilov boundary," and more particularly via the left multiplier operator algebra of an operator space.

For convex domains, our main theorem characterizes truthful social choice functions as those satisfying two properties: local weak monotonicity and vortex-freeness.

The main theorems are illustrated on an active suspension design of an agricultural spray boom.

A new Lyapunov functional is constructed and two main theorems are proved in this paper.

Now, we will show our main theorems.

Now we shall prove our main theorems.

We now formulate our main theorems.

3, the main theorems are presented.

Now we present the main theorems.

The main theorems are as follows.

Boole would use this Rule to justify his main theorems ( Expansion, Reduction, Elimination ), and for no other purpose.