Sentence examples for known proof from inspiring English sources

A widely known proof of concept from 2009, called sslstrip, intercepts unsecured web traffic on an open network and rewrites HTTPS links into plain HTTP or redirects them to malicious secured sites that use lookalike domain names.

Greek mathematician Euclid (flourished c. 300 bce) gave the oldest known proof that there exist an infinite number of primes, and he conjectured that there are an infinite number of twin primes.

Lewis 1976 provides a well known proof against the tenability of this idea.

Section 3 contains the simplest known proof of the Ohsawa–Takegoshi extension theorem.

The proof almost fully copies a known proof of sufficiency for linear systems without delay.

This strategy avoids employing a relaxation theorem as in the previously known proof, and the new tools introduced in its course should prove useful in other contexts as well.

In a 2003 book, "Automated Reasoning and the Discovery of Missing and Elegant Proofs," Dr. Wos described new proofs and more elegant versions of known proofs discovered by computers.

The known proofs on the symmetric Fock space make essential use of the Nevanlinna Pick properties.

All known proofs of this result use the Axiom of Choice, and it is an outstanding important question if the axiom is necessary.

This is one of relatively few known proofs of the non-existence of a class of quantum devices (e.g., for instantaneous communication and EPR) and apparently the first for a quantum device relevant to computational I/O bandwidth.

This theorem may have more known proofs than any other (the law of quadratic reciprocity being another contender for that distinction); the book The Pythagorean Proposition contains 370 proofs.