用“theorem proving”造句大全，theorem proving造句
Propertyverificationiscarriedoutusingtheoremprovingsystems.Antecedentderivationisanextensionoftheoremproving.Demonstratesthatasmallamountofcodeverifiedwithautomatedtheoremprovingcansupportanarbitraryl...
用“existence theorem”造句大全，existence theorem造句
SunDaochunprovestheexistencetheoremonthemaximumcondensationpointofthezeroordermeromorphicfunctionsintheunitcircle.Hisdoctoraldissertationondifferentialequationsconnecteditselfwithexistencetheorems....
用“impossibility theorem”造句大全，impossibility theorem造句
AnoteofSenlibertarianimpossibilitytheorem;AnoteofArrowimpossibilitytheoreminchoicefunctionforms;...
用“converse theorem”造句大全，converse theorem造句
Thisarticleexplicitlyexpressedconversetheoremoftheinversefunctiondifferentialprinciple,Basedonthistheorem,theauthorproposedonekindofintegration,thengavesomeexamples.Thispaperinvestigatestheconversethe...
用“uniqueness theorem”造句大全，uniqueness theorem造句
Inthispaperwegiveacriterionofuniquenessofsolutionstotwo-pointboundaryvalueproblem:moreover,weobtainaclassofexistenceuniquenesstheoremsofsolutions.Inthispaperwediscussedtheexistenceanduniquenesstheorem...
用“theorem”造句大全，theorem造句
So,let'sprovethistheorem.Wejustusethefundamentaltheorem.Whyisthisnotlikeconceptuallyanewtheorem?Sometimesit'scalledtheclassicalequipartitionofenergytheorem.Antecedentderivationisanextensionoftheorem...
用“approximation theorem”造句大全，approximation theorem造句
weierstrassapproximationtheoremminkowskiapproximationtheorem...
用“Chinese remainder theorem”造句大全，Chinese remainder theorem造句
AdigitalfingerprintingschemebasedonChineseremaindertheoremWrongattackandguardofRSAsystembasedonChineseremaindertheoremOnthedesignofsubliminalchannelbasedonChineseremaindertheoremThesolutionofsystemofl...
用“theorem prover”造句大全，theorem prover造句
Thisisanautomatedtheoremproverforfirst-orderandequationallogic,usedtosupportinferenceinlanguageprocessing.Withoutautomatedtheoremprover,programmershavetogenerateallproofsbyhand,whichisahugeworkload.Al...
用“inverse function theorem”造句大全，inverse function theorem造句
1、inversefunctiontheorem2、Theglobalinversefunctiontheoremisappliedfortheexistenceanduniquenessofperiodicalsolutionstothesemilinearboundaryvalueproblems.Someresultsareimproved....
用“remainder theorem”造句大全，remainder theorem造句
Polynomials,includingrelationshipsinvolvingtherootsofquadraticandcubicequations,theremaindertheorem.Basedontheremaindertheoremanddirectdechirpoperation,analgorithmforestimationofchirprateandinitialfre...
用“reciprocity theorem”造句大全，reciprocity theorem造句
Thereareanumberofalternativeformulationsofthereciprocitytheorem.Onapplyingthediffractiontheoryandwiththeaidofthereciprocitytheorem,anapproximateformulafortheradiationfieldofaslotcutinametalsheetoffini...