document.getElementById("med-ftitle").innerHTML=`数学的电子通信以及计算机代数系统与证明助手的交互
`;