Algorithms Related Homepage

Research centers & institutes

• Theory at MIT

• Theory at Stanford

• Theory at Cornell

• Northwest University

• Cryptography at Microsoft

• IBM

• UMBC

Well-known researchers

• Dr. Alan Sherman

• Dr. Der-Tsai Lee

• Dr. Ronald L. Rivest

• Dr. Richard Chang

• Dr. Kostas Kalpakis

Algorithm related Courses

Stanford

MIT


UMBC

• Theorem prover
• A gateway to the Guide to Available Mathematical Software (GAMS). GAMS is an on-line cross-index of mathematical and statistical software in use at the National Institute of Standards and Technology (NIST).
• Stony Brook Algorithms Repository
• Info onLIPSOL, (Linear programming Interior-Point SOLvers), a package for Matlab.
• LiDIA: A library for computational number theory.
• Info on C source code for general dimension convex hull and Delaunay triangulation. Includes a techreport describing the Quickhull algorithm.
• LEDA library of efficient data types and algorithms README file by Stephan Naeher. (Slow, coming from Germany.)
• For information on tech reports describing an implementation of push-relabel algorithms for the maximum flow problem and code for minimum-cost flow from Stanford, press here.
• Numerical Analysis directory at USC (including a list of free numerical computation software)
• Nina Amenta's directory of computational geometry software
• LP, The Larch Prover.
• Grail, a symbolic computation environment for finite-state machines, regular expressions, and other formal language theory objects.
• Sample traveling salesman problems.
• Stripe: Software to convert a polygonal model to triangular strips. (Also includes pointers to papers on triangular strips.)
• LINK: A software environment for discrete mathematical computation and visualization with an emphasis on graphs and hypergraphs.
• A collection of software for optimization and other areas - here.
• The MathWorks, Inc (the MATLAB people) home page.

• Symbolic computation
• Maple Tutorial
• Axiom

• ACM Journal of Experimental Algorithmics.
• Electronic Colloquium on Computational Complexity. (This contains some general pointers as well.)
• The Electronic Journal of Combinatorics.
• The bibliography source for many of the journals listed here, and many others.
• Large theory bibliography from an even larger CS bibliography.
• The Hypertext Bibliography project including STOC and FOCS.
• Information and Computation, an international journal of theoretical Computer Science. There is also a bibliography available by ftp, 1982-present and 1957-1981 (when the journal was called Information and Control.)
• Journal of Graph Algorithms and Applications.
• Journal of Logic Programming: The bibliography is here.
• Theoretical Computer Science:  Bibliography is here.
• Chicago Journal of Theoretical Computer Science.
• SIGACT News homepage.
• AMAST (Algebraic Methodology And Software Technology) Links or Index.

CCA'98 (WWW page)


Fourth International Conference on Computer Science and Informatics heraton Imperial Hotel & Convention Center Research Triangle Park, NC, USA Oct 23-28. Deadline Jun 1.

DISC'98 (WWW page)


12th International Symposium on DIStributed Computing (DISC 98) (formerly WDAG) Andros, Greece Sep 24-26. Deadline Apr 17.

EuroCOLT'99 (WWW page)


4th European Conference on Computational Learning Theory University of Dortmund and Ruhr-University Bochum held at Nordkirchen Castle Mar 28-31. Deadline Sep 20.

FICS'98 (WWW page)


Fixed Points in Computer Science (A Satellite Workshop to MFCS'98 ) Brno, Czech Republic Aug 27-28. Deadline May 25.

FOCS'98 (WWW page)


1998 IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE Palo Alto, California, USA Nov 8-11. Deadline May 4.

FSTTCS'98 (WWW page)


Foundations of Software Technology and Theoretical Computer Science Chennai, India Dec 17-19. Deadline May 15.

GAM'98 (WWW page)


International Colloquium on Gambling in Mathematics J\'anos Bolyai Mathematical Society, Budapest (Hungary) Aug 30-5. Deadline Mar 31.

GD'98 (WWW page)


Graph Drawing '98 McGill University, Montreal, Canada Aug 13-15. Deadline May 1.

ICPDC (WWW page)


10th International Conference on Parallel and Distributed Computing and Systems Las Vegas, Nevada. USA Oct 28-31. Deadline Apr 15.

ISAAC'98 (WWW page)


Ninth Annual International Symposium on Algorithms and Computation Taejon, Korea Dec 14-16. Deadline May 24.

ItCTCS'98 (WWW page)


Sixth Italian Conference on Theoretical Computer Science Prato, Italy Nov 9-11. Deadline May 1.

PAPM'98 (WWW page)


Sixth International Workshop on PROCESS ALGEBRA AND PERFORMANCE MODELLING Sep 11-12. Deadline Apr 20.

PAREO'98 (WWW page)


First meeting of the EURO working group on Parallel Processing in Operations Research Versailles, France Jul 8-10. Deadline Mar 29.

PHYL'98


Estimating Large Scale Phylogenies: Biological, Statistical, and Algorithmic Problems Jun 26-28. Deadline Apr 15.

PSCW'98 (WWW page)


The Prague Stringology Club Workshop '98 Prague, Czech Republic Sep 3-4. Deadline Apr 1.

RANDOM'98 (WWW page)


Randomization and Approximation Techniques in Computer Science Barcelona, Spain Oct 8-10. Deadline Jun 23.

SETA'98 (WWW page)


INTERNATIONAL CONFERENCE ON SEQUENCES AND THEIR APPLICATIONS National University of Singapore Dec 14-17. Deadline Aug 10.

WAE'98 (WWW page)


2nd WORKSHOP ON ALGORITHM ENGINEERING Saarbruecken, Germany Aug 19-21. Deadline May 11.

WoALT'98 (WWW page)

ACM home page

IEEE home page

IEEE Computer Society home page

The AMS e-math home page.

RSA Data Security, Inc WWW Server and their RSA's Frequently Asked Questions About Today's Cryptography

Information and Computation (with abstracts)

Nordic Journal of Computing (with abstracts)

IEEE Symposium on Logic in Computer Science (with abstracts)

ACM Symposium on Theory of Computing

IEEE Symposium on Foundations of Computer Science

The Bulletin of Symbolic Logic

Designs, Codes and Cryptography

Information Processing Letters

Journal of Algorithms

Journal of Complexity

Journal of Computer and System Sciences

ACM SIGPLAN International Conference on Functional Programming

Mathematical Structures in Computer Science

Theory of Computing Systems (formerly Mathematical Systems Theory)

ACM SIGPLAN Conference on Programming Language Design and Implementation

Science of Computer Programming

Theoretical Computer Science