{"id":205,"date":"2018-09-28T10:02:19","date_gmt":"2018-09-28T14:02:19","guid":{"rendered":"http:\/\/sites.lsa.umich.edu\/math-graduates-new\/?page_id=205"},"modified":"2023-12-02T01:54:22","modified_gmt":"2023-12-02T06:54:22","slug":"words-of-wisdom-from-professors","status":"publish","type":"page","link":"https:\/\/sites.lsa.umich.edu\/math-graduates\/best-practices-advice\/computing\/words-of-wisdom-from-professors\/","title":{"rendered":"Words of Wisdom from Professors…"},"content":{"rendered":"\n

                                                           …on the Importance of Computing for Mathematicians<\/a><\/strong><\/p>\n\n\n\n

\u201cComputo, ergo sum—\u201d Jeffrey Lagarias<\/i><\/p>\n\n\n\n

David Speyer:<\/strong> \u201cThree of my students solved major parts of their thesis problems after I insisted they create code capable of checking the first nontrivial examples of their claims.\u201d<\/p>\n\n\n\n

John Stembridge:<\/strong> \u201cI think the most valuable thing that computation can provide for a pure mathematician is the confidence that can come from seeing how special cases play out. If you are confident that what you are trying to prove is true, that can make all the difference.\u201d<\/p>\n\n\n\n

Sarah Koch:<\/strong> \u201cI am constantly generating data and drawing pictures with various computer programs to better understand the spaces I encounter in my research. The programs I use range from Maple and Mathematica, to dynamical systems software. Many of my new ideas and questions are inspired by fascinating geometric phenomena that I discover in these computer pictures.\u201d<\/p>\n\n\n\n

Michael Zieve:<\/strong> “I use Magma <\/b>every day in doing my research, both for doing experiments to see what might be true and then sometimes for producing computer-aided proofs of various results.  To first approximation, Magma has all known algorithms for algebra, number theory, algebraic geometry, linear algebra and combinatorics already built into it, so that if someone somewhere in the world has figured out how to compute something, then you too can compute it easily using Magma.  For instance, you can easily compute the irreducible characters of the automorphism group of a curve, etc.\u201d<\/p>\n\n\n\n

Jeff Lagarias:<\/strong> \u201cIf you can compute, you can do mathematical experiments for yourself, gather data, formulate hypotheses, and test them, and  make discoveries. Each skill you have widens the possible opportunities you can seize. The sooner you learn it, the sooner you can use it.\u201d<\/p>\n\n\n\n

\u201cMy advisor Harold Stark succeeded in part because he could compute. For starters, his PhD thesis.  Later he formulated conjectures, which made startling predictions, only confirmed by computer experiments, which caught people’s attention. Some of these examples, verified computationally  to hundreds of decimal places, are still not proved 40 years later.”<\/p>\n\n\n\n

Kartik Prasanna:<\/strong> \u201cIn certain areas of number theory, computing can be extremely valuable. I work on special values of L-functions and performing computations can provide incredible insights. Many of the major conjectures in the subject (eg. the Birch and Swinnerton-Dyer conjecture) were suggested by computer calculations. Moreover, I find that trying to implement something on a computer is a good way to check if you really understand it … since the slightest error in understanding will typically cause your computer program to output garbage. And it can be fun to play to around with explicit numerical examples! Not just do they solidify your understanding, but they make things concrete and remind you that in the end, deep theorems in number theory are often reflected in rather simple, concrete statements about numbers. I highly recommend that all my students be familiar and comfortable with SAGE and MAGMA. \u201d<\/p>\n\n\n\n

Victoria Booth:<\/strong> \u201cI use Matlab all the time in my research.\u201d<\/p>\n\n\n\n

Wei Ho:<\/strong> \u201cThe Birch and Swinnerton-Dyer Conjecture originally arose from computations about elliptic curves!\u201d<\/p>\n\n\n\n

Jenny Wilson:<\/strong> “In an ongoing project, one of my co-authors used MAGMA and the lrs Vertex Enumeration\/Convex Hull package to perform computations in H^2 (GL_2(O)) for certain rings O.”<\/p>\n\n\n\n

Alex Wright:<\/strong> \u201cAt least in my case, if I know a graduate student can program,  this opens up new avenues,<\/p>\n\n\n\n

possibly allowing them to work [with me] on a more original thesis problem.\u201d<\/p>\n\n\n\n

\u201cThe best example I know of amazing use of computing in math research is in this paper <\/a>of Kontsevich and Zorich, quote: We started from computer experiments with simple one-dimensional ergodic dynamical systems called interval exchange transformations. Correlators in these systems decay as a power of time. In the simplest non-trivial case the exponent is equal to 1\/3. We found a formula connecting characteristic exponents with explicit integrals over moduli spaces of algebraic curves with additional structures. Moreover, these integrals can be interpreted as correlators in a topological string theory. Also a new analogy arose between ergodic theory and complex algebraic geometry.<\/i>“<\/p>\n\n\n\n

Ralf Spatzier:<\/strong> \u201cWithout a doubt, computers have revolutionized pure mathematics as they allow us to study complicated examples in ways that escape mere mortals.  This allowed us to see phenomena and formulate conjectures beyond any previous dreams. Acquiring at least rudimentary skills in some advanced programming language will allow mathematicians to engage in such experiments.\u201d<\/p>\n\n\n\n

Wei Ho:<\/strong> \u201cIn my field, it\u2019s very useful to be able to code. Magma and sage (open source) are the main tools. I have a joint paper that’s 100% computational (creating a giant database and computing invariants for the entries).<\/p>\n\n\n\n

There is a conference every two years called the “Algorithmic Number Theory Symposium (ANTS)” — almost all of the talks \/ papers accepted are based on computations.<\/p>\n\n\n\n

One of the large Simons collaboration grants<\/a> right now is in “Arithmetic geometry, number theory, and computation.” And they have hired postdocs who code instead of teach!\u201d<\/p>\n\n\n\n

Jeff Lagarias:<\/strong>  \u201cThe computer is a more dependable assistant than any human.\u201d<\/p>\n\n\n\n

Harm Derksen:<\/strong> \u201cI have used programming in research and so have many of the graduate students I have worked with. Languages that we have used for math include maple, matlab, magma, gap, python, C++, Macaulay2. We have used them for computations, testing conjectures and applications.\u201d<\/p>\n\n\n\n

Alexander Barvinok:<\/strong> \u201cNumbers do not lie.\u201d<\/p>\n","protected":false},"excerpt":{"rendered":"

                                                           …on the Importance of Computing for Mathematicians \u201cComputo, ergo sum—\u201d Jeffrey Lagarias David Speyer: \u201cThree of my students solved major parts of their thesis problems after… Continue reading Words of Wisdom from Professors…<\/span><\/a><\/p>\n","protected":false},"author":44,"featured_media":0,"parent":141,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-205","page","type-page","status-publish","hentry","entry"],"post_mailing_queue_ids":[],"_links":{"self":[{"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/pages\/205","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/users\/44"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/comments?post=205"}],"version-history":[{"count":8,"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/pages\/205\/revisions"}],"predecessor-version":[{"id":3769,"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/pages\/205\/revisions\/3769"}],"up":[{"embeddable":true,"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/pages\/141"}],"wp:attachment":[{"href":"https:\/\/sites.lsa.umich.edu\/math-graduates\/wp-json\/wp\/v2\/media?parent=205"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}