搜索结果: 1-15 共查到“数学 数学机械化”相关记录32条 . 查询时间(0.627 秒)
幂级数， 随处可见，在复分析、组合理论、代数几何等领域扮演着重要角色。在复分析中，多变元幂级数收敛域的几何结构开启了多复变研究的序幕。在组合理论中，序列的生成函数就是幂级数，其算术与代数性质可以揭示序列的内在结构。在代数几何中，幂级数被用于理解代数簇在奇点处的几何结构。 幂级数的算术理论始于Fatou，Eisenstein，Polya，Szego等人的工作，其中最著名的定理是Szego定理与Pol...
中国科学院数学机械化重点实验室第五届学术委员会第一次会议于2020年11月23日在中国科学院数学与系统科学研究院南楼205室召开。本次会议采取线上线下结合的方式进行。实验室学术委员会主任徐宗本院士、副主任高小山研究员、天津大学宗传明教授、中科院信息工程研究所林东岱研究员、李洪波研究员，名誉委员林惠民院士、陆汝钤院士莅临会议；北京大学张继平院士、北京航空航天大学王东明教授、中国科技大学的陈发来教授参...
2020年10月30日，中国工业与应用数学学会（CSIAM）第十八届年会在长沙举行。会上举行了中国工业与应用数学学会首届会士授予仪式，并颁发了学会四大奖项。实验室副研究员贾晓红获得第五届CSIAM应用数学青年科技奖。
2020年10月30日，中国工业与应用数学学会（CSIAM）第十八届年会在长沙举行。会上举行了中国工业与应用数学学会首届会士授予仪式，并颁发了学会四大奖项。实验室高小山研究员被授予中国工业与应用数学学会首届会士。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2016年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2015年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2014年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2013年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2012年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2011年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2010年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2009年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2008年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2007年)。
中国科学院数学机械化重点实验室数学机械化研究中心年报(2006年)。