副教授
软件学院
上海市高可信计算重点实验室
联系电话：+86-21-62238538
办公时间：9:00-17:00
传真：
主页网址：
办公地点：数学馆203(东）
电子邮箱：zfyang@sei.ecnu.edu.cn
通讯地址：上海市中山北路3663号华东师范大学软件学院（数学馆）
研究方向
符号计算‚符号与数值混合计算‚可信计算‚程序验证
社会兼职
- ExternalreviewerfortheJournalofSymbolicComputation
- ExternalreviewerfortheJournalofScienceChina
- ExternalreviewerfortheJournalofSystemsScienceandComplexity
- ExternalreviewerfortheJournalofComputerScienceandTechnology
- ExternalreviewerfortheJournalofAppliedMathematicsandComputation
- ExternalreviewerforSNC´2009‚SNC´2011
- ExternalreviewerforconferenceISSAC2010‚ISSAC2011
- ExternalreviewerfortheJournalofTheoreticalComputerScience(TCS)
- Localorganizerforthe2011ComputerMathematics(CM)conference
- ProgramCommitteeMember,TheTenthAsianSymposiumonComputerMathematics(ASCM),2012
学术成果
Publications:
- WangLin,MinWu,ZhengfengYang,ZhenbingZeng，Exactsafetyverificationofhybridsystemsusingsums-of-squaresrepresentation.AcceptedforpublicationinSCIENCECHINAInformationSciences,15pages,2012.
- ErichL.KaltofenandBinLiandZhengfengYangandLihongZhi，Exactcertificationinglobalpolynomialoptimizationviasums-of-squaresofrationalfunctionswithrationalcoefficients,JournalofSymbolicComputation，2012，47(1):1-15.
- ErichKaltofen,Wen-shinLeeandZhengfengYang,FastestimatesofHankelmatrixconditionnumbersandnumericsparseinterpolation.InSNC'11Proc.2011Internat.WorkshoponSymbolic-NumericComput.pages130-136,ACMPress.
- MinWu,ZhengfengYang,Generatinginvariantsofhybridsystemsviasums-of-squaresofpolynomialswithrationalcoefficients.InSNC'11Proc.2011Internat.WorkshoponSymbolic-NumericComput.pages104-111,ACMPress.
- WangLin,MinWu,ZhengfengYang,andZhenbingZeng,Provingtotalcorrectnessofloopprogramsviasymbolic-numericcomputationmethod,InMACIS'11Proc.of4thInternationalConferenceonMathematicalAspectsofComputerandInformationSciences,pages149-161.
- ZijiaLi‚ZhengfengYangandLihongZhi‚BlindimagedeconvolutionviafastapproximateGCD.InISSAC'10Proc.2010Internat.Symp.SymbolicAlgebraicComput.pages155-162,ACMPress.
- LiyongShen‚MinWu‚ZhengfengYangandZhenbingZeng‚GeneratingExactNonlinearRankingFunctionsbySymbolic-NumericHybridMethod‚14pages‚acceptedforpublicationinJournalofSystemSciencesandComplexity.
- ErichKaltofen‚ZhengfengYangandLihongZhi‚AProofoftheMonotoneColumnPermanent(MCP)ConjectureforDimension4viaSums-Of-SquaresofRationalFunctions.InSNC´09Proceedings‚Pages65-69‚ACMPress.
- LiyongShen‚MinWu‚ZhengfengYangandZhenbingZeng‚FindingPositivelyInvariantSetsofaClassofNonlinearLoopsviaCurveFitting.InSNC´09Proceedings‚Pages185-190‚ACMPress,pages167-174.
- LiyongShen‚MinWuandZhengfengYang‚Simplificationofnumericalrationalsurfaces.In2009InternationalJointConferenceonComputationalSciencesandOptimization‚pages617-621.
- ErichKaltofen‚BinLi‚ZhengfengYang‚andLihongZhi‚Exactcertificationofglobaloptimalityofapproximatefactorizationsviarationalizingsums-of-squareswithfloatingpointscalars.InISSAC2008Proceedings2008InternationalSymposiumonSymbolicAlgebraicComputationACMPress‚NewYork‚N.Y.‚2008‚pages155-163.
- ErichKaltofen‚JohnMay‚ZhengfengYang‚andLihongZhi.Approximatefactorizationofmultivariatepolynomialsusingsingularvaluedecomposition.J.SymbolicComput.‚43(5):359-376.
- ErichKaltofenandZhengfengYang‚Onexactandapproximateinterpolationofsparserationalfunctions.InISSAC2007Proceedings2007InternationalSymposiumonSymbolicAlgebraicComputationACMPress‚NewYork‚N.Y.‚2007‚pages203-210.
- ErichKaltofen‚BinLi‚KartikSivaramakrishnan‚ZhengfengYang‚andLihongZhi.Lowerboundsforapproximatefactorizationsviasemidefiniteprogramming(extendedabstract).InSNC´07Proceedings2007InternationalWorkshoponSymbolic-NumericComputation}ACMPress‚NewYork‚N.Y.‚2007‚pages203-204.
- ErichKaltofen‚ZhengfengYangandLihongZhi‚Onprobabilisticanalysisofrandomizationinhybridsymbolic-numericalgorithms.InSNC´07Proceedings2007InternationalWorkshoponSymbolic-NumericComputationACMPress‚NewYork‚N.Y.‚2007‚pages11-17.
- ErichKaltofen‚ZhengfengYangandLihongZhi‚Approximategreatestcommondivisorsofseveralpolynomialswithlinearlyconstrainedcoefficientsandsingularpolynomials.InISSAC2006Proceedings2006InternationalSymposiumonSymbolicAlgebraicComputationACMPress‚NewYork‚N.Y.‚2006‚pages169-176.Fullversion‚30pages.Submitted‚Nov.2007.
- ErichKaltofen,ZhengfengYangandLihongZhi,StructuredlowrankapproximationofageneralizedSylvestermatrix,Proc.oftheSeventhAsianSymposiumonComputerMathematics(Seoul,SouthKorea,2005),S.PaeandH.Park,Eds.,KoreaInstituteforAdvancedStudy,Pages219-222.
- BingyuLi‚ZhengfengYangandLihongZhi‚FastlowrankapproximationofaSylvestermatrixbystructuredtotalleastnorm‚J.JSSAC(JapanSocietyforSymbolicandAlgebraicComputation)‚Vol.11‚No.3-4‚165-174‚2005.
- ShuhongGao‚ErichKaltofen‚JohnP.May‚ZhengfengYangandLihongZhi‚Approximatefactorizationofmultivariatepolynomialsviadifferentialequations.InISSAC2004Proceedings2004InternationalSymposiumonSymbolicAlgebraicComputationACMPress‚NewYork‚N.Y.‚2004‚
