主讲人:冯如勇(数学机械化重点实验室)时间:2013年9月18日上午9:30 地点:思源楼一层报告厅
摘要:计算线性微分方程的Galois群涉及计算代数几何、计算群论以及线性微分方程闭形式解等符号计算的几个分支。 它是微分方程符号计算中的难题之一。 本报告将介绍线性微分方程Galois群计算方面的最新进展。