Bruno Buchberger,
"Algorithm Invention and Verification by Lazy Thinking"
, in D. Petcu, V. Negru, D. Zaharie, T. Jebelean: Proceedings of SYNASC 2004 (Symbolic and Numeric Algorithms for Scientific Computing), Seite(n) 2 - 26, 2003, ISBN: 973-661-104-3
Original Titel:
Algorithm Invention and Verification by Lazy Thinking
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SYNASC 2004 (Symbolic and Numeric Algorithms for Scientific Computing)