List of Theorems Proved With The Help of Computer Programs
Inclusion in this list does not imply that a formal computer-checked proof exists, but rather, that a computer program has been involved in some way. See the main articles for details.
- Four color theorem, 1976
- Mitchell Feigenbaum's universality conjecture in non-linear dynamics. Proven by O.E. Lanford using rigorous computer arithmetic, 1982.
- Connect Four, 1988 – a game
- Non-existence of a finite projective plane of order 10, 1989
- Robbins conjecture, 1996
- Kepler conjecture, 1998 – the problem of optimal sphere packing in a box. Not yet definitively proved.
- 17-point case of the Happy Ending problem, 2006
- NP-hardness of minimum-weight triangulation, 2008
Read more about this topic: Computer-assisted Proof
Famous quotes containing the words list of, list, proved, computer and/or programs:
“Love’s boat has been shattered against the life of everyday. You and I are quits, and it’s useless to draw up a list of mutual hurts, sorrows, and pains.”
—Vladimir Mayakovsky (1893–1930)
“Lastly, his tomb
Shall list and founder in the troughs of grass
And none shall speak his name.”
—Karl Shapiro (b. 1913)
“I respect guilt. It is a dangerous but sometimes useful beast. The guilt that made me want to solve all my children’s problems meant trouble. The guilt that made me question my role in our mother-daughter squabbles proved helpful. Yes, I care about my kids’ problems, and I long to make suggestions. But these days I wait for children to ask for help, and I give it sparingly. Some things can’t be fixed, and I tell them so.”
—Susan Ferraro (20th century)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“Whether in the field of health, education or welfare, I have put my emphasis on preventive rather than curative programs and tried to influence our elaborate, costly and ill- co-ordinated welfare organizations in that direction. Unfortunately the momentum of social work is still directed toward compensating the victims of our society for its injustices rather than eliminating those injustices.”
—Agnes E. Meyer (1887–1970)