作者:刘保乾si类多项式差分代换机器证明
摘要:讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《广东第二师范学院学报》(CN:44-1149/G4)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《广东第二师范学院学报》1997年成为中国学术期刊(光盘版)的首批入编期刊,2000年成为中国期刊网数据库来源期刊。2002年,在全国高校人文社科学报"三优"评比活动中被评为"全国优秀人文社科学报",国家哲学社会科学学术期刊数据库收录期刊。
杂志详情