activity
20152026
most citedAutomatic Synthesis of Geometry Problems for an Intelligent Tutoring System

5 citations · 5 across the 4 of their papers we have counts for

collaborators

4 papers