汕头大学学报(自然科学版)2019年04期论文
陈世平:逐次Taylor替换与一类幂指函数不等式的机器证明论文
本文主要研究内容作者陈世平,陈果(2019)在《逐次Taylor替换与一类幂指函数不等式的机器证明》一文中研究指出:逐次Taylor替换是解决超越函数多项式不等式机器证明的有效...何东林:形式三角矩阵环上(F,F)-Gorenstein投射模论文
本文主要研究内容作者何东林,李煜彦(2019)在《形式三角矩阵环上(F,F)-Gorenstein投射模》一文中研究指出:基于Pan等人给出的(X,Y)-Gorenstein投...兰欢:一个基于混沌和DNA编码的新型图像加密算法论文
本文主要研究内容作者兰欢,叶瑞松(2019)在《一个基于混沌和DNA编码的新型图像加密算法》一文中研究指出:论文提出一个基于混沌和DNA编码的新型图像加密算法,旨在将图像加密领...