mathematical theorem
wiskundige stelling
proven theorem
bewezen stelling
theorem statement
stelling uitspraak
fixed point theorem
stelling van het vaste punt
existence theorem
existentiële stelling
mean value theorem
gemiddelde waardestelling
comparison theorem
vergelijkingstheorema
sampling theorem
steekproef stelling
central limit theorem
centrale limietstelling
remainder theorem
reststelling
coase theorem
Coase-stelling
chinese remainder theorem
chinees reststellingstheorema
uniqueness theorem
eenheidsstelling
pythagorean theorem
Pythagoras' stelling
reciprocity theorem
wet van de wisselwerking
theorem proving
stellingbewijs
gauss theorem
gauss stelling
duality theorem
dualiteit stelling
approximation theorem
benaderingstheorema
separation theorem
scheidingsstelling
binomial theorem
binomiaalstelling
intermediate value theorem
tussenwaardestelling
I agree with the theorem that the best defence is offence.
Ik ben het eens met de stelling dat het beste verdediging is aanval.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Om Cantor's stelling te bewijzen, moet aangetoond worden dat f niet noodzakelijk surjectief is.
His theorem can be translated into simple terms.
Zijn stelling kan worden vertaald in eenvoudige termen.
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 dit artikel wordt een rigiditeitstheorema van het hypervlak in de reële ruimtevorm gepresenteerd. Bovendien verkrijgen we rigiditeitstheorema's van het submanifield in de sfeer die het resultaat van Hou en Xu verbeteren.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonisch wordt geïntroduceerd en een stelling wordt bewezen. Het algoritme van bitonische mergesort wordt gegeven.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Bovendien stelt het artikel een beslissingsoordeeltheorema, een beslissingsonderscheidingstheorema, een beslissingsoverschottentheorema en het gat graafprincipe op over het beslissingsfactorenuniversum X voor.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Deze paper presenteert het broncoderingstheorema voor discrete-tijd stationaire Gaussische bronnen met een absoluut sommeerbare autocorrelatievolgorde.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Het huidige artikel, dat gebruik maakt van boven- en onderoplossingen, bewijst een existentiestelling van bijna periodieke oplossingen voor integraal-differentiaal systemen.
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.
De niet-oscillerende eigenschappen van de tweede orde half-lineaire vertraagde differentievergelijkingen worden bestudeerd. De vergelijkingstelling en de voldoende voorwaarde voor de niet-oscillatie worden verkregen.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
een nieuwe minimax-ongelijkheidsstelling wordt gevestigd, die zal worden gebruikt om de bestaanbaarheidsproblemen van oplossingen voor quasi-variationele ongelijkheden op paracompacte verzamelingen te bestuderen.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Gebaseerd op enkele basisstellingen in de getaltheorie maakt dit programma gebruik van een probabilistisch algoritme om een groot aantal getallen te testen op priemheid.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Deze aanpak maakt gebruik van een boomindex en een stelling over de leaforder regio om semiflexibele queries over een ontologiebomen te evalueren.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
In dit artikel worden enkele algemene stellingen en variatieprincipes van het randwaardeprobleem voor twee tijdinstanties in niet-lineaire elastodynamica ontwikkeld.
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.
Dit artikel generaliseert enkele eigenschappen van coalgebra naar π-coalgebra, gedefinieerd door Alexis Virelizier. Het belangrijkste resultaat in het artikel generaliseert de fundamentele isomorfisme stelling naar π-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.
Door eigenschappen te bewijzen van demicontinue functies en reeksen met functietermen, worden methoden van de eindige coveting-stelling en hun toepassing bij het bewijzen van problemen geïntroduceerd.
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.
Deze paper presenteert en bewijst een discriminatiestelling die geschikt is om de determinabiliteit van het discrete lineaire systeem te onderzoeken, wat aantoont dat een uitstekend probleem op dit gebied is opgelost.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Als toepassing worden enkele niet-existentiestellingen van niet-constante stabiele harmonische afbeeldingen van een Finsler-variëteit naar een Riemann-variëteit gegeven.
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.
In de praktische toepassingen van sterk niet-normale matrices kunnen deze stellingen nuttiger zijn dan hun gespecialiseerde gevallen van gegeneraliseerde eigenwaarden en kunnen ze meer beschrijvende informatie opleveren.
Ontdek vaak opgezochte woordenschat
Wil je efficiënter woordenschat leren? Download de DictoGo-app en profiteer van meer functies voor het onthouden en herhalen van woordenschat!
Download DictoGo nu