1 |
董建功. 数学命题设计. 上海: 华东师范大学出版社, 2021: 165- 168.
|
|
DONG J G . The art of mathematical test design. Shanghai: East China Normal University Press, 2021: 165- 168.
|
2 |
尹承利. 高考数学命题的一个新趋势. 数学通讯, 2019 (12): 44- 47.
|
|
YIN C L . A new trend of mathematics proposition in college entrance examination. Bulletin of Mathematics, 2019 (12): 44- 47.
|
3 |
彭翕成. 基于点几何的几何定理机器证明与自动发现[D]. 武汉: 华中师范大学, 2020.
|
|
PENG X C. Automated geometry theorems proving and discovering based on point geometry[D]. Wuhan: Central China Normal University, 2020. (in Chinese)
|
4 |
SEO M, HAJISHIRZI H, FARHADI A, et al. Solving geometry problems: combining text and diagram interpretation[C]//Proceedings of 2015 Conference on Empirical Methods in Natural Language Processing. Washington D. C., USA: IEEE Press, 2015: 1466-1476.
|
5 |
景庄伟, 管海燕, 彭代峰, 等. 基于深度神经网络的图像语义分割研究综述. 计算机工程, 2020, 46 (10): 1- 17.
doi: 10.19678/j.issn.1000-3428.0058018
|
|
JING Z W , GUAN H Y , PENG D F , et al. Survey of research in image semantic segmentation based on deep neural network. Computer Engineering, 2020, 46 (10): 1- 17.
doi: 10.19678/j.issn.1000-3428.0058018
|
6 |
LU P, GONG R, JIANG S, et al. Inter-GPS: interpretable geometry problem solving with formal language and symbolic reasoning[EB/OL]. [2023-11-11]. https://arxiv.org/pdf/2105.04165v2.
|
7 |
|
8 |
张景中, 高小山, 周咸青. 基于前推法的几何信息搜索系统. 计算机学报, 1996, 19 (10): 721- 727.
|
|
ZHANG J Z , GAO X S , ZHOU X Q . Geometric information search system based on forward deduction method. Chinese Journal of Computers, 1996, 19 (10): 721- 727.
|
9 |
CHOU S C , GAO X S , ZHANG J Z . A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning, 2000, 25 (3): 219- 246.
|
10 |
叶征. 平面几何的动态可视证明研究[D]. 杭州: 浙江大学, 2010.
|
|
YE Z. Research on visually dynamic presentation of proofs in plane geometry[D]. Hangzhou: Zhejiang University, 2010. (in Chinese)
|
11 |
吴文俊. 初等几何判定问题与机械化证明. 中国科学, 1977, 7 (6): 507- 516.
|
|
WU W J . Elementary geometry judgment and mechanization proof. Science in China (Series A), 1977, 7 (6): 507- 516.
|
12 |
CHOU S C , GAO X S . Automated reasoning in differential geometry and mechanics using the characteristic set method. Journal of Automated Reasoning, 1993, 10 (2): 173- 189.
|
13 |
CHOU S C , GAO X S . Automated reasoning in differential geometry and mechanics using the characteristic set method. Journal of Automated Reasoning, 1993, 10 (2): 161- 172.
|
14 |
葛强, 张景中, 陈矛, 等. 基于向量的几何可读自动证明. 计算机学报, 2014, 37 (8): 1809- 1819.
|
|
GE Q , ZHANG J Z , CHEN M , et al. Automated geometry readable proving based on vector. Chinese Journal of Computers, 2014, 37 (8): 1809- 1819.
|
15 |
ZHOU J , WANG D K , SUN Y . Automated reducible geometric theorem proving and discovery by Gröbner basis method. Journal of Automated Reasoning, 2017, 59 (3): 331- 344.
|
16 |
邹宇, 彭翕成, 饶永生. 基于吴方法的几何定理证明的恒等式方法. 中国科学: 数学, 2021, 51 (1): 289- 300.
|
|
ZOU Y , PENG X C , RAO Y S . An identity method for proving geometry theorems based on Wu's method. SCIENTIA SINICA Mathematica (in Chinese), 2021, 51 (1): 289- 300.
|
17 |
姜伯驹. 吴文俊与中国数学. 上海: 上海交通大学出版社, 2016.
|
|
JIANG B J . Wu Wenjun and China mathematics. Shanghai: Shanghai Jiao Tong University Press, 2016.
|
18 |
孙明玉. 几何约束求解的关键技术研究[D]. 长春: 吉林大学, 2016.
|
|
SUN M Y. Research on the key techniques of geometric constraint solving[D]. Changchun: Jilin University, 2016. (in Chinese)
|
19 |
CHAN K K , LEUNG S W . Dynamic geometry software improves mathematical achievement: systematic review and meta-analysis. Journal of Educational Computing Research, 2014, 51 (3): 311- 325.
|
20 |
ALVIN C, GULWANI S, MAJUMDAR R, et al. Synthesis of geometry proof problems[C]//Proceedings of the 28th AAAI Conference on Artificial Intelligence. New York, USA: ACM Press, 2014: 245-252.
|
21 |
ALVIN C, GULWANI S, MAJUMDAR R, et al. Automatic synthesis of geometry problems for an intelligent tutoring system[EB/OL]. [2023-11-11]. http://arxiv.org/abs/1510.08525.
|
22 |
MONTES A, RECIO T. Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems[C]//Proceedings of International Workshop on Automated Deduction in Geometry. Berlin, Germany: Springer, 2006: 113-138.
|
23 |
DALZOTTO G , RECIO T . On protocols for the automated discovery of theorems in elementary geometry. Journal of Automated Reasoning, 2009, 43 (2): 203- 236.
|
24 |
PENG X C , CHEN Q H , ZHANG J Z , et al. Automated discovery of geometric theorems based on vector equations. Journal of Automated Reasoning, 2021, 65 (6): 711- 726.
|
25 |
CHEN X Y , SONG D , WANG D M . Automated generation of geometric theorems from images of diagrams. Annals of Mathematics and Artificial Intelligence, 2015, 74 (3): 333- 358.
|
26 |
SONG D , WANG D M , CHEN X Y . Retrieving geometric information from images: the case of hand-drawn diagrams. Data Mining and Knowledge Discovery, 2017, 31 (4): 934- 971.
|
27 |
张景中, 彭翕成. 点几何解题. 上海: 华东师范大学出版社, 2020: 47- 73.
|
|
ZHANG J Z , PENG X C . Point geometry problem solving. Shanghai: East China Normal University Press, 2020: 47- 73.
|