Xiaoyu Chen. Representation and automated transformation of geometric statements. J. Systems Science & Complexity, 27(2):382-412, 2014. [doi]
@article{Chen14-75,
title = {Representation and automated transformation of geometric statements},
author = {Xiaoyu Chen},
year = {2014},
doi = {10.1007/s11424-014-0316-0},
url = {http://dx.doi.org/10.1007/s11424-014-0316-0},
researchr = {https://researchr.org/publication/Chen14-75},
cites = {0},
citedby = {0},
journal = {J. Systems Science & Complexity},
volume = {27},
number = {2},
pages = {382-412},
}