计算机验证相关论文
利用修正的齐次平衡法,通过计算机代数系统Mathematica 4.0进行验证,得到了用于描述由冷离子和热电子组成的等离子体弱非线性离子......
将三角形著名的Leibniz不等式加细、延拓为一个几何不等式链,提出并应用计算机验证了四个有关的猜想.......
针对基于混沌映射产生DS-CDMA系统的扩频序列展开研究,在给出基于混沌的DS-CD-MA系统模型的基础上,重点研究了使多址干扰MAI最小的......
应用三角形重要的加权正弦和不等式等一系列引理,建立了涉及两个三角形的一个三元二次型几何不等式,提出并应用计算机验证了三个尚......
在2025和工业生产4.0的影响下,我国越来越多的制药企业已经开始尝试实施计算机自动化系统了,由于自动化系统具有其自身的特殊性和......
