document.getElementById("med-ftitle").innerHTML=`社论：自动化推理与计算机代数系统的融合
`;