12856 3 37349 document 12856 TarskiFormulaLaTeXTools.mpl text/plain b045893ba0fa617c837900021fb2384b MD5 2129 2019-12-02 16:38:35 https://researchdata.bath.ac.uk/746/4/TarskiFormulaLaTeXTools.mpl 746 4 4 text/plain other A file that can be read into Maple, which having done so will enable Maple to better produce the LaTeX for Tarski formulae, 'TarskiFormula' type enabled by the package 'QuantifierElimination'. Hence the Maple inbuilt 'latex' will produce better LaTeX for such formulae. en public cc_mit

TarskiFormulaLaTeXTools.mpl

code