Rob has said, on these pages, that his systems were verified by three world class mathematicians. That's good enough for me.

Of course, it would be helpful if he occasionally named one or two.