mathematical theorem
matematisk sætning
proven theorem
bevist teorem
theorem statement
teoremudsagn
fixed point theorem
fast punkt sætning
existence theorem
eksistenssætning
mean value theorem
gennemsnitsværdisætning
comparison theorem
sammenligningsteorem
sampling theorem
udtagningsteorem
central limit theorem
centrale grænsesætning
remainder theorem
restesætning
coase theorem
Coase-teorem
chinese remainder theorem
kinesisk restsætning
uniqueness theorem
entydighedssætning
pythagorean theorem
pythagoras' læresætning
reciprocity theorem
gensidighedssætning
theorem proving
teorembevis
gauss theorem
Gauss's sætning
duality theorem
dualitetssætning
approximation theorem
tilnærmelsessætning
separation theorem
separationssætning
binomial theorem
binomialsætningen
intermediate value theorem
mellemværditeorem
I agree with the theorem that the best defence is offence.
Jeg er enig i, at den bedste forsvar er at gå til angreb.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
For at fastslå Cantor's sætning, skal det vises, at f nødvendigvis ikke er surjektiv.
His theorem can be translated into simple terms.
Hans sætning kan oversættes til simple termer.
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.
I denne artikel vil der blive præsenteret en rigiditetssætning for hypersurface i reel rumform. Derudover opnår vi rigiditetssætninger for delmængde i sfære, der forbedrer Hou og Xu's resultat.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonisk introduceres, og der bevises en sætning. Algoritmen for bitonisk mergesortering gives.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Derudover foreslår artiklen en beslutningsdomslov, en beslutningsskelne lov, en beslutningsoverskuds kassering lov og et hulgraverprincip for beslutningsfaktorer univers X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Denne artikel præsenterer kildekodningsteoremet for diskrete tidsstationære Gaussiske kilder med absolut summerbar autokorrelationssekvens.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Denne artikel, der bruger øvre og nedre løsninger, beviser en eksistenstætning for næstenperiodiske løsninger for integraldifferentialsystemer.
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 ikke-oscillerende egenskaber ved andenordens halvlæine differentialligninger med forsinkelse undersøges. Sammenligningssætningen og den tilstrækkelige betingelse for ikke-oscillation opnås.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
En ny minimax ulighedsteorem er etableret, som vil blive brugt til at studere eksistensproblemer for løsninger på quasi-variationelle uligheder på paracompakte mængder.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Baseret på nogle grundlæggende teoremer i talteori udnytter dette program en sandsynlighedsbaseret algoritme til at teste et stort tal for dets primtal.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Denne tilgang bruger et træindeks og en sætning om leaforder-regionen til at evaluere semifleksible forespørgsler over et ontologitræ.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
I denne artikel udvikles nogle generelle sætninger og variationsprincipper for randværdiproblemet for to tidspunkter i ikke-lineær elastodynamik.
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.
Denne artikel generaliserer nogle egenskaber ved coalgebra til π-coalgebra, som er defineret af Alexis Virelizier. Hovedresultatet i artiklen generaliserer den fundamentale isomorfisatsætning til π-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.
Ved at bevise egenskaberne ved en demikontinuert funktion og række med funktionstermer, introduceres metoderne i den endelige coveting-sætning og dens anvendelse i problemløsning.
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.
Denne artikel præsenterer og beviser et diskrimineringsteorem, der er egnet til at undersøge determinabiliteten af det separate lineære system, hvilket viser, at et fremtrædende problem inden for dette område er blevet løst.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Som en anvendelse gives nogle ikke-eksistenssætninger for ikke-konstante stabile harmoniske kort fra en Finsler-manifold til en Riemann-manifold.
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.
I de praktiske anvendelser af stærkt ikke-normale matricer kan disse teoremer være mere nyttige end deres specialtilfælde med generaliserede egenværdier og kan give mere beskrivende oplysninger.
Udforsk ofte søgte ordforråd
Vil du lære ordforråd mere effektivt? Download DictoGo-appen og få glæde af flere funktioner til at huske og gennemgå ordforråd!
Download DictoGo nu