Skip to main content
Contribution to Book
Computer-Generated Proofs of Mathematical Theorems
Encyclopedia of Physical Science and Technology (2001)
  • David Bressoud, Macalester College
Disciplines
Publication Date
2001
Editor
R. Meyers
Publisher
Academic Press
Citation Information
David Bressoud. "Computer-Generated Proofs of Mathematical Theorems" BostonEncyclopedia of Physical Science and Technology (2001)
Available at: http://works.bepress.com/david_bressoud/15/