An existential quantifier can help express the existence of objects in a mathematical proof.
They identified the equiangular angles in the complex mathematical proof.
A model of a physical system does not have the same absolute level of certainty as a mathematical proof.
Ein Modell eines physikalischen Systems kann niemals dieselbe Ebene absoluter Sicherheit erreichen wie ein mathematischer Beweis.
Then, as before, a mathematical proof is given that a construction is secure as per definition relative to the random oracle.
Anschließend wird wie zuvor ein mathematischer Beweis geführt, um die Sicherheit der Konstruktion relativ zu der Existenz eines Random Oracles zu zeigen.
The complexity of that mathematical proof seemed unvorstellbar to first-year students.
Die Komplexität dieses mathematischen Beweises erschien Erstsemesterstudierenden unvorstellbar.
Method and device for verifying a mathematical proof.
Verfahren und Anordnung zum Nachprüfen eines mathematischen Beweises.
I will leave the mathematical proof to you, but you can take my word for it for now.
Ich überlasse Euch den mathematischen Beweis, aber Ihr könnt mir hier vertrauen.
Having a mathematical proof of privacy was something entirely new in information science.
Einen solchen mathematischen Beweis von Privatsphäre zu haben, war etwas völlig Neues in der IT.
Indeed, so striking is their conformity that we can rightly speak of mathematical proof.
Die Übereinstimmung ist dermaßen außergewöhnlich, dass man hier von einem mathematischen Beweis sprechen muss.
His methods are not exactly "proofs" in our understanding of a mathematical proof today.
Seine Methoden sind nicht gerade "Beweise" in unserem Verständnis von einem mathematischen Beweis heute.
For parts of the code that can't be covered, the tool will provide a mathematical proof to show that they are unreachable.
Wenn Teile des Codes nicht abgedeckt werden können liefert das Tool einen mathematischen Beweis, dass die entsprechenden Ziele unerreichbar sind.
The third choice here is a mathematical proof that's been accepted by experts that shows the cipher is secure.
Hier ist ein von Experten akzeptierter mathematischer Beweis, der zeigt, das Verfahren ist sicher.
Euclid's explanation is one of the first examples in history of a formal mathematical proof - a logical argument that shows a statement must definitely be true.
Euklids Erklärung ist eines der ersten Beispiele in der Geschichte für einen formalen mathematischen Beweis - ein logisches Argument, das zeigt, dass eine Aussage definitiv wahr sein muss.