@article {IOPORT.06098273,
    author       = {Zheng, Huan and Zhang, Jing-Zhong},
    title        = {Reasoning algorithm of geometry automatic reasoning platform with sustainable development by user.},
    year         = {2011},
    journal      = {Journal of Computer Applications},
    volume       = {31},
    number       = {8},
    issn         = {1001-9081},
    pages        = {2101-2104},
    publisher    = {Science Press, Beijing},
    doi          = {10.3724/SP.J.1087.2011.02101},
    abstract     = {Summary: All the available geometry theorem provers are not sustainable. A knowledge representation with the general structure and a reasoning algorithm which could deal with all the rules were proposed. According to these ideas, a geometry automatic reasoning platform that could be sustainably developed by the user had been initially implemented. This platform allows the user to add geometric knowledge such as geometric objects, predicates and rules, and provides multiple reasoning algorithms such as forward search method and a part of area method, so it will be more suitable for geometry teaching.},
    identifier   = {06098273},
}