Pavel Pech

Selected topics in geometry with classical vs. computer proving