Zeilberger has some nice examples of human error on his blog. He would love to see much more use of computer provers to clean up the errors made by human writer

Zeilberger has some nice examples of human error on his blog. He would love to see much more use of computer provers to clean up the errors made by human writers and readers.