...

该文给出了横观各向同性弹性体的广义Ｂｏｕｓｓｉｎｅｓｑ－Ｇａｌｅｒｋｉｎ通解。并证明了Ｌｅｋｈｎｉｔｓｋｉｉ－Ｈｕ－Ｎｏｗａｃｋｉ解和Ｅｌｌｉｏｔｔ－Ｌｏｄｇｅ解的完备性。......

该文根据数学机械化的思想,在导师张鸿庆教授"AC=BD"模式的指导下,以源于物理、力学等领域中的非线性问题所对应的非线性偏微分代......

本文以计算机代数和Wu-Ritt消元理论为工具，以构造机械化算法为目的，以源于物理、力学、光学等领域中的非线性问题所对应的非线性偏......