Rahul Singhal

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We describe a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. Such a system would help teachers to quickly generate large numbers of questions on a geometry topic. Students can explore and revise specific topics covered in classes and textbooks(More)
  • 1