Representation and automated transformation of geometric statements-Reference-Cited by-同舟云学术

Representation and automated transformation of geometric statements

Published:2014-01-29 Issue:2 Volume:27 Page:382-412
ISSN:1009-6124
Container-title:Journal of Systems Science and Complexity
language:en
Short-container-title:J Syst Sci Complex

Author:

Chen Xiaoyu

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s11424-014-0316-0.pdf

Reference27 articles.

1. Wu W, Basic principles of mechanical theorem proving in elementary geometries, Journal of Systems Science and Mathematical Sciences, 1984, 4(3): 207–235.

2. Chou S and Gao X, Automated reasoning in geometry, Handbook of Automated Reasoning (Volume I), Elsevier, North Holland, 2001.

3. List of Interactive Geometry Software, http://en.wikipedia.org/wiki/List of interactive geometry software.

4. Lecture Notes in Artificial Intelligence;X Chen,2006

5. Lecture Notes in Artificial Intelligence;X Chen,2010

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research on Geometry Problem Text Understanding Based on Bidirectional LSTM-CRF;2022 9th International Conference on Digital Home (ICDH);2022-10

2. Towards an ecosystem for computer-supported geometric reasoning;International Journal of Mathematical Education in Science and Technology;2020-11-02

3. Automated Deduction and Knowledge Management in Geometry;Mathematics in Computer Science;2020-06-25

4. Automatically Proving Plane Geometry Theorems Stated by Text and Diagram;International Journal of Pattern Recognition and Artificial Intelligence;2019-06-07

5. Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach;International Journal on Artificial Intelligence Tools;2019-06