Using Mathematica and Automated Theorem Provers to Access a Mathematical Library ?