2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Ke Wang, Zhendong Su
Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e, additional…