Mathematics and Vampire