Oh, yeah, I missed that Zeilberger used the phrase “from scratch,” so that explains why JH says “from literally nothing” (though I disagree), but why did you quote the rest of the passage? Do you think it suggests any other of JH’s claims?
I quoted the rest so that it was clear that the key phrase ‘from scratch all the statements’ was referring to a computational, implemented, software package for Euclidean / plane geometry in particular.
Oh, yeah, I missed that Zeilberger used the phrase “from scratch,” so that explains why JH says “from literally nothing” (though I disagree), but why did you quote the rest of the passage? Do you think it suggests any other of JH’s claims?
I quoted the rest so that it was clear that the key phrase ‘from scratch all the statements’ was referring to a computational, implemented, software package for Euclidean / plane geometry in particular.