Email Record: Selected topics in geometry with classical vs. computer proving /