Text this: Selected topics in geometry with classical vs. computer proving /