Stanford University

Description: Stanford University is one of the world's leading research and teaching institutions. It is located in Palo Alto, California.

Keywords: university, research, undergraduate research, graduate research, humanities, sciences, earth sciences, business, law, engineering, medicine, education, california, palo alto

Stanford.edu has 1,431 URLs listed in 1,077 Dmoz categories.

Database of Existing Mechanized Reasoning Systems
A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
http://www-formal.stanford.edu/clt/ARS/systems.html
Top/Science/Math/Logic_and_Foundations/Software

Logic Software from CSLI
By Jon Barwise and John Etchemendy.
http://www-csli.stanford.edu/hp/Logic-software.html
Top/Science/Math/Logic_and_Foundations/Software

Structure Theorists
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
http://boole.stanford.edu/pub/structdir
Top/Science/Math/Mathematicians/Directories

The Solving of Fermat's Last Theorem
Slides for a talk by Karl Rubin on the story of Fermat's Last Theorem for a general audience, including the history of the problem, the story of Andrew Wiles' solution and the excitement surrounding it, and some of the many ideas used in his proof.
http://math.stanford.edu/~rubin/lectures/fermatslides/
Top/Science/Math/Number_Theory/Diophantine_Equations/Fermat's_Last_Theorem

Elliptic Curves and Right Triangles
Slides (GIF) of lectures by Karl Rubin at Stanford University.
http://math.stanford.edu/~rubin/lectures/sumo/
Top/Science/Math/Number_Theory/Elliptic_Curves_and_Modular_Forms

10th Annual Workshop on Automorphic Forms and Related Topics
Stanford, CA, USA; 27--30 March 1996.
http://math.stanford.edu/~bump/workshop.html
Top/Science/Math/Number_Theory/Events/Past_Events

Multiple Dirichlet Series
Mount Washington Hotel, Bretton Woods, NH, USA; 11--14 July 2005.
http://sporadic.stanford.edu/bump/mds_workshop.html
Top/Science/Math/Number_Theory/Events/Past_Events

AIM/Stanford Number Theory Seminar
Schedule of talks in Palo Alto, CA, USA.
http://math.stanford.edu/numbertheorysem/NTS.html
Top/Science/Math/Number_Theory/Events/Series

Bump, Dan
Stanford University. Automorphic forms, representation theory, and number theory. Lecture notes, publications, and links.
http://math.stanford.edu/~bump/
Top/Science/Math/Number_Theory/People/B

Brubaker, Ben
Stanford University. Analytic number theory, automorphic forms. Publications.
http://math.stanford.edu/~brubaker/
Top/Science/Math/Number_Theory/People/B