陈绍示 - 中科院数学与系统科学研究院 -

个人简介

Education: 2001/09--2005/07,B.Sci.,Mathematics,JiangsuUniversity,Jiangsu,China. 2005/09--2010/12,Ph.D.,AppliedMathematics,AcademyofMathematicsandSystemsScience,ChineseAcademyofSciences,Beijing,China. Supervisor:ZimingLi(AMSS,China). 2007/12--2011/02,Ph.D.,ComputerScience,co-directedbetweenAcademyofMathematicsandSystemsScience(Beijing,China)andÉcolePolytechnique(Paris,France). Co-supervisors:FrédéricChyzak(INRIA,France)andZimingLi(AMSS,China). Dissertation:SomeApplicationsofDifferential-DifferenceAlgebratoCreativeTelescoping(versioninChinese) Positions: 2017/03--present,AssociateProfessor,AcademyofMathematicsandSystemSciences,ChineseAcademyofSciences,Beijing,China. 2013/07--2017/03,AssistantProfessor,AcademyofMathematicsandSystemSciences,ChineseAcademyofSciences,Beijing,China. 2015/10--2016/08,Fields-OntarioPostdoctoralFellow,FieldsInstituteandFacultyofMathematics,UniversityofWaterloo,Ontario,Canada WorkingwithStephenM.WattandGeorgeLabahn. 2011/08--2013/07,Post-DoctoralFellow,DepartmentofMathematics,NorthCarolinaStateUniversity,Raleigh,USA. WorkingwithMichaelF.Singer. 2011/02--2011/08,Post-DoctoralFellow,ResearchInstituteforSymbolicComputation,JohannesKeplerUniversityLinz,Hagenberg,Austria. WorkingwithManuelKauers.

研究领域

SymbolicComputation DifferentialandDifferenceAlgebra Combinatorics(Wilf-ZeilbergerMethod,RationalityTheorems)

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

ExistenceProblemofTelescopersforRationalFunctionsinThreeVariables:theMixedCases. ProceedingsofISSAC'19,pp.82–89,ACMPress,2019. ApparentSingularitiesofD-finiteSystems.JournalofSymbolicComputation,95:217–237,2019. ProofoftheWilf-ZeilbergerConjectureforMixedHypergeometricTerms.JournalofSymbolicComputation,93:133–147,2019. AdditiveDecompositionsinPrimitiveExtensions.ProceedingsofISSAC'18,pp.135–142,ACMPress,2018. BivariateExtensionsofAbramov'sAlgorithmforRationalSummation. AdvancesinComputerAlgebra,InHonourofSergeiAbramov's70thBirthday,editedbyC.Schneider,E.Zima,SpringerProceedingsinMathematicsandStatistics226,93–104,2018: Reduction-basedCreativeTelescopingforFuchsianD-finiteFunctions.JournalofSymbolicComputation,85:108–127,2018. PowerSerieswithCoefficientsfromaFiniteSet.JournalofCombinatorialTheory,SeriesA.,151:pp.241–253,2017. SomeOpenProblemsRelatedtoCreativeTelescoping.JournalofSystemsScienceandComplexity30(1):pp.154–172,2017. Proceedingsofthe18thInternationalSymposiumonSymbolicandNumericAlgorithmsforScientificComputing(SYNASC'16),pp.60–64,IEEE,2016. ExistenceProblemofTelescopers:BeyondtheBivariateCase.ProceedingsofISSAC'16,pp.167–174,ACMPress,2016. Reduction-BasedCreativeTelescopingforAlgebraicFunctions.ProceedingsofISSAC'16,pp.175–182,ACMPress,2016. DesingularizationofOreOperators.JournalofSymbolicComputation74(C):617-626,2016. AModifiedAbramov-PetkovsekReductionandCreativeTelescopingforHypergeometricTerms.ProceedingsofISSAC'15,pp.117–124,ACMPress,2015. OntheExistenceofTelescopersforMixedHypergeometricTermsJournalofSymbolicComputation68:1-26,2015. ParallelTelescopingandParameterizedPicard-VessiotTheory.ProceedingsofISSAC'14,pp.99–106,ACMPress,2014. AGeneralizedApagodu-ZeilbergerAlgorithm.ProceedingsofISSAC'14,pp.107–114,ACMPress,2014. OntheSummabilityofBivariateRationalFunctions.JournalofAlgebra,409(2):320–343,2014. HermiteReductionandCreativeTelescopingforHyperexponentialFunctions.ProceedingsofISSAC'13,pp.77–84,ACMPress,2013. DesingularizationExplainsOrder-DegreeCurvesforOreOperators.ProceedingsofISSAC'13,pp.157–164,ACMPress,2013. ANoteontheDiagonalTheoremofBivariateRationalFormalPowerSeries(inChinese). ActaMathematicaSinicaChineseSeries,56(2):203--210,2013. MultiplicativeDecompositionsofMultivariateq-HypergeometricTerms(inChinese). JournalofSystemScienceandMathematicalScienceChineseSeries,32(8):1019-1032,2012. ResiduesandTelescopersforBivariateRationalFunctions.AdvanceinAppliedMathematics,49(2):111–133,2012. Order-DegreeCurvesforHypergeometricCreativeTelescoping.ProceedingsofISSAC'12,pp.122–129,ACMPress,2012. TelescopersforRationalandAlgebraicFunctionsviaResidues.ProceedingsofISSAC'12,pp.130–137,ACMPress,2012. TradingOrderforDegreeinCreativeTelescopingJournalofSymbolicComputation47(8):968-995,2012. OntheStructureofCompatibleRationalFunctions.ProceedingsofISSAC'11,pp.91–98,ACMPress,2011. ComplexityofCreativeTelescopingforBivariateRationalFunctions.ProceedingsofISSAC'10,pp.203–210,ACMPress,2010.