Michael Kinyon

Title:

I'm Not Sure If It Is Or Isn't, But Here Is
What I Have Done With It So Far

Abstract:

I have been using OTTER in quasigroup and loop
theory for the past few years, both alone and in
collaboration with others. In this talk I will
describe what I have done in the past month with
Prover9.