Sentence examples for symbolic proof from inspiring English sources

Billie Jean King's campy tennis victory over Bobby Riggs in 1973 provided symbolic proof that women could compete against men.

Both Drake and Hawkins died in 1596 on the same ill-conceived expedition into Spanish Caribbean waters—symbolic proof that the good old days of buccaneering were gone forever.

It was symbolic proof that the half-century that had passed since my red blanket days, and those prison visits to Siemens' man in Athens, had changed Europe to no end.

As an application, we give a constructive symbolic proof of the Gårding inequality for operators in -classes in the setting of compact Lie groups.

In this regard, what is significant about the manned space programme is that only superpowers have achieved this capability, and Tiangong-1 and its successors are for China, symbolic proof that China is emerging as a 21st Century superpower.

We develop a symbolic calculus, prove the existence of projectors (under a mild additional assumption) whose range can be thought of as quantizing the domain, give a symbolic proof of a Szegö limit theorem, and study associated propagators.

The government wants to take Aleppo, Syria's largest city and a real as well as a symbolic prize, as proof it can reestablish control over all parts of the country.

(Certain language-disabled kids can make drawings that seem precociously optical, and, where people used to claim that the emergence of art is proof of symbolic, language-based culture, the psychologist Nicholas Humphrey has argued that the existence of the perfectly modulated cave paintings suggests that the people who made them didn't yet know how to talk).

We include an in-depth examination of the algorithms underlying the symbolic model-checking procedure, show proofs of important theorems, and point to directions of ongoing research.

"Zhou Yu's Train," like Mr. Wong's work, features a lot of romantic longing, underlined by ravishing, soft-focus imagery and swooning pop music, with a little bit of formal play -- manipulation of the time line, doubling of characters, obsessive repetition of symbolic moments -- that serves as proof of the director's artistic intention.

The symbolic elections, in which people with proof of Mexican citizenship can vote at mock polling places on street corners and outside neighborhood grocery stores, are partly meant to keep the voting rights issue alive.