This is the annual report for SCREMS. William Stein: Purchased and maintain the SCREMS cluster. Do research on elliptic curves and modular forms using the SCREMS hardware. Creating and sharing databases, and designing, implementing, testing, and distributing free open source software as part of Sage using this hardware. 2008-2009: * computed all newforms of weight 2 and gamma0 level up to 3200, of prime level up to 10000, and of various other weights and characters. * Created the http://sagenb.org that runs on this hardware and allows people to use the Sage software over the web. This supports computational work by many thousands of people. * computed several additional terms for the Sloane sequence A164783 * Computation of torsion subgroups of modular abelian varieties using new algorithm * Computation of modular degrees and congruence moduli for joint paper with Ribet and Agashe * Computation of database of Brandt modules * Tables of p-adic L-series and p-adic regulators needed to apply Iwasawa theory to verification of the Birch and Swinnerton-Dyer conjecture in specific cases. 2009-2010: * Computed newforms up to level 5500 and weight 2 * Greatly expanded the power of http://sagenb.org; now there are over 32,000 users. * Major finding: Carried out the first ever computational verification of Kolyvagin's conjecture (for several dozens curves) -- this was a major computational project requiring hundreds of hours of CPU time, done with help from Jennifer Balakrishnan. * Major finding: Jointly with Sheldon Kamienny and Michael Stoll, carried out a new computational classification of primes p such that there is an elliptic curve over a quartic field with a torsion point over order p. This extends Mazur's classical result over QQ to all quartic fields. * Did substantial work porting Sage to Microsoft Windows on the SCREMS hardware. * Publications: * Heegner Points on Rank Two Elliptic Curves, preprint, http://wstein.org/papers/kolyconj2/ * Toward a Generalization of the Gross-Zagier Conjecture, International Mathematics Research Notices 2010; doi: 10.1093/imrn/rnq075 Robert Miller: 2008-2010: * Computational verification of the BSD formula for 16725 curves/QQ of rank 0 and 1 of conductor up to 5000. * Publication: his Ph.D. thesis * Web resources: - a database of codes: http://rlmiller.org/de_codes/ - Large databases of Heegner indexes and other BSD data... (not online yet) Minh Nguyen: * Used the SCREMS hardware for developing and testing software for cryptography education. The code is now part of the Sage standard library. * Wrote an undergraduate honours thesis as listed at: http://www.sagemath.org/library-publications.html The thesis explicitly acknowledges my use of the Sage cluster in developing and testing the code described in the thesis itself. Jennifer Balakrishnan: 2008-2010: * Computational verification of Kolyvagin's conjecture for a rank 3 curve * Computation of p-adic L-series of Jacobians of hyperelliptic modular curves * Computation of p-adic regulators of curves using techniques based on Coleman integration * Everything going into my PhD thesis (2011) has been done on sage.math! - Single Coleman integrals from non-Weierstrass/Weierstrass points on hyperelliptic curves - Local p-adic heights for hyperelliptic curves via Coleman integration - double Coleman integrals on hyperelliptic curves - experiments with the Chabauty method * Major finding: fixed subtle error in Kim's nonabelian Chabauty method; computations led to appendix/erratum to his original JAMS article * Publications: * "Explicit Coleman integration for hyperelliptic curves," ANTS IX Proceedings, Springer LNCS 6197 (with Robert Bradshaw and Kiran Kedlaya); explicitly acknowledged NSF support * Appendix and erratum to "Massey products for elliptic curves of rank 1" by Minhyong Kim (with Kiran Kedlaya and Minhyong Kim), to appear in JAMS, acknowledged William Stein (but not NSF explicitly). Andrey Novoseltsev: 2009-2010: * Relations between mirror maps for local Calabi-Yau manifolds and their compactifications. This work (joint with Matthew Ballard, Adrian Clingher, Charles Doran, Jacob Lewis) is related to the Hodge Conjecture. * Geometric transitions leading to the missing class in Doran-Morgan classification of real variation of Hodge structure coming from one-parameter families of Calabi-Yau manifolds (joint work with Charles Doran and Jacob Lewis). * In addition, the base framework for toric varieties was developed and is now posted on Sage Trac with plans to merge it in the near future and considerably improve the functionality by the end of the summer. * Publications: Results of another one were posted on arXiv and accepted for publication in Contemporary Mathematics Proceedings of AMS during the last year: * "Closed form expressions for Hodge numbers of complete intersection Calabi-Yau threefolds in toric varieties," Charles F. Doran, Andrey Y. Novoseltsev, arXiv:0907.2701v1 [math.CO], NSF support acknowledged. David Kirkby: Technical support personnel. 2009-2010: * Fully ported Sage to Solaris. This was a major undertaking that indirectly resulted in the porting of a large amount of standard open source mathematics software and libraries to Solaris, which makes them available to a wider range of users. Birne Binegar: Running computations related to representation theory (the ATLAS project). 2008-2009: * Computed the Kazhdan-Lusztig-Vogan polynomials for all simple complex Lie algebras, with the exception of complex E8, viewed as real Lie algebras up to real rank 16. Computed the Kazhdan-Lusztig-Vogan polynomials for SL(10,C) (real rank 20). * Computed the W-graph structure for the set of irreducible admissible representations of regular integral infinititesimal character for the real forms of the simple real Lie groups up to rank 8. * Computed the Weyl group representations carried by the W-cells of irreducible admissible representations of regular infinitesimal character of the exceptional real Lie groups. * Computed the associated varieties of the annihilators of irreducible admissible representations of the exceptional real Lie groups. * Enumerated the set of irreducible admissible representations of regular integral infinitesimal character of the exceptional real groups and determined exactly when two irreducible admissible representations of regular infinitesimal character share the same primitive ideal. 2009-2010: * I've computed the Kazhdan-Lusztig-Vogan polynomials for real forms G_R of simple complex Lie groups up to rank 8. From this data I've also computed, for each real form G_R, I've computed - the W-graph structure of the set G_R^ of equivalence classes of irreducible admissible representations of G_R with regular integral infinitesimal character - the partitioning of G_R^ into cells of irreducible representations sharing the same associated variety - the partitioning of G_R^ cells into subcells of representations sharing the same infinitiesimal character - the cell representations of the Weyl group carried by the cells of G_R^ (via the coherent continuation action) * Websites: - www.math.okstate.edu/~binegar/research.html - http://lie.math.okstate.edu/UMRK/UMRK.html * Databases: * Constructed a PostgreSQL database UMRK (Unipotent Muffin Research Kitchen) which houses all sorts of computational data concerning simple Lie algebras, their subalgebras, their Weyl groups, and their real forms. This data is accessible online via simple web query forms (see the second link listed above). Chuck Doran: Running computations related to geometry, including Picard-Fuchs equations, families of curves and surfaces, tropical varieties, toric ideals, Fano compactifications, and K3 surfaces. Findings: * Computing Picard-Fuchs equations of families of curves and surfaces * Computing normal forms for anticanonical hypersurfaces in toric Fano varieties * Computing elliptic fibrations on toric K3 surfaces * Computing tropical varieties * Finding equations for elliptic space curves using invariant theory * Constructed list of toric Fano compactifications of several 3-dimensional orbifolds * Searched for 4-dimensional toric Fano varieties with special properties * Extensively tested and experimented with closed-form formulas for Hodge numbers of complete intersections in toric varieties * Found all torically induced elliptic fibrations of toric K3 surfaces Michael Rubinstein: Running computations related to computing zeros of L-functions. * Verify the Riemann Hypothesis for the first few hundred zeros for all L-functions associated to the 1/2 million elliptic curves in Cremona's database, and millions of zeros for the first few dozen elliptic curves. * Verify the moment conjecture for quadratic Dirichlet L-functions for |d| < 10^10 (I will eventually get to 10^11). To get up to X is an O(X^{3/2}) computation, so this would not have been possible without a modern and powerful multicore machine. * As a platform on which to develop and test code for computing with L-functions. Compiling goes really quick on mod.math and allows me to work more efficiently. Robert Bradshaw: 2009-2010: * The "trillion triangles" congruent number search that made good use of the hardware (made the popular press, and featured on the NSF website). * Computational verification of the Birch and Swinnerton-Dyer conjecture to 10,000 bits for a rank-2 curve. * Wrote a Ph.D. thesis on L-functions, using these machines. * Wrote paper on Coleman integration too: http://www.ants9.org/accepted.html . Randall Rathbun: 2009-2010: * Finding perfect parallelepipeds, and corresponding with Clifford Reiter on this. Dr. Richard K Guy is being kept informed about this project, which is a number theory question in section D18 of UPINT, Diophantine Equations. Reiter has published, but I will probably write a paper to Experimental Mathematics or some other internet journal. I don't think anyone else is working on this, and Clifford has acknowledged that the computer power has left him in the dust so he appreciates the searches. Marshall Hampton: 2009-2010: Working on proving finiteness of central configurations in the five-body problem in a certain generic sense. * Computing Groebner bases for a celestial mechanics problem. The amount of RAM on the SCREMS-purchased hardware is crucial for this; he doesn't have any other comparable resources I could do those on. Already these computations have given me a (computer-assisted) proof of the finiteness of central configurations in the five-body problem in a certain generic sense. Fredrik Johansson: Developing the mpmath library, which is an open source Python library for computing special functions (and much more), which is important for computing with L-functions and modular forms. This work was funded by my NSF FRG DMS-0757627. * During both Summer 2009 and Summer 2010, Fredrik developed the mpmath Python library. Much of the testing and computation took place on the computer cluster that was purchased with the current SCREMS grant: Fredrik writes "Using multiprocessing, the time for the new torture test suite (about which see blog) dropped from 11 minutes to 28 seconds (which could be even less by partitioning the tests into smaller pieces). This is very handy!" Fredrik's salary during this time is paid for by the PI's NSF FRG DMS-0757627. Fredrik Strömberg: Fredrik is the world's leading expert in large scale computations with Maass forms. He has done many computational projects using the SCREMS hardware, in connection with the PI's NSF FRG DMS-0757627. * Computation of vector-valued Poincare series for the Weil representation with application to convolution-type L-series for Siegel modular forms of genus 2 (joint with Nathan Ryan and Nils Skoruppa) * Have also computed more than 1500 examples of Maass waveforms (with eigenvalues and at least 1000 Fourier coefficients) for Gamma_0(N) with square-free N up to 119 and with >20 examples for all N except 51 and 77 (where I have 12 and 13 examples) * Major finding: Disproved a conjecture of Andrianov (for genus 2 and even weights between 20 and 30) by proving that the convolution-type L-series of two "interesting forms" (i.e. not in the Maass Spezialshar) is linearly independent from the Spinor L-functions (of all Siegel forms in of the same genus and weight). Sourav Sen Gupta: Graduate student helping with computational projects related to research of Stein. * Computed the congruence graphs associated to modular abelian varieties of level up to 500 and made a database. Jacob Lewis: Graduate student helping with computational projects related to the research of Doran. Georg Weber: Weber is a number theory Ph.D. who works at a bank in Germany, who does computations related to Stein's research project using the SCREMS hardware, and also contributes to the Sage project. * Computations of matrices of Hecke operators T_p for 'massive' primes p (p > 10^10), e.g. for level N=53, using an algorithm he developed. Tom Boothby: Systems administer of the SCREMS cluster, which involves physically organizing the hardware, maintaining the operating system, and managing users. Runs computations in support of Stein's research projects. Developing Sage software (e.g., release management). 2008-2009: * Computed analytic order of Shafarevich-Tate group of a rank 2 elliptic curve to 10,000 bits of precision. * Compiled tables of data about newforms of level up to 10,000. 2009-2010: * Computed modular symbols of weight 2 for conductor up to 5000, extending previous computation by thousands of conductors -- also, computed 10k Fourier coefficients for all modular forms of conductor up to 4800, with computation ongoing. * Extended table of Birch and Swinnerton-Dyer quantities for modular abelian varieties to conductor 300 (computation ongoing). * Computed discriminants of Hecke algebras of weight 2 modular forms for level up to 1000, and factored all but two particularly tough ones, extending previous table whose conductor bound was 389. * Computed component group of J0(N)(R) for N up to 1000, extending previous table by 500. * Implemented record-breaking algorithm to multiply matrices of characteristic 3 to be included in Sage project. * Implemented graph genus algorithm, greatly improving on previous implementation in Sage. Martin Albrecht: Cryptography graduate student in London who frequently collaborates with Stein on the Sage software, and makes extensive use of the SCREMS hardware. 2008-2009: * Experimentally verified the behaviour of algebraic-differential cryptanalysis against the block cipher PRESENT. * Broke the key predistribution scheme of Zhang et al. from MobiHoc 2007 for practical parameters 2009-2010: * Developed, tested and benchmarked fastest dense matrix decomposition over GF(2) * Developed and tested algorithm for solving polynomial systems with noise * Experimentally verified an attack against "Perturbation Based" crypto systems * Experimentally verified hybrid attack strategies against block ciphers * Papers: * Martin Albrecht and Clément Pernet. Efficient Decomposition of Dense Matrices over GF(2), accepted for presentation at ECrypt Workshop on Tools for Cryptanalysis 2010. available locally and on bitbucket. 2010. * Martin Albrecht and Carlos Cid. Cold Boot Key Recovery using Polynomial System Solving with Noise (extended abstract) accepted for presentation at 2nd International Conference on Symbolic Computation and Cryptography. 2010. * Martin Albrecht, Carlos Cid, Thomas Dullien, Jean-Charles Faugère and Ludovic Perret. Algebraic Precomputations in Differential Cryptanalysis accepted for presentation at ECrypt Workshop on Tools for Cryptanalysis 2010. 2010. * Martin Albrecht, Craig Gentry, Shai Halevi and Jonathan Katz. Attacking Cryptographic Schemes Based on "Perturbation Polynomials" in Proceedings of the 16th ACM Conference on Computer and Communications Security. pre-print available at http://eprint.iacr.org/2009/098. 2009. * Martin Albrecht, Algorithmic Algebraic Techniques and their Application to Block Cipher Cryptanalysis, PhD thesis, submission date: July 2010 * Web sites: * http://m4ri.sagemath.org and * http://www.bitbucket.org/malb/algebraic_attacks * Software: * The M4RI library and http://www.bitbucket.org/malb/algebraic_attacks Gonzalo Tornaria: Mathematics researcher who has computed state-of-the-art data about specific modular forms using cutting edge techniques that push the SCREMS hardware to its limits. He also attends many of the workshops related to this grant. 2008-2009: * computed the 12 series for the weight 3/2 lift of 36A each to 10^10 places * computed the congruent numbers up to 2e10, assuming BSD (this has since been recently been pushed to 10^12). Dan Drake: Mathematics researcher doing combinatorics who frequently contributes to the Sage project. * counted binary matrices that square to zero to correct a mistake in the Online Encyclopedia of Integer Sequences, sequence A001147 Mark Watkins: Postdoc who is working on computations involving computing large numbers of coefficients of modular forms in support of the number theory research projects. * Has done numerous computations using the SCREMS hardware that took advantage of the huge RAM available on these computers. E.g., work on the congruent number problem, tables of L-functions and data about elliptic curves, etc. Craig Citro Postdoc working on computations involving databases of modular forms. Ondrej Certik Graduate student developing software and testing code for the FEMhub open source finite element method library (http://femhub.org/). ----- ACTIVITIES: The goal of this project is to collect data about L-functions and modular forms, compute new data about objects at the crossroads of geometry and mathematical physics, compute data about representations of Lie groups, and support the Sage mathematical software project. All involved groups have carried out numerous substantial computations on the SCREMS hardware, the Sage software project has undergone massive growth and testing using this hardware, and public web pages, databases, wikis, and interactive online computations. FINDINGS: We have obtained large new databases of modular forms, verified predictions of the Generalized Riemann Hypothesis in many new cases, computed new invariants of Lie groups, and developed and tested state of the art algorithms in number theory and cryptography. Below we give a long (but non-comprehensive) list of specific findings in different areas. This SCREMS grant resulted in the purchase of a lot of powerful computers, with about 180 users, many who are computing things that aren't all reported. [Here I copied all the findings bullet points from above for people.] Training and Development: Because the SCREMS-purchased computers are very high end, with 24-processing cores each, several people who have worked on the project have become much more adept at parallel computing. Also, general software engineering skills have been enhanced for dozens of mathematicians, by working on the Sage math software system. Also, the free open source software that we are developing on this hardware is being used by thousands of mathematicians to help with their research (we have about 5000 downloads of Sage per month). Outreach: The Sage project -- which is developed and hosted on this SCREMS hardware -- does creative community outreach. For example, Stein has given internal talks to Sun Microsystems and Boeing about the Sage project, and recently ran many workshops on the use of Sage that used the SCREMS hardware during the workshop -- e.g., one was in in Barcelona, Spain and another was at a regional MAA meeting in Washington State. The public Sage notebook server (http://sagenb.org) is available to anybody in the world to use, and provides the full power of Sage. This SCREMS hardware is critically important to making that server available. Contributions within Discipline – What? Using the SCREMS-funded hardware, we have computed data in number theory, geometry, and representation that will provide a basis for much future research. We have also developed much new software in these research areas that will be used by researchers. Contributions to Other Disciplines The Sage software, which we develop and share using the SCREMS-funded hardware, is a contribution to all areas of mathematics. Much of the data we've computed about zeros of L-functions is of potential relevance in physics (e.g., quantum dynamics), as is the data about representations of Lie groups. Contributions to Human Resource Development Students who have contributed to the Sage project or worked on the research computations that have been done on this hardware, have often learned advanced software engineering techniques. Since so many people contribute to the Sage project (at this point, over 200, mostly grad students), we are in fact training a whole generation of mathematicians to be significantly more sophisticated at mathematical software engineering. Contributions to Resources for Research and Education The databases and wiki's that come out of this project are freely available resources for students and researchers around the world. ============================================== ============================================== Exactly what actually got submitted: Project Reporting ANNUAL REPORT FOR AWARD # 0821725 U of Washington SCREMS: The Computational Frontiers of Number Theory, Representation Theory, and Mathematical Physics Participant Individuals: CoPrincipal Investigator(s) : Birne T Binegar; Charles F Doran; Michael Rubinstein Graduate student(s) : Fredrik Johansson Other -- specify(s) : Georg S Weber Graduate student(s) : Sourav Sen Gupta; Jacob Lewis Senior personnel(s) : Marshall Hampton Graduate student(s) : Tom Boothby; Martin Albrecht Senior personnel(s) : Gonzalo Tornaria; Dan Drake; Mark Watkins Post-doc(s) : Craig Citro Partner Organizations: Other collaborators: There are dozens of people -- too numerous to list -- who make use of the SCREMS hardware in various ways who were not listed above, and some contribute directly to the SCREMS proposed project goals. Activities and findings: Research and Education Activities: The goal of this project is to collect data about L-functions and modular forms, compute new data about objects at the crossroads of geometry and mathematical physics, compute data about representations of Lie groups, and support the Sage mathematical software project. All involved groups have carried out numerous substantial computations on the SCREMS hardware, the Sage software project has undergone massive growth and testing using this hardware, and public web pages, databases, wikis, and interactive online computations. Findings: We have obtained large new databases of modular forms, verified predictions of the Generalized Riemann Hypothesis in many new cases, computed new invariants of Lie groups, and developed and tested state of the art algorithms in number theory and cryptography. Below we give a long (but non-comprehensive) list of specific findings in different areas. This SCREMS grant resulted in the purchase of a lot of powerful computers, with about 180 users, many who are computing things that aren't all reported. STEIN: * computed all newforms of weight 2 and gamma0 level up to 3200, of prime level up to 10000, and of various other weights and characters. * Created the http://sagenb.org that runs on this hardware and allows people to use the Sage software over the web. This supports computational work by many thousands of people. * computed several additional terms for the Sloane sequence A164783 * Computation of torsion subgroups of modular abelian varieties using new algorithm * Computation of modular degrees and congruence moduli for joint paper with Ribet and Agashe * Computation of database of Brandt modules * Tables of p-adic L-series and p-adic regulators needed to apply Iwasawa theory to verification of the Birch and Swinnerton-Dyer conjecture in specific cases. BINEGAR: * Computed the Kazhdan-Lusztig-Vogan polynomials for all simple complex Lie algebras, with the exception of complex E8, viewed as real Lie algebras up to real rank 16. Computed the Kazhdan-Lusztig-Vogan polynomials for SL(10,C) (real rank 20). * Computed the W-graph structure for the set of irreducible admissible representations of regular integral infinititesimal character for the real forms of the simple real Lie groups up to rank 8. * Computed the Weyl group representations carried by the W-cells of irreducible admissible representations of regular infinitesimal character of the exceptional real Lie groups. * Computed the associated varieties of the annihilators of irreducible admissible representations of the exceptional real Lie groups. * Enumerated the set of irreducible admissible representations of regular integral infinitesimal character of the exceptional real groups and determined exactly when two irreducible admissible representations of regular infinitesimal character share the same primitive ideal. DORAN/LEWIS: * Computing Picard-Fuchs equations of families of curves and surfaces * Computing normal forms for anticanonical hypersurfaces in toric Fano varieties * Computing elliptic fibrations on toric K3 surfaces * Computing tropical varieties * Finding equations for elliptic space curves using invariant theory * Constructed list of toric Fano compactifications of several 3-dimensional orbifolds * Searched for 4-dimensional toric Fano varieties with special properties * Extensively tested and experimented with closed-form formulas for Hodge numbers of complete intersections in toric varieties * Found all torically induced elliptic fibrations of toric K3 surfaces RUBINSTEIN: * Verify the Riemann Hypothesis for the first few hundred zeros for all L-functions associated to the 1/2 million elliptic curves in Cremona's database, and millions of zeros for the first few dozen elliptic curves. * Verify the moment conjecture for quadratic Dirichlet L-functions for |d| < 10^10 (I will eventually get to 10^11). To get up to X is an O(X^{3/2}) computation, so this would not have been possible without a modern and powerful multicore machine. * As a platform on which to develop and test code for computing with L-functions. Compiling goes really quick on mod.math and allows me to work more efficiently. HAMPTON: * Computing Groebner bases for a celestial mechanics problem. The amount of RAM on the SCREMS-purchased hardware is crucial for this; he doesn't have any other comparable resources I could do those on. Already these computations have given me a (computer-assisted) proof of the finiteness of central configurations in the five-body problem in a certain generic sense. JOHANSSON: * During Summer 2009, Fredrik developed the mpmath Python library. Much of the testing and computation took place on the computer cluster that was purchased with the current SCREMS grant: Fredrik writes 'Using multiprocessing, the time for the new torture test suite (about which see blog) dropped from 11 minutes to 28 seconds (which could be even less by partitioning the tests into smaller pieces). This is very handy!' GUPTA: * Computed the congruence graphs associated to modular abelian varieties of level up to 500 and made a database. WEBER: * Computations of matrices of Hecke operators T_p for 'massive' primes p (p > 10^10), e.g. for level N=53, using an algorithm he developed. BOOTHBY: * Computed analytic order of Shafarevich-Tate group of a rank 2 elliptic curve to 10,000 bits of precision. * Compiled tables of data about newforms of level up to 10,000. ALBRECHT: * Experimentally verified the behaviour of algebraic-differential cryptanalysis against the block cipher PRESENT. * Broke the key predistribution scheme of Zhang et al. from MobiHoc 2007 for practical parameters TORNARIA/HARVEY/BRADSHAW/WATKINS/HART: * computed the 12 series for the weight 3/2 lift of 36A each to 10^10 places * computed the congruent numbers up to 10^12, assuming BSD (this is an major accomplishment that will likely lead to substantial publicity). DRAKE: * counted binary matrices that square to zero to correct a mistake in the Online Encyclopedia of Integer Sequences, sequence A001147 Training and Development: Because the SCREMS-purchased computers are very high end, with 24-processing cores each, several people who have worked on the project have become much more adept at parallel computing. Also, general software engineering skills have been enhanced for dozens of mathematicians, by working on the Sage math software system. Also, the free open source software that we are developing on this hardware is being used by thousands of mathematicians to help with their research (we have about 5000 downloads of Sage per month). Outreach Activities: The Sage project -- which is developed and hosted on this SCREMS hardware -- does creative community outreach. For example, Stein has given internal talks to Sun Microsystems and Boeing about the Sage project, and recently ran many workshops on the use of Sage that used the SCREMS hardware during the workshop -- e.g., one was in in Barcelona, Spain and another was at a regional MAA meeting in Washington State. The public Sage notebook server (http://sagenb.org) is available to anybody in the world to use, and provides the full power of Sage. This SCREMS hardware is critically important to making that server available. Journal Publications: Book(s) of other one-time publications(s): Other Specific Products: The hardware is valuable for hosting Cython, MPIR, M4RI, etc. as well as all the Sage stuff. Contributions: Contributions within Discipline: Using the SCREMS-funded hardware, we have computed data in number theory, geometry, and representation that will provide a basis for much future research. We have also developed much new software in these research areas that will be used by researchers. Contributions to Other Disciplines: The Sage software, which we develop and share using the SCREMS-funded hardware, is a contribution to all areas of mathematics. Much of the data we've computed about zeros of L-functions is of potential relevance in physics (e.g., quantum dynamics), as is the data about representations of Lie groups. Contributions to Education and Human Resources: Students who have contributed to the Sage project or worked on the research computations that have been done on this hardware, have often learned advanced software engineering techniques. Since so many people contribute to the Sage project (at this point, over 200, mostly grad students), we are in fact training a whole generation of mathematicians to be significantly more sophisticated at mathematical software engineering. Contributions to Resources for Science and Technology: The databases and wiki's that come out of this project are freely available resources for students and researchers around the world. *** 2009 - 2010 ***