 01 Programming Benchmarks with Hidden Optimum Solutions  Ke Xu
Benchmarks with different problem sizes are provided, all of which are planted with hidden optimum solutions. It is expected, based on the study of phase transitions in NPcomplete problems, that the difficulty of solving these benchmarks will grow very
...more>>
 2001 International Conference on Computational Science (ICCS 2001)
May 2830, 2001, San Francisco, U.S.: a conference concentrating on computational science in parallel and distributed environments, encompassing facilitating theoretical foundations and the applications of largescale computations and offering the opportunity
...more>>
 Abstract State Machines  Jim Huggins
The Abstract State Machine (ASM) Project (formerly known as the Evolving Algebras Project) was started by Yuri Gurevich as an attempt to bridge the gap between formal models of computation and practical specification methods. The ASM thesis is that any
...more>>
 Academic OR/MS Courses on the Web  Armann Ingolfsson
Links to Web pages of courses in Operations Research/Management Science and related fields offered at universities or colleges all over the world. Also short courses and tutorials on OR/MSrelated topics. By Armann Ingolfsson for the INFORMS Forum on
...more>>
 Activity Group on Discrete Mathematics  Society for Industrial and Applied Mathematics (SIAM)
The SIAG on Discrete Mathematics focuses on combinatorics, graph theory, cryptography, discrete optimization, mathematical programming, coding theory, information theory, game theory, and theoretical computer science, including algorithms, complexity,
...more>>
 The Ada Project (TAP)  Carol Frieze and Women@SCS; Carnegie Mellon University
Tapping Internet Resources for Women in Computer Science, this site serves as a clearinghouse for information and resources relating to women in computing: conferences, projects, discussion groups and organizations, fellowships and grants, notable women
...more>>
 Ainsworth Computer Seminar  Dick Ainsworth
Sample programs, flowcharts, and hypertext illustrating how software works. Select the desired level, from a quick overview of software to a detailed look at how these programs are developed. A special section for programmers and other curious people
...more>>
 The Air Force Collaboratory  U.S. Air Force
The Collaboratory poses military challenges for students to tackle with a community of peers — and alongside real Airmen. Experience science, technology, engineering and mathematics (STEM) in action with projects such as "Search and Rescue 2.0,"
...more>>
 Alex Vinokur's Home Page  Alex Vinokur
