Inductive theorem proving
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Inductive theorem proving
automated-reasoning
- Boyer-Moore inductionRecursion-guided induction schemesspecialistautomated-reasoning
- RipplingAnnotation-guided rewriting toward the goalspecialistautomated-reasoning