File name: mma-20-18334-20200627043655 |
Export Date: 27-Jun-2020 |
Output Format: XML (ScholarOne DTD) |
mma-20-18334-20200627043655/doc/main.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/intro.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/mainthm.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/reduce.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/formula.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/lem.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/Proof.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/preamble.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/preamble_base.tex | Version 1.0 |
mma-20-18334-20200627043655/doc/ref.bib | Version 1.0 |
mma-20-18334-20200627043655/doc/myplain.bst | Version 1.0 |
mma-20-18334-20200627043655/doc/KentaOishi(NagoyaUniv).pdf | Version 1.0 |
mma-20-18334-20200627043655/mma-20-18334-metadata.xml | |
mma-20-18334-20200627043655/s1.dtd | |
manifest.html | This document |