THE SUSTAINABLE GEOMETRY AUTOMATED REASONING PLATFORM
ZHENG Huan
Journal of System Science and Mathematical Science Chinese Series ›› 2011, Vol. 31 ›› Issue (12) : 1622-1632.
THE SUSTAINABLE GEOMETRY AUTOMATED REASONING PLATFORM
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |