By Doron Zeilberger

.pdf .ps .tex

[Appeared in J. Difference Equations and Applications 11(2005), 851-856.]

Written: Oct. 27, 2004.

Pour Jacques Derrida ז צ " ל

Bruno Buchberger said that when we teach a new algorithm (or concept), there should be a "white box" phase, but once the students master it, it can safely be considered a black box. The same thing should be true when we teach ourselves, in other words do research. But, sometimes we should go back to the white box phase, and see whether we can tweak the algorithm (or concept, or whatever) and get renewed insight and

In other words, we need to follow Jacques Derrida, and
DECONSTRUCT the algorithm, and find new,
unintended meanings and applications.
Because the original intention of automatically *proving* DIFFERANCE Equations
contained the TRACE of the act of *discovering* nice ones!

Important: This article is accompanied by Maple packages FindHyperGeometric that explains "miracles" and finds new theorems (alias miracles), and the more specialized twoFone, that is targeted for finding strange 2F1 identities.

Doron Zeilberger's List of Papers