-
發表於:2016-12-16
SunDaochunprovestheexistencetheoremonthemaximumcondensationpointofthezeroordermeromorphicfunctionsintheunitcircle.Hisdoctoraldissertationondifferentialequationsconnectedi...
-
發表於:2024-01-28
1、inversefunctiontheorem2、Theglobalinversefunctiontheoremisappliedfortheexistenceanduniquenessofperiodicalsolutionstothesemilinearboundaryvalueproblems.Someresultsareim...
-
發表於:2017-06-28
So,let'sprovethistheorem.Wejustusethefundamentaltheorem.Whyisthisnotlikeconceptuallyanewtheorem?Sometimesit'scalledtheclassicalequipartitionofenergytheorem.Antecedentde...
-
發表於:2018-09-29
Polynomials,includingrelationshipsinvolvingtherootsofquadraticandcubicequations,theremaindertheorem.Basedontheremaindertheoremanddirectdechirpoperation,analgorithmforesti...
-
發表於:2018-04-20
Thisarticleexplicitlyexpressedconversetheoremoftheinversefunctiondifferentialprinciple,Basedonthistheorem,theauthorproposedonekindofintegration,thengavesomeexamples.Thisp...
-
發表於:2018-08-17
weierstrassapproximationtheoremminkowskiapproximationtheorem...
-
發表於:2018-03-24
Thisisanautomatedtheoremproverforfirst-orderandequationallogic,usedtosupportinferenceinlanguageprocessing.Withoutautomatedtheoremprover,programmershavetogenerateallproofs...
-
發表於:2018-01-24
Inthispaperwegiveacriterionofuniquenessofsolutionstotwo-pointboundaryvalueproblem:moreover,weobtainaclassofexistenceuniquenesstheoremsofsolutions.Inthispaperwediscussedth...
-
發表於:2018-09-02
AnoteofSenlibertarianimpossibilitytheorem;AnoteofArrowimpossibilitytheoreminchoicefunctionforms;...
-
發表於:2017-12-02
Thereareanumberofalternativeformulationsofthereciprocitytheorem.Onapplyingthediffractiontheoryandwiththeaidofthereciprocitytheorem,anapproximateformulafortheradiationfiel...
-
發表於:2018-03-19
AdigitalfingerprintingschemebasedonChineseremaindertheoremWrongattackandguardofRSAsystembasedonChineseremaindertheoremOnthedesignofsubliminalchannelbasedonChineseremainde...
-
發表於:2018-05-06
Propertyverificationiscarriedoutusingtheoremprovingsystems.Antecedentderivationisanextensionoftheoremproving.Demonstratesthatasmallamountofcodeverifiedwithautomatedtheore...