Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema (0)

by B Buchberger, A Craciun
Venue:Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003, Electronic Notes on Theoretical Computer Science, volume dedicated to the MKM 03 Symposium, Elsevier, ISBN 044451290X