Links to resources of interest to computer scientists: Huffman Coding (an nary Huffman Template Algorithm, Arbitrary Huffman trees), Fibonacci numbers (computing very large Fibonacci numbers, computing Fibonacci numbers on a Turing Machine, the connection
...more>>
 Amara's Wavelet Page  Amara Graps
Read a brief overview of wavelets, or listen to sounds compressed using wavelets. Page also includes an extensive list of wavelet resources.
...more>>
 The Analytical Engine  John Walker
The mathematician Charles Babbage designed an Analytical Engine, a mechanical precursor to the computer, in the late 1800s. Read historical documents related to the Engine, including Blaise Pascal's account of his mechanical adding machine (in French),
...more>>
 Andrew Odlyzko
Home page of the Head of the Mathematics and Cryptography Research Department at AT&T Labs. The site contains a comprehensive list of his papers, most of which may be downloaded in LaTex, PDF, or PostScript form if they are not available as plain
...more>>
 AP Computer Science  College Board Online
General information about exams and courses (A and AB), links to archives of freeresponse questions in C++, the AP CS mailing list, development committee access, related websites, and an online store for College Board books. Maintained by the College
...more>>
 Applied Wavelet Analysis Courses  Gerald Kaiser
The Virginia Center for Signals and Waves, founded by mathematical physicist Gerald Kaiser, is dedicated to a physicsbased approach to signal analysis and processing. Information about Kaiser's book A Friendly Guide to Wavelets, his curriculum vitae,
...more>>
 AP Test Prep Books
Find an AP prep book for multiple subjects, including AP Calculus, Computer Science, Economics, Physics, and Statistics.
...more>>
 Arbeitsgruppe Bachem/Schrader  University of Köln
A working group of the Center for Parallel Computing (ZPR) at Köln. Site includes a list of members and contact address; informative writeups on its projects, some in English. Topics include: Basic Research (meaning "pure" as opposed to "applied");
...more>>
 arXiv.org ePrint archive  Los Alamos National Laboratory (LANL)
A major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex Variables, Logic Eprints, Commutative Algebra, Dynamical Systems,
...more>>
 Association for Computing Machinery (ACM)
The world's oldest and largest educational and scientific computing society. Since 1947 ACM has provided a vital forum for the exchange of information, ideas, and discoveries. Today, ACM serves a membership of more than 80,000 computing professionals
...more>>
 Association for Women in Computing
The Association for Women in Computing (AWC) is a notforprofit, professional organization for individuals with an interest in information technology. AWC is dedicated to the advancement of women in the computing fields, in business, industry, science,
...more>>
 Athena Scientific
A small publishing company that specializes primarily in textbooks written by professors at the Massachusetts Institute of Technology and used in their courses. Publications: three textbooks currently used in first year graduate courses at the Department
...more>>
 Automated Deduction  William McCune
Research on applications of automated deduction to problems in abstract algebra and algebraic geometry, algorithms and strategies for searching for proofs and for counterexamples, highperformance implementation of automated deduction algorithms, and
...more>>
 Automated Scheduling and Planning Group (ASAP)  Dept. of Computer Science, Univ. of Nottingham, U.K.
The main aim of the group is to conduct research into models, heuristics and algorithms for automatically producing high quality solutions to a variety of
real world scheduling and optimisation problems, including timetabling, production and maintenance
...more>>
 Barry G. Adams
Barry Adams is a professor of mathematics and computer science at Laurentian University in Ontario, Canada. His website includes many Java applets, including elementary numerical methods (i.e. Newton's Method), various examples of chaotic attractors,
...more>>
 Base Considerations  Keith Devlin (Devlin's Angle)
A discussion of base systems, including negative bases, used in computers. "We are so used to computers nowadays that it seems obvious that computer arithmetic should be performed in a binary fashion. After all, this is the most natural form for a computer,
...more>>
 BHOSLIB: Benchmarks with Hidden Optimum Solutions for Graph Problems  Ke Xu
Benchmark graphs for testing several NPhard graph algorithms: maximum clique, maximum independent set, minimum vertex cover and vertex coloring. All instances are expressed in DIMACS format and are planted with hidden optimum solutions.
...more>>
 The Big_Number Page  Jerome Delcourt
Libraries written in the Ada programming language for computing large numbers (mainly large integers) greater than the predefined numerical types.
...more>>
 BigInteger Arithmetic in BASIC  Sjoerd J. Schaper
A small but complete, free, open source, large integer/big number library in Basic code. Developed under QuickBasic for speed, but just as easily used with Visual
Basic for Win. Some QB number theory sample modules are added, as well as a VBwin cryptographic
...more>>
 A biographical sketch of Ada Byron, Lady Lovelace  Dr. Betty Toole
A brief biography and book reference of Ada Byron, Lady Lovelace, one of the most picturesque characters in computer history, who suggested to Babbage a plan that is now regarded as the first "computer program." Also Ada Lovelace's Notes on her translation
...more>>
 Biomathematics  Department of Mathematics, Marquette University
Biological modeling refers to the development and analysis of mathematical equations that model biological phenomena. Accurate modeling depends on the interdisciplinary collaboration of mathematicians, biologists, and often other scientists as well; faculty
...more>>
 Bisection Method Tutorial  Joseph L. Zachary
A tutorial that explores the bisection method for finding the roots of equations. Includes a Java applet that opens in a separate window, for use alongside the tutorial. From a Computer Science course at the University of Utah, and the book Introduction
...more>>
 Boost Your Skills With ATI Courses!  Applied Technology Institute (ATI)
A center for technical training in the form of short courses and distance learning
in space, communications, defense, sonar, radar, and signal processing.
...more>>
 Calendrical Calculations  Nachum Dershowitz and Edward M. Reingold
A book about the algorithms used to calculate different calendars (Gregorian, Julian, Mayan, Hebrew, Persian, and more.) The preface, table of contents, index, and a sample chapter are available in PDF and PostScript formats. Other book resources include
...more>>
 Carl Offner's Home Page  University of Massachusetts, Boston
Expository papers by Offner on mathematics and computer science (levels: advanced undergraduate to 1styear graduate student): Repetitions of Words and the ThueMorse Sequence; Finite Fields and PseudoRandom Number Generation; Some Early Analytic Number
...more>>
 C/C++ Café: Scientific Computing with C/C++
The site provides an open forum for discussion to assist programmers of scientific applications in analyzing and improving the performance of their code.
...more>>
 CelLab  Rudy Rucker and John Walker
Programs to explore cellular automata, for Windows or MSDOS, which allow you to view preset patterns, or create your own rules using Java, C, Basic, or Pascal. Download a copy or subscribe to a mailing list. The substantial User's Manual includes bibliographies
...more>>
 Center for Computational Mathematics (CCM)  Dept. of Mathematics, Univ. of Colorado at Denver
A broadbased response to rapid and dramatic changes in the various fields of computation, the Center is intended to be a highly interdisciplinary organization with associates in other departments at CUDenver, on other campuses of the Rocky Mountain
...more>>
 Center for Nonlinear Studies (CNLS)  H. Frauenfelder; Los Alamos National Lab, Los Alamos, NM
The CNLS coordinates a broad range of theoretical, experimental, and computational basic research programs in nonlinear science. Research themes include: Multilevel Upscaling in Heterogeneous Porous Media; Nonlinearity in Structural and Electronic Materials;
...more>>
 CERFACS  European Centre for Research and Advanced Training in Scientific Computation
CERFACS is one of the world's leading research institutes working on efficient algorithms for solving largescale scientific problems. This involves the evaluation of existing, and the development of new tools which exploit highperformance serial, vector,
...more>>
 Channeling quantum information efficiently  Ivars Peterson  Science News Online
By carefully choosing how a message is encoded and decoded, it's possible to approach the theoretical maximum for transmitting information via photons or other quantum particles.
...more>>
 Chaos vs. Determinism  Harold Brochmann
Recursive vs. Newtonian Functions  two ways of calculating the value of an investment; The Real World  how do things work in reality? (planetary orbits); The Logistic Function  a study of population growth and extinction.
...more>>
 Charles Babbage Institute of Computer History (CBI)  University of Minnesota
CBI is a research center at the University of Minnesota dedicated to promoting the study and preservation of the history of information processing. As part of its mission, CBI maintains an archival collection available for use by the public that includes
...more>>
 Chicago Journal of Theoretical Computer Science (CJTCS)  Michael J. O'Donnell; Dept. of Computer Science, Univ. of Chicago
A peerreviewed scholarly journal in theoretical computer science. Articles are submitted and published in LaTeX source form, are distributed internationally over the InterNet, and are augmented by refereed forward references to improvements and subsequent
...more>>
 Chinook (champion checkers computer program)  Jonathan Schaeffer, Dept. of Computing Science, Univ. of Alberta
Chinook is the World ManMachine Checkers Champion, a title it earned by competing in human tournaments and defeating the best players in the world.
Chinook is the byproduct of a research effort started in 1989 into gameplaying strategies. The longterm
...more>>
 Clash of the Chess Titans  Keith Devlin (Devlin's Angle)
Thoughts on the KasparovDeep Blue match of 3 May 1997. Throughout history, people have been building machines that can perform tasks better than humans. When Kasparov, referring to his upcoming match, talks about "an area that defines human beings,"
...more>>
 The Collection of Computer Science Bibliographies on Mathematics  AlfChristian Achilles; Computer Science Bibliography Collection
A collection of bibliographies of scientific literature in computer science from various sources, covering most aspects of computer science. Math journals range from Mathematical Physics to the Mathematics of Computation to Applied Mathematics and Computation.
...more>>
 Combinatorica  János Bolyai Mathematical Society, SpringerVerlag
An international journal that publishes research papers in English in a variety of areas of combinatorics and the theory of computing, with particular emphasis on general techniques and unifying principles.
...more>>
 Combinatorics, Probability & Computing  Cambridge University Press
Now published bimonthly, the journal covers combinatorics, probability theory, and theoretical computer science. Topics covered include classical and algebraic graph theory, extremal set theory, matroid theory, probabilistic methods and random combinatorial
...more>>
 Compasswallah
Hoping to "exhume the analog geometry of ancient discoveries for a confrontation with the digital age," Compasswallah analyzes and looks at the history of astronomy, surveying, geodesy, cartography, geomagnetism, geometry, scientific instruments, analog
...more>>
 Completing Latin Squares  Ivars Peterson (MathTrek)
Using only the numbers 1, 2, 3, and 4, arrange four sets of these numbers into a fourbyfour array so that no column or row contains the same two numbers. The result is known as a Latin square... in Latin squares of order 4, each row (and each column)
...more>>
 Computability Theory  Peter Cholak
A resource for computability theorists. Includes a Bibliographic Database for Computability Theory; Open Questions in Recursion Theory: LaTeX or dvi; a link to the Association for Symbolic Logic; and links to pages of people who work (or have worked)
...more>>
 
