Slicing Books - The Author's Perspective
(with M. Armbruster, U. Furbach and G. Schwabe) In: R. Bromme, E. Stahl (eds.): Writing Hypertext and Learning, pergamon 2002, 125-51
Authoring sliced books
Robbins Algebras Are Boolean: A Revision of McCune‘s Computer-Generated Solution of Robbins Problem
J. Algebra 208 (1998), 526-532
Explicating the mathematical knowledge in the computer generated solution of a long open mathematical problem
Constant in Change
Scientists should every 10 years change their subject.