| Plural | theorems |
mathematical theorem
matematisk sats
proven theorem
bevisat teorem
theorem statement
teorems påstående
fixed point theorem
fast punktteorem
existence theorem
existenssats
mean value theorem
medelvärdessats
comparison theorem
jämförelsessats
sampling theorem
stickprovsteorem
central limit theorem
centrala gränsvärdessatsen
remainder theorem
restningsats
coase theorem
Coases teorem
chinese remainder theorem
kinesisk restsats
uniqueness theorem
entydighetssats
pythagorean theorem
Pythagoras sats
reciprocity theorem
jämförelsesatsen
theorem proving
teorembevis
gauss theorem
Gauss sats
duality theorem
duellitetssats
approximation theorem
approximationssats
separation theorem
separationssats
binomial theorem
binomisk sats
intermediate value theorem
mellanliggande värdessats
I agree with the theorem that the best defence is offence.
Jag håller med om att det bästa försvaret är anfång.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
För att bevisa Cantors sats måste det visas att f nödvändigtvis inte är surjektiv.
His theorem can be translated into simple terms.
Hans teorem kan översättas till enkla 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 den här artikeln kommer en rigiditetssats för ytan i en verklig rymdform att presenteras. Dessutom får vi rigiditetssatser för delmängd i sfär som förbättrar Hou och Xus resultat.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonisk introduceras och en sats bevisas. Algoritmen för bitonisk mergesortering ges.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Dessutom föreslår artikeln beslutande domstolsprincip, beslutande skiljedomprincip, beslutande överflödighetsprincip och hålgrävningsprincip för beslutsfaktorer universum X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Denna artikel presenterar källkodningsteoremet för diskreta stationära Gaussiska källor med absolut summerbara autokorrelationssekvenser.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Denna artikel, med hjälp av övre och nedre lösningar, bevisar ett existenssats för nästanperiodiska lösningar för integraldifferentialsystem.
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 icke-oscillerande egenskaperna hos andra ordningens halvlinjära fördröjningsdifferens ekvationer studeras. Jämförelsesatsen och tillräckligt villkor för icke-oscillation erhålls.
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-olikhets-sats fastställs, vilket kommer att användas för att studera existensproblemen för lösningar för quasi-variations-olikheter på paracompakta 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.
Baserat på några grundläggande satser inom talteori utnyttjar detta program en probabilistisk algoritm för att testa ett stort tal för att avgöra om det är ett primtal.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Denna metod använder ett trädindex och en sats om leaforder-regionen för att utvärdera halvflexibla frågor över ontologiträd.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
I denna artikel utvecklas allmänna satser och variationsprinciper för randvillkorproblemet för två tidpunkter i icke-linjä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.
Denna artikel generaliserar vissa egenskaper hos coalgebra till π-coalgebra, vilket definieras av Alexis Virelizier. Det huvudsakliga resultatet i artikeln generaliserar den fundamentala isomorfisatsen till π-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.
Genom att bevisa egenskaper hos en halvdivergent funktion och en serie med funktionstermer introduceras metoder för den ändliga coveting-teoremet och dess tillämpning 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.
Denna artikel presenterar och bevisar ett diskrimineringsteorem som är lämpligt för att undersöka bestämningsbarheten hos det diskreta linjära systemet, vilket visar att en utestående fråga inom detta område har lösts.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Som en tillämpning ges vissa icke-existenssatser för icke-konstanta stabila harmoniska avbildningar från en Finsler-varietet till en Riemannsk varietet.
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 praktiska tillämpningarna av starkt icke-normala matriser kan dessa satser vara mer användbara än deras specialfall för generaliserade egenvärden och kan ge mer beskrivande information.
mathematical theorem
matematisk sats
proven theorem
bevisat teorem
theorem statement
teorems påstående
fixed point theorem
fast punktteorem
existence theorem
existenssats
mean value theorem
medelvärdessats
comparison theorem
jämförelsessats
sampling theorem
stickprovsteorem
central limit theorem
centrala gränsvärdessatsen
remainder theorem
restningsats
coase theorem
Coases teorem
chinese remainder theorem
kinesisk restsats
uniqueness theorem
entydighetssats
pythagorean theorem
Pythagoras sats
reciprocity theorem
jämförelsesatsen
theorem proving
teorembevis
gauss theorem
Gauss sats
duality theorem
duellitetssats
approximation theorem
approximationssats
separation theorem
separationssats
binomial theorem
binomisk sats
intermediate value theorem
mellanliggande värdessats
I agree with the theorem that the best defence is offence.
Jag håller med om att det bästa försvaret är anfång.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
För att bevisa Cantors sats måste det visas att f nödvändigtvis inte är surjektiv.
His theorem can be translated into simple terms.
Hans teorem kan översättas till enkla 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 den här artikeln kommer en rigiditetssats för ytan i en verklig rymdform att presenteras. Dessutom får vi rigiditetssatser för delmängd i sfär som förbättrar Hou och Xus resultat.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonisk introduceras och en sats bevisas. Algoritmen för bitonisk mergesortering ges.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Dessutom föreslår artikeln beslutande domstolsprincip, beslutande skiljedomprincip, beslutande överflödighetsprincip och hålgrävningsprincip för beslutsfaktorer universum X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Denna artikel presenterar källkodningsteoremet för diskreta stationära Gaussiska källor med absolut summerbara autokorrelationssekvenser.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Denna artikel, med hjälp av övre och nedre lösningar, bevisar ett existenssats för nästanperiodiska lösningar för integraldifferentialsystem.
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 icke-oscillerande egenskaperna hos andra ordningens halvlinjära fördröjningsdifferens ekvationer studeras. Jämförelsesatsen och tillräckligt villkor för icke-oscillation erhålls.
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-olikhets-sats fastställs, vilket kommer att användas för att studera existensproblemen för lösningar för quasi-variations-olikheter på paracompakta 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.
Baserat på några grundläggande satser inom talteori utnyttjar detta program en probabilistisk algoritm för att testa ett stort tal för att avgöra om det är ett primtal.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Denna metod använder ett trädindex och en sats om leaforder-regionen för att utvärdera halvflexibla frågor över ontologiträd.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
I denna artikel utvecklas allmänna satser och variationsprinciper för randvillkorproblemet för två tidpunkter i icke-linjä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.
Denna artikel generaliserar vissa egenskaper hos coalgebra till π-coalgebra, vilket definieras av Alexis Virelizier. Det huvudsakliga resultatet i artikeln generaliserar den fundamentala isomorfisatsen till π-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.
Genom att bevisa egenskaper hos en halvdivergent funktion och en serie med funktionstermer introduceras metoder för den ändliga coveting-teoremet och dess tillämpning 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.
Denna artikel presenterar och bevisar ett diskrimineringsteorem som är lämpligt för att undersöka bestämningsbarheten hos det diskreta linjära systemet, vilket visar att en utestående fråga inom detta område har lösts.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Som en tillämpning ges vissa icke-existenssatser för icke-konstanta stabila harmoniska avbildningar från en Finsler-varietet till en Riemannsk varietet.
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 praktiska tillämpningarna av starkt icke-normala matriser kan dessa satser vara mer användbara än deras specialfall för generaliserade egenvärden och kan ge mer beskrivande information.
Utforska ofta sökta ord
Vill du lära dig ordförråd mer effektivt? Ladda ner DictoGo-appen och ta del av fler funktioner för att memorera och repetera ordförråd!
Ladda ner DictoGo nu