Publish
Home
Live
new
RH Journal
ResearchCoin
Grants
Funding
Browse
Journals
Hubs
Tools
Lab Notebook
Beta
Reference Manager
Resources
Verify Identity
Community
Support
About
Terms
Privacy
Issues
Docs
Paper
Log in
Sign up
Paper
0
Paper
Conversation
Grants
Reviews
Document
Download
Flag content
0
Automated Generation of Geometry Proof Problems Based on Point Geometry Identity
Industrial And Manufacturing Engineering
Computational Mechanics
Computer Vision And Pattern Recognition
Show More
Authors
Lei Li
,
Zongkai Yang
Mao Chen
,
Xicheng Peng
,
Jianwen Sun
,
Zhonghua Yan
+4 authors
,
Sannyuya Liu
Journal
Journal of Automated Reasoning
Published
Jun 1, 2024
DOI
10.1007/s10817-024-09699-1
Show more
Save
Tip
Document
Download
Flag content
0
Tip
Save
Document
Download
Flag content
Paper
Conversation
Grants
Reviews
TipTipTipTip