Elimination Methods for Geometric Problem Solving Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied
Nathan, & Cooper, Douglas. (2020). A machinereadable collection of lexical data on the Burmish languages [Data set]. Zenodo. http://doi.org/10.5281/zenodo