Sentence examples for universal proof from inspiring English sources

Universal proof of ILG-induced phase transformations.

Aristotle reports (Posterior Analytics. i.5, cf. Metaphysics xiii.2) that whereas mathematicians proved theorems such as a : b = c : d => a : c = b : d (alternando) separately for number, lines, planes, and solids, now there is one single general or universal proof for all (see Section 3).

The modern, base-10 number system came from elements of all these ancient cultures but it was the Greek and Arabic mathematicians who did most to begin what we would nowadays call mathematics: taking patterns and numbers measured in the physical world and abstracting them into universal proofs.

One may well wonder if scholars have been led astray by a hyperbole about universal proofs.

The discovery of universal proofs is usually associated with Eudoxus' theory of proportion.

Elsewhere (Metaphysics xi.4), where Aristotle builds an analogy with the science of being qua being, he seems to suggest that universal proofs of quantities (here too including numbers) concern continuous quantity (unlike the similar passage in Metaphysics iv.3).

This preparation, which has been given the name "Velan", has been developed during the past three years at the Manchester laboratories of Imperial Chemical Industries, Ltd., as a universal water-proofing agent for textile goods.

Our universal, tamper-proof, proprietary, and insured hardware installs in minutes and makes parts theft impossible at a price that makes sense.

The universal, tamper-proof, proprietary, and insured hardware installs in minutes and makes bike-part theft impossible at a price that make sense.

The contributions are organized in topical sections on lattices and quantum cryptography; public key encryption; database privacy; hash function; symmetric key encryption; zero knowledge proof; universal composability; foundation; secure computation and secret sharing; public key signature; and leakage resilient cryptography.

Our result on C-learnability is not extensible in a straightforward way for DLs with nominals or the universal role (the proof of Lemma 3.3 does not work for such an extension).