Pavel Pech

• Selected topics in geometry with classical vs. computer proving