Some science links
General Computer Science
- EATCS
- ACM SIGACT
- The WWW Virtual Library: Computing lots of useful pointers classified by field, institution, system, etc.
- TCS Virtual Address Book
- Dictionary of Algorithms, Data Structures, and Problems
- Theoretical Computer Science On The Web (seems to be not very active)
- Formal Methods server at Oxford and its Who's Who on the Web page (personalities in Formal Methods)
- A compendium of NP optimization problems
- Traveling Salesman Problem
- The (Combinatorial) Object Server
- A collection of Lecture Notes of algorithm courses by Kirk Pruhs
- Analysis of Algorithms page by Philippe Flajolet and Helmut Prodinger
- A collection of lecture notes, books, papers available on Internet, by Artur Czumaj and Miroslaw Kutylowski at Paderborn
- A russian computer science resource (with a list of people)
- Homepage of David Eppstein (contains some useful references on graph algorithms)
Bibliography
- SCIRUS: search engine for scientific information
- A Collection of Computer Science Bibliographies in BibTeX Format (very well done, lots of useful pointers)
- The DBLP Computer Science Bibliography from Trier University
- CiteSeer.IST
- Google scholar
- scirus : scientific search system from Elsevier
- Graph Theory by Reinhard Diestel
Math-related stuff
- Open problem garden
- MacTutor History of Mathematics archive (Biographies, Chronological map, Birthplace Map of famous mathematicians of all times. Well done!)
- Wolfram Mathworld
- The International Mathematical Union
- The Mathematics Preprint Server
- The Erdös Number Project
- Number Theory Web