Computer-Generated Proofs of Mathematical Theorems
Suggested Citation
David Bressoud. "Computer-Generated Proofs of Mathematical Theorems" Encyclopedia of Physical Science and Technology. Ed. R. Meyers. Boston: Academic Press, 2001.
The full text of this version of the article is not currently available here.
Bookmark