机译:Semiring诱导的估值代数:精确和近似的本地计算算法
机译:用于网络表达,计算和算法构建的Clifford代数方法
机译:点代数上最大约束满足问题的精确逼近算法
机译:用于代数表达式标志的确切计算的新算法
机译:特征零中的局部和de Rham同调的算法计算:D-模理论在代数几何和交换代数中的应用。
机译:精确的双聚类算法用于分析大型基因表达数据集
机译:Semiring诱导的估值代数:精确和近似的本地计算算法
机译:用微分代数精确计算导数并应用于梁动力学。第1部分,差分代数的调查及其用于将地图提取到任意顺序的用途;第2部分,复杂周期系统的正规形式方法: