代数计算相关论文
一致化理论在自动推理、自然语言理解、逻辑证明、重写理论等研究领域中有着广泛的应用。目前语法一致化因子的产生算法和工具已经......
计算机代数系统（简称CAS）是指符号数学的软件设计,而计算机代数则是指对CAS的算法研究.近些年随着CAS及其算法研究的迅速发展,该研究......
三相不平衡度是衡量电能质量的重要指标之一。电量的不平衡状态严重危及电器的使用安全,甚至导致用电设备损坏,因此对三相不平衡度......
