Me write a 3 paragraph summery! 90 points!
now, for this last step of the close reading exercise, you will write at least three paragraphs based on your research. this is where you will summarize your thoughts, in your own words, about the role that computers should have in solving mathematical proofs. be sure to include at least three excerpts or quotations from at least three different sources of information you used to form your conclusions.