Bruno Buchberger
-
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Interactive computer algebra software for teaching and helping students to study foundations of computer science
Journal of Computing Sciences in Colleges