mathematical theorem
mathematischer Satz
proven theorem
bewiesener Satz
theorem statement
Satzdarstellung
fixed point theorem
Fixpunkttheorem
existence theorem
Existenzsatz
mean value theorem
Mittelwertsatz
comparison theorem
Vergleichssatz
sampling theorem
Stichprobenentnahmesatz
central limit theorem
Zentrale Normaltheorem
remainder theorem
Resttheorem
coase theorem
Coase-Satz
chinese remainder theorem
chinesisches Resttheorem
uniqueness theorem
Eindeutigkeitssatz
pythagorean theorem
Pythagoras' Theorem
reciprocity theorem
Umkehrsatz
theorem proving
Theoreme beweisen
gauss theorem
Gauss'scher Satz
duality theorem
Dualitätssatz
approximation theorem
Approximationssatz
separation theorem
Separationstheorem
binomial theorem
Binomtheorem
intermediate value theorem
Zwischenwertsatz
I agree with the theorem that the best defence is offence.
Ich stimme der Aussage zu, dass die beste Verteidigung der Angriff ist.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Um Cantors Theorem zu beweisen, muss gezeigt werden, dass f nicht surjektiv ist.
His theorem can be translated into simple terms.
Sein Theorem kann in einfache Begriffe übersetzt werden.
In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.
In diesem Artikel wird ein Rigiditätssatz von Hypersurfaces in realer Raumform angegeben. Darüber hinaus erhalten wir Rigiditätssätze von Submanifold in der Sphäre, die das Ergebnis von Hou und Xu verbessern.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonisch wird eingeführt und ein Satz bewiesen. Der Algorithmus von Bitonic-Merge-Sort wird angegeben.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Zusätzlich schlägt das Papier den Entscheidungsurteilssatz, den Entscheidungsdiskriminierungssatz, den Entscheidungsüberschuss-Verwerfungssatz und das Lochgrabungsprinzip für das Universum der Entscheidungsfaktoren X vor.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Diese Arbeit stellt den Quellcodierungssatz für diskrete, zeitlich stationäre Gaußsche Quellen mit absolut summierbarer Autokorrelationssequenz dar.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Die vorliegende Arbeit beweist unter Verwendung von oberen und unteren Lösungen einen Existenzsatz für fastperiodische Lösungen von integrodifferentialsystemen.
The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
Die Nichtoszillationseigenschaften von zweiter Ordnung halblinearer retardierter Differenzialgleichungen werden untersucht. Der Vergleichsatz und die hinreichende Bedingung für die Nichtoszillation werden erhalten.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Ein neuer minimax-Ungleichungssatz wird formuliert, der zur Untersuchung der Existenzprobleme von Lösungen für Quasi-Variationsungleichungen auf paracompakten Mengen verwendet wird.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Basierend auf einigen grundlegenden Theoremen in der Zahlentheorie nutzt dieses Programm einen probabilistischen Algorithmus, um eine große Zahl auf Primzahligkeit zu testen.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Dieser Ansatz verwendet einen Baumindex und einen Satz über die Region der Blattreihenfolge, um halbstarre Abfragen über den Ontologiebaum auszuwerten.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
In dieser Arbeit werden allgemeine Theoreme und Variationsprinzipien des Randwertproblems für zwei Zeitpunktinstanzen in der nichtlinearen Elastodynamik entwickelt.
This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
Diese Arbeit verallgemeinert einige Eigenschaften von Coalgebra zu π-Coalgebra, das von Alexis Virelizier definiert wird. Das Hauptergebnis der Arbeit verallgemeinert den grundlegenden Isomorphismussatz auf π-Coalgebra.
By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.
Durch den Nachweis der Eigenschaften von hemicontinuous-Funktionen und Reihen mit Funktionstermen werden Methoden des endlichen Coveting-Theorems und ihre Anwendung bei der Lösung von Problemen vorgestellt.
This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.
Diese Arbeit stellt und beweist einen Diskriminierungssatz, der geeignet ist, um die Bestimmbarkeit des linearen diskreten Systems zu untersuchen, was zeigt, dass eine herausragende Frage dieses Bereichs gelöst wurde.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Als Anwendung werden einige Nichtexistenztheoreme für nichtkonstante stabile harmonische Abbildungen von einer Finsler-Mannigfaltigkeit auf eine Riemann-Mannigfaltigkeit angegeben.
In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.
Bei der praktischen Anwendung hochgradig nicht-normaler Matrizen können diese Theoreme nützlicher sein als ihre spezialisierten Verallgemeinerten Eigenwertfälle und können mehr beschreibende Informationen liefern.
Entdecken Sie häufig gesuchte Vokabeln
Möchten Sie Vokabeln effizienter lernen? Laden Sie die DictoGo-App herunter und profitieren Sie von noch mehr Funktionen zum Vokabelnlernen und Wiederholen!
DictoGo jetzt herunterladen