document.getElementById("med-ftitle").innerHTML=`一种用于符号计算系统中自动化推理的序列演算方法
`;