机译:通过测试部分变量来构造求解多项式布尔方程组的有效算法
机译:矩阵多项式I + A + / spl middot // spl middot // spl middot / + A / sup N-1 /的混合算法
机译:多维控制系统数学模型的转换算法
机译:由{s,z,/ spl gamma /}变量表示的多维系统的有效多项式变换算法
机译:用于优化正多项式的高效算法。
机译:最大配对问题的多项式算法:针对任意树的有效系统发育目标
机译:使用常用算法配制具有恒定和可变参数的电子系统的状态方程。 II
机译:求解两不等式线性不等式的多项式时间算法。