- weierstrassapproximationtheoremminkowskiapproximationtheorem...
- 27155
- Thisarticleexplicitlyexpressedconversetheoremoftheinversefunctiondifferentialprinciple,Basedonthistheorem,theauthorproposedonekindofintegration,thengavesomeexamples.Thispaperinvestigatestheconversetheoremsforthemultidimensionalconvolutionoperatorappr...
- 5115
- Inthispaperwegiveacriterionofuniquenessofsolutionstotwo-pointboundaryvalueproblem:moreover,weobtainaclassofexistenceuniquenesstheoremsofsolutions.Inthispaperwediscussedtheexistenceanduniquenesstheoremsforthird-orderboundaryvalueproblems,usingthemetho...
- 29894
- 1、inversefunctiontheorem2、Theglobalinversefunctiontheoremisappliedfortheexistenceanduniquenessofperiodicalsolutionstothesemilinearboundaryvalueproblems.Someresultsareimproved....
- 28551
- Polynomials,includingrelationshipsinvolvingtherootsofquadraticandcubicequations,theremaindertheorem.Basedontheremaindertheoremanddirectdechirpoperation,analgorithmforestimationofchirprateandinitialfrequencyofthesubsamplingwidebandLFMsignalunambiguous...
- 15148
- SunDaochunprovestheexistencetheoremonthemaximumcondensationpointofthezeroordermeromorphicfunctionsintheunitcircle.Hisdoctoraldissertationondifferentialequationsconnecteditselfwithexistencetheorems....
- 19472
- Propertyverificationiscarriedoutusingtheoremprovingsystems.Antecedentderivationisanextensionoftheoremproving.DemonstratesthatasmallamountofcodeverifiedwithautomatedtheoremprovingcansupportanarbitrarylargeamountofTALcode....
- 4365
- Thereareanumberofalternativeformulationsofthereciprocitytheorem.Onapplyingthediffractiontheoryandwiththeaidofthereciprocitytheorem,anapproximateformulafortheradiationfieldofaslotcutinametalsheetoffinitesizeisderived....
- 28192
- AdigitalfingerprintingschemebasedonChineseremaindertheoremWrongattackandguardofRSAsystembasedonChineseremaindertheoremOnthedesignofsubliminalchannelbasedonChineseremaindertheoremThesolutionofsystemoflinearcongruenceequationscanbeprovidedbytheChineser...
- 5855
- AnoteofSenlibertarianimpossibilitytheorem;AnoteofArrowimpossibilitytheoreminchoicefunctionforms;...
- 31277
- Thisisanautomatedtheoremproverforfirst-orderandequationallogic,usedtosupportinferenceinlanguageprocessing.Withoutautomatedtheoremprover,programmershavetogenerateallproofsbyhand,whichisahugeworkload.Althoughlessautomatic,efficientusageofatheoremprover...
- 19962
- So,let'sprovethistheorem.Wejustusethefundamentaltheorem.Whyisthisnotlikeconceptuallyanewtheorem?Sometimesit'scalledtheclassicalequipartitionofenergytheorem.Antecedentderivationisanextensionoftheoremproving.Atthatpartisactuallymath,namely,thediverge...
- 30793