document.getElementById("med-ftitle").innerHTML=`在Coq中使用Maple处理域上的代数表达式
`;