1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Benjamin Matschke
We study the proof scheme "proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in ques…