|
Google Adwords
|
Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.
|
|
|
Firefox with Google Toolbar
|
Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.
|
|
|
Google Pack Software
|
Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.
|
|
|
|
Science > Math > Logic and Foundations > Foundations : Categories
Science > Math > Logic and Foundations > Foundations : Web Resources
Science > Math > Logic and Foundations > Foundations : Web-Sites
| 2. Arché
[ Report dead link ] |
| The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews. |
| http://www.st-and.ac.uk/academic/philosophy/arche/ |
| 3. FOM
[ Report dead link ] |
| A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. |
| http://www.cs.nyu.edu/mailman/listinfo/fom/ |
| 4. Foundations of Mathematics
[ Report dead link ] |
| This is a site for studying foundations of mathematics, or it can be used as a reference material. The site is structured as contents pages of a book on the subject of mathematics foundations. It comprises links to expository materials. |
| http://sakharov.net/foundation.html |
| 5. Hilbert II - Mathematical Foundation Project
[ Report dead link ] |
| The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. |
| http://www.qedeq.org/ |
| 6. Mizar Project
[ Report dead link ] |
| An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. |
| http://www.mizar.org/ |
| 7. Practical Foundations of Mathematics
[ Report dead link ] |
| Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science. |
| http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/ |
| 8. QED Project
[ Report dead link ] |
| Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge |
| http://www-unix.mcs.anl.gov/qed/ |
|
|
|
Science > Math > Logic and Foundations > Foundations : Web Resources
|
