Login  |  Register

1991 Internet Contest - Electrical Engineering & Computer Sciences ...

Internet Contest, 1991. 1. 1. Problem. A: Fermat vs. Pythagoras. Background. Computer generated and assisted proofs and verification occupy a small niche in ...