|
|
|
|
Home / Computers / Computer Science / Theoretical
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- ACM SIGACT - ACM's special interest group for Theoretical Computer Science.
sigact.acm.org
- An Introduction to the Theory of Computation - An online text aimed at advanced undergraduate and graduate students. Chapters include Finite-Memory Programs, Recursive Finite-Domain Programs, General Programs, Resource Bounded Computation, Probabilistic Computation, and Parallel Computation.
www.cis.ohio-state.edu/~gurari/theory-bk/theory-bk.html
- Analysis Of Algorithms Home Page - An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.
pauillac.inria.fr/algo/AofA/index.html
- Aria Technology Group - Deals with the physics of non traditional computing methods.
www.ariatg.com
- Average-Case Complexity Forum - Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
www.uncg.edu/mat/acc-forum
- CAC-NET/FoCM-NET - Archives and membership information of an electronic forum for researchers in Continuous Algorithms and Complexity and in Foundations of Computational Mathematics.
www.cs.columbia.edu/cacnet
- Comp.Theory FAQ - Frequently Asked Questions on Theoretical Computer Science from the comp.theory newsgroup.
www.cs.unb.ca/~alopez-o/comp-faq/faq.html
- Computability and Complexity in Analysis Network - CCA Net aims to provide a central location for collecting information useful to researchers working in the field.
www.informatik.fernuni-hagen.de/import/cca
- Contributions of Theoretical Computer Science - A 1996 statement by the SIGACT Long Term Planning Committee on the importance of theoretical computer science to other fields.
sigact.csci.unt.edu/sigact/longrange/contributions.html
- Foundations of Computational Mathematics - A group which sponsors regular meetings on the relationships between mathematical analysis, topology, geometry and algebra and the computational process.
www.damtp.cam.ac.uk/user/na/FoCM
- Information-Based Complexity Home Page - Provides information on computational complexity problems in the presence of partial or contaminated information and links to researchers in this field.
www.cs.columbia.edu/~agw/ibc
- SIGACT News Theory Calendar - A calendar of upcoming theoretical computer science events and a list of recently released books in the field.
www.cs.vt.edu/~theoryc
- The Types Forum - Archives and subscription information for this moderated mailing list which focuses on semantical, categorical, operational, and proof theoretical topics relating to type theory.
www.cis.upenn.edu/~bcpierce/types
- Theoretical Computation on the Web - A directory of resources related to theoretical computer science from Stanford University.
robotics.stanford.edu/~suresh/theory/theory-home.html
- Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
www.cs.bu.edu/fac/lnd/toc
- Virtual Turing Machine 2 - Simulates a Turing machine. Users can write their own Turing machines and see their machines work.
www.nmt.edu/~prcm/turing
|
|
|
|
|