Induction Proofs in Equational Logic: A Case Study Using Mathematica (0)

by B Buchberger
Venue:Internal Technical Report, The RISC Institute, A4232 Schloss Hagenberg