Übersetzung für "Lemmas" in Deutsch

An Archimedean circle was first constructed by Archimedes in his Book of Lemmas.
Sie wurde erstmals vermutlich durch Archimedes in seinem Buch der Lemmata beschrieben.
WikiMatrix v1
I shall therefore prove it after introducing the necessary lemmas.
Ich werde also beweisen es nach Einführung der notwendigen Deckspelzen.
ParaCrawl v7.1
The proof requires the definition of a predicate A(k, n) and five lemmas.
Der Beweis erfordert die Definition eines Prädikats A (k, n) und fünf Lemmas.
EuroPat v2
He then solved the CLP case (a circle, a line and a point) using three lemmas.
Danach löste er den Fall KGP (ein Kreis, eine Gerade, ein Punkt) unter Verwendung von drei Lemmata.
WikiMatrix v1
He then solved the CPP case (a circle and two points) and the CCP case (two circles and a point), the latter case by two lemmas.
Danach löste er die Fälle KPP (ein Kreis, zwei Punkte) und KKP (zwei Kreise, ein Punkt), den zweiten davon mit zwei Lemmata.
WikiMatrix v1
The selection procedure selects lemmas and definitions which are useful for a theorem proving problem from a knowledge base.
Das Auswahlverfahren wählt Lemmas und Definitionen, die für eine Beweisaufgabe nützlich sind, aus einer Wissensbasis aus.
EuroPat v2
Each proof step contains a number, a proposition or an assumption, and an explanation which gives the procedures, definitions, lemmas, and preceding proof steps that were used to derive the proposition or generate the assumption.
Jeder Beweisschritt besteht aus einer Nummer, einer Aussage oder einer Annahme und einer Begründung, die die Verfahren, Definitionen, Lemmas und vorherigen Beweisschritte angibt, die verwendet wurden, die Aussage abzuleiten oder die Annahme zu erzeugen.
EuroPat v2
A proof step contains a proposition or an assumption, and an explanation which gives the procedures, definitions, lemmas, and preceding proof steps that were used to derive the proposition or generate the assumption.
Eine Beweisschritt enthält eine Aussage oder eine Annahme und eine Begründung, die die Verfahren, Definitionen, Lemmas und vorherigen Beweisschritte angibt, die verwendet wurden, um die Aussage abzuleiten oder die Annahme zu erzeugen.
EuroPat v2
The other procedures, for example, the forward and the reduction procedure, only use definitions and lemmas that contain only concepts occurring in the list.
Die anderen Verfahren, zum Beispiel das Vorwärts- und das Reduktionsverfahren, verwenden nur Definitionen und Lemmas, die ausschließlich Begriffe enthalten, die in der Liste vorkommen.
EuroPat v2
Then, it calls the forward procedure which produces proof steps 7-13 by applying definitions, lemmas, and universal procedures in the partial proof to preceding proof steps.
Dann ruft es das Vorwärtsverfahren auf, das die Beweisschritte 7-13 erzeugt, indem es Definitionen, Lemmas und Allaussagen im Teilbeweis auf vorherige Beweisschritte anwendet.
EuroPat v2
Proof steps 22, 25, 27, 33, 37, 40, 52 and 58-61 in Tables 5 and 6 require three further definitions and six lemmas.
Die Beweisschritte 22, 25, 27, 33, 37, 40, 52 und 58-61 in den Tabellen 5 und 6 erfordern drei weitere Definitionen und sechs Lemmas.
EuroPat v2
The selection procedure selects knowledge, that is, definitions and lemmas, that are useful for the proof of a theorem from a knowledge base.
Das Auswahlverfahren wählt Wissen, d. h. Definitionen und Lemmas, die für den Beweis nützlich sind, aus einer Wissenbasis aus.
EuroPat v2
Unlike the Principia, Opticks is not developed using the geometric convention of propositions proved by deduction from either previous propositions, lemmas or first principles (or axioms).
Im Gegensatz zur Principia baut Opticks nicht auf Aussagen über geometrische Eigenschaften auf, die sich entweder von vorhergehenden Aussagen, Lemmata oder Grundbegriffen (oder Axiome) ableiten.
WikiMatrix v1
The verso side contains an extensive glossary with over 1500 lemmas from the field of medicine, partly provided with Latin and Old High German explanations.
Auf der Versoseite findet sich ein umfangreiches Glossar mit über 1500 Lemmata aus dem Bereich der Medizin, die zum Teil mit lateinischen und althochdeutschen Interpretamenten versehen sind.
ParaCrawl v7.1
The paper gives a detailed description of six geometrical lemmas used by ibn al-Haytham in solving this problem.
Das Papier enthält eine detaillierte Beschreibung von sechs geometrischen Deckspelzen, die von Ibn al-Haytham bei der Lösung dieses Problems.
ParaCrawl v7.1
The number of bases (which is also the number of lemmas in our learner's dictionary) is currently limited to some 900-1100 nouns that can be found in the basic vocabulary in the Dizionario di base della lingua italiana (DIB) by De Mauro / Moroni (1996).
Die Anzahl der Basen (= gleichzeitig Lemmata des Lernwortschatzes) beschränkt sich zunächst auf ca. 900-1100 Substantive, die dem italienischen Grundwortschatz des Dizionario di base della lingua italiana (DIB) von De Mauro / Moroni (1996) angehören.
ParaCrawl v7.1
Their methods use three lemmas of Le Cam in order to treat rank statistics under local alternatives and they established the efficiency of rank tests.
Ihre Methoden verwenden drei Deckspelzen von Le Cam, um zu behandeln Rang Statistiken nach lokalen Alternativen und gründeten sie die Effizienz der Rang-Tests.
ParaCrawl v7.1
Adian pointed out that, while individual lemmas were correct, in order to apply them all simultaneously the inequalities needed to make their hypothesis valid were inconsistent.
Adian wies darauf hin, dass zwar einzelne Lemmata korrekt waren, um sie alle gelten gleichzeitig die Ungleichheiten notwendig sind, um ihre Hypothese gültig waren widersprüchlich.
ParaCrawl v7.1