From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems
33038Related Entities
Axiomatic Knowledge
OtherEntity
Contextual Features
Material
Geometry Problems
Material
Harvested Axioms
OtherEntity
Math Textbooks
Material
Rules
OtherEntity
Typographical Features
OtherEntity