Here are the input files. Except for (4.2) and (4.20) that succeeded on EKHAD, these are for the package SYND. Suppose you want to get a proof of identity (4.5). Download the file in45 below, save it as in45. Then, assuming that you have the package SYND in the same directory: type
maple -q [Shift Comma] in45 [Shift Period ]o45 [Shift 7]
Eventually file o45 will be ready. The input files below, except for in4.4 in which Certainty is set to 1, (giving a completely rigorous proof), are set to Certainty=0.1 . If you desire a completely rigorous proof, change the last argument of PROOF2 from 0.1 to 1.
If you desire a rigorous proof, but lack the computer resources, (or rather pay), you can order a rigorous proof for 300 US dollars per identity. Please make all checks payable to the `Temple University Foundation'. The proof would be named after you. Currently all identities are still available, except for (4.4) that was already done to demonstrate feasibility.
Here are the input files:
Input file for identity (4.2), (for EKHAD) save it as in42
. Input file for identity (4.3), save it as in43
. Input file for identity (4.4) [completely rigorous proof], save it as in44
. Input file for identity (4.5), save it as in45
. Input file for identity (4.6), save it as in46
. Input file for identity (4.7), save it as in47
. Input file for identity (4.8), save it as in48
. Input file for identity (4.9), save it as in49
. Input file for identity (4.10), save it as in410
. Input file for identity (4.11), save it as in411
. Input file for identity (4.12), save it as in412
. Input file for identity (4.13), save it as in413
. Input file for identity (4.14), save it as in414
. Input file for identity (4.15), save it as in415
. Input file for identity (4.16), save it as in416
. Input file for identity (4.17), save it as in417
. Input file for identity (4.18), save it as in418
. Input file for identity (4.19), save it as in419
. Input file for identity (4.20), save it as in420
. Input file for identity (4.21), save it as in421
.