List of long mathematical proofs
This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable.
Source: Wikipedia — List of long mathematical proofs (CC BY-SA 4.0)
This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable.
Source: Wikipedia — List of long mathematical proofs (CC BY-SA 4.0)
This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable.
Source: Wikipedia "List of long mathematical proofs" · CC BY-SA 4.0
Share this article: X · Bluesky