Some Applications of Prover9: Status Report
Bob Veroff

I've been using Prover9 for a number of different math applications,
including problems from loop theory, algebraic logic and algebraic
geometry.  I'll give a brief summary of some of this work, focusing
primarily on the automated deduction aspects.