MiniIB:一个计算线性微分系统最小对合基的Maple软件包,张善卿,李志斌,本文描述了构造线性微分理想的最小对合基算法,根据此算法在计算机代数系统Maple上给出了具体的实现--MininIB,并将此软件包应用于一