document.getElementById("med-ftitle").innerHTML=`自动化推理与计算机代数系统的集成
`;