| Mersenne_Prime_Mailing_List Unmoderated list for communication between those interested in all aspects of Mersenne Primes. Sign-up and access to archives. |
| Mersenne_Wiki Information about the Great Internet Mersenne Prime Search, other distributed prime projects, and the related mathematics. |
| mersenneforum_org A forum about prime numbers and computerized searches for more of them. Includes discussions of software and hardware issues encountered by searchers. |
| The_Prime_Pages__Mersenne_Primes History, theorems, tables, conjectures, heuristics. |
| Will_Edgington\'s_Mersenne_Page Files with Mersenne factors. Includes proofs of theorems related to the search for Mersenne primes and factors. |
| Apollo_11_Flight_Plan The detailed flight plan of the Apollo 11 lunar landing. Includes speeches by President John F. Kennedy on the US space program. |
| Apollo_By_The_Numbers Offers a comprehensive collection of mission statistics. |
| Apollo_Expeditions_to_the_Moon E.M. Cortright edited a thorough history of the Apollo program. Discusses lunar probes, launchers, spacecraft, astronaut selection and training, and the lunar missions. Includes appendices and bibliog |
| Apollo_Explorer Profiles and press kits for all missions. Includes a large media gallery of videos, pictures, and wallpaper. |
| Apollo_Landing_Missions Overviews of the various Apollo missions, including landing sites, lunar surface operations, science experiments, samplings, and an extensive gallery of mission photography. |
| Apollo_Lunar_Surface_Journal This NASA archive offers brief overviews and detailed transcripts of the American lunar landings. Includes crew biographies as well as audio, image, and video galleries. |
| The_Apollo_Manned_Space_Program The National Air and Space Museum's online Apollo Program exhibit provides mission histories, mission patches, and imagery from the various orbital and lunar flights. |
| Apollo_Mode_Decision Examines the various mission profiles for placing astronauts on the moon and explains NASA's decision in favor of lunar orbit rendezvous. |
| The_Apollo_Program Resource provided by the Smithsonian National Air and Space Museum, containing a complete overview of the Apollo program, with material from NASA and many other sources. Includes overview of scientifi |
| Apollo_Saturn_Reference_Page Reference material for modelers of the Saturn V, Saturn Ib and the Apollo spacecraft. |
| The_Apollo_Spacecraft__A_Chronology Part of the NASA Historical Series. The chronology of the development of the Apollo spacecraft and the lunar mission. Provides specific documented information covering a wide range of events related t |
| Apollo_Training_Team Information on the instructor personnel who presented Apollo spacecraft systems briefings to Astronauts, Flight Controllers, and launch personnel. Includes summary of lunar missions, handouts, documen |
| Apollo-Soyuz_Test_Project Explains the goals and accomplishments of the first meeting in space of Soviet cosmonauts and American astronauts. Provides a mission summary, an image gallery, and links to a lengthy and official his |
| Contact_Light Project Apollo retrospective with pictures. |
| Moon_Hoax A skeptical inquiry of the various claims that the Apollo Moon landings were NASA-constructed hoaxes. |
| Project_Apollo Provides concise histories of the various Apollo space flights. Contains technical diagrams, imagery from the missions, and links to NASA technical and historical documentation related to Apollo. |
| Project_Apollo__A_Retrospective_Analysis This NASA study provides the historical background for the American decision to go to the moon. Discusses the objectives of the Apollo program and how this shaped the US manned space program during th |
| The_Project_Apollo_Archive Large selection of multimedia from the Apollo missions. |
| Space_Exploration_History__Apollo_13 Overview of the failed lunar landing attempt. |
| Tribute_to_the_Butler_Aerospace_Team_Simulation_of_Apollo_15_to_Hadley_Rille Pictures of the simulation at the Space and Rocket Center in Huntsville, Alabama dated July 1971. Includes astronauts, Command Module, Lunar Module, Rover, and EVA. |
| Aczel,_Peter University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. |
| Andrews,_Peter_B_ Carnegie Mellon University - Type theory, automated theorem proving. |
| Artemov,_Sergei City University of New York Graduate Center - Proof theory, logic of proofs. |
| Avigad,_Jeremy Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. |
| Awodey,_Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. |
| Baldwin,_John_T_ University of Illinois, Chicago - Model theory (finite and infinite). |
| Barendregt,_Henk Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. |
| Bartoszynski,_Tomek Boise State University - Set theory. |
| Beklemishev,_Lev Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. |
| Blass,_Andreas_R_ University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. |
| Bouscaren,_Elisabeth CNRS / University of Paris 7 - Model theory and algebraic geometry. |
| Buechler,_Steven University of Notre Dame - Model theory. |
| Burris,_Stanley University of Waterloo - Universal algebra, logic, computers. |
| Buss,_Samuel_R_ University of California, San Diego - Proof theory, computational complexity. |
| Carlstrom,_Jesper Stockholm University - Constructive type theory and related mathematics. |
News view more
News is temporarily unavailable.
Events view more
Events are temporarily unavailable.
Directories view more
Name: (e.g. olson, jon)
PeopleDepartments
A-Z Index
Type above to search for any department within the University of St. Thomas, or click any link to the right to go straight there. The list will automatically shorten as you type.
Graduate
Programs
Courses
Apply
Graduate Student Handbook
FAQs
For Alumni
For Industry
News
Study Abroad
Outreach Programs
Contact Us
The University of St Thomas is committed to developing complete engineers who have a sound Liberal Arts foundation combined with hands-on experience and strong technical skills. Liberal Arts & Engineering means that our graduates are primed to lead in our rapidly changing knowledge-based, global society.
We invite you to explore the many aspects and exciting programs offered by the School of Engineering.
Think about the top three things that you find most valuable in the school you would like to attend.
More...
i = i + 1;
Lesley Wyckoff
Mechanical Engineering '08
My advice for prospective students looking at colleges would be to find a place where you feel like you are at home.
More...
i = i + 1;
Dr. John Abraham
Mechanical Engineering
Recipient of the University of St Thomas 2008 Distinguished Educator Award
More...
i = i + 1;
Dan Wadell
Electrical Engineering
The UST School of Engineering rocks! The professors are great and the classes are interesting.
More...
i = i + 1;
Ryan Thompson
Electrical Engineering
UST is great because of the close contact you have with professors, and their constant willingness to help.
More...
i = i + 1;
Paul Roczniak
Mechanical Engineering
The UST engineering professors are amazing and very helpful. The labs are really accessible.
More...
i = i + 1;
i = i - 1;
rand = Math.round(Math.random() * i); // pick a random spotlight div.
rand = rand + 1; // recordnumber starts at 1, so add back 1.
var spotlightObj = document.getElementById("spotlight_" + rand);
if (spotlightObj != null) {
spotlightObj.style.display = "block";
}
© document.write(new Date().getFullYear()); University of St. Thomas · Minnesota
2115 Summit Avenue · Saint Paul, Minnesota 55105 · USA
1-651-962-5750 · technology@stthomas.edu
Alumni · Maps & Directions · Giving
EEO Statement · Directories
RSS Feeds
