 The Practice of Logical Frameworks (1996)  Frank Pfenning
A survey article discussing the history of work on logical frameworks and their current open problems. Deductive systems, given via axioms and rules of inference, are a common conceptual tool in mathematical logic and computer science. They are used to
...more>>
 Probability and Statistics with Reliability, Queuing, and Computer Science Applications  Kishor Trivedi
Powerpoint slides of chapters of the John Wiley publication Probability and Statistics with Reliability, Queuing and Computer Science Applications.
...more>>
 Professional Development Programs for Grade K12 Teachers of Mathematics  The State University of New Jersey  Rutgers
Read about and apply for summer institutes such as Institutes for New Teachers of Mathematics and Science, Helping All Students Succeed in Grades 712 Mathematics, the Leadership Program in Discrete Mathematics, and the DIMACS Connect Institute; conferences
...more>>
 Programming with Sets  Dept. of Computer Science, New Mexico State University
Using settheoretic primitives as a conceptual tool in programming. Includes a discussion of the SETL and MIRANDA languages. Setoriented programming means thinking and designing programs with set data abstractions in mind, trying to really exploit all
...more>>
 Project Euler  Colin Hughes
Browse hundreds of challenging problems that require mathematical insights as well as computer and programming skills to solve. Popular puzzles include "Add all the natural numbers below one thousand that are multiples of 3 or 5," "By considering the
...more>>
 Projet PRISME  INRIA, Sophia Antipolis
Les activités du projet PRISME sont centrées sur la géométrie algorithmique et ses applications, et sur les aspects géométriques de la robotique. Les études sont motivées par les nombreux domaines
...more>>
 The Published Data of Robert Munafo  Robert Munafo
Mathematical data includes MuEncy, The Encyclopedia of the Mandelbrot Set (History, Exploring, Area, Algorithms, Naming, etc), properties of specific numbers, such as 2.68542 . . . and 143, and very large numbers and ways to write them. Programs include
...more>>
 Quantum Games  Ivars Peterson  Science News Online
Scientists studying quantum computation offer new perspectives on coin tossing, chess, and game theory. Theorists intend to apply the peculiarities of quantum behavior to game theory, two previously unrelated fields. These researchers propose that the
...more>>
 QuantumQuick Queries  Ivars Peterson  Science News Online
Computer scientist Lov K. Grover of AT&T Bell Laboratories has found an an algorithm that relies on quantum mechanical principles that significantly speeds up the process of identifying a particular item in an unsorted list. Whereas the best possible
...more>>
 Rational Number Tutorial  Joseph L. Zachary
A tutorial that explores the nature of rational numbers, the significance of the minimum and maximum integers in a rational number system, and the meaning of overflow. Includes a Java applet that opens in a separate window, for use alongside the tutorial.
...more>>
 A Really Friendly Guide to Wavelets  C. Valens
A tutorial in wavelet transforms and their applications to signal theory and image compression, aimed at engineers. The tutorial may be read online, or downloaded as a PDF or zipped PostScript file.
...more>>
 Reflections on Deep Blue  Keith Devlin (Devlin's Angle)
We generally assume that the ability to play a good game of chess requires intelligence when it comes to people. Why not for chessplaying machines as well? Well, here is one argument that shows that things are not so simple. One aspect of human intelligence,
...more>>
 Research in Geometric, Symbolic and Scientific Computing  Dept. of Computer Science, Univ. of North CarolinaChapel Hill
Research projects: Geometric and Solid Modeling, Interactive Collision Detection for Simulated Environments, Immersive Design, Rendering Curved Models, Symbolic and Numeric Manipulation of Polynomial Systems. Also recent papers and technical reports,
...more>>
 Research Institute of Symbolic Computation (RISCLinz)
The Research Institute for Symbolic Computation, RISC, is an Austrian institute devoted to the field of symbolic computation. The site includes descriptions of various research areas, such as combinatorics, constraint solving, the theory of computation,
...more>>
 Robbins Algebras are Boolean  William McCune, Automated Deduction Group, Argonne National Laboratory
The Robbins problem  are all Robbins algebras Boolean?  has been solved: Every Robbins algebra is Boolean. This theorem was proved automatically by EQP, a theorem proving program developed at Argonne National Laboratory. Information on the solution;
...more>>
 Robert J. Lang Origami  Robert J. Lang
Lang has catalogued and diagrammed over 400 models, combining aspects of the Western school of mathematical origami design with the Eastern emphasis upon line and form. Read about origami mathematics, which mathematically describe the underlying laws
...more>>
 Russian Peasant Multiplication  Math Forum, Ask Dr. Math FAQ
What is Russian peasant multiplication? How do I use it? Why does it work? How is the Russian peasant algorithm connected to binary numbers?
...more>>
 Scientific American
The online version of the technology magazine, with interlinked articles, interviews with scientists, Ask the Experts, and Explorations, guided tours across the Web of recent technological developments. An archive of past articles is included.
...more>>
 Scientific Computing & Automation Online
The scientific and technical community's source for new technology. A searchable site with a new product database, a buyers' guide online, and a database of indepth application and technical notes; also a library of archived feature articles and departments,
...more>>
 Seeing Red  Keith Devlin (Devlin's Angle)
Though it is fashionable to talk about the mind as a computer, a better description is that it is a pattern former/recognizer... The problem facing the computer scientist trying to equip a computer with vision is how to simulate
this pattern creation/recognition
...more>>
 Selected Technical Papers by Title  UAB Graphics and AI Laboratory (GRAIL)
Papers from GRAIL, the University of Alabama at Birmingham Department of Computer and Information Sciences center for research in computer graphics and vision. Includes: The bisector of a point and a plane parametric curve; Computing point/curve and curve/curve
...more>>
 ShadowFax Cluster Rant  A. Jorge Garcia
Garcia blogs about teaching math and computer science with technology (such as SmartBoards), learning math and computer science with technology, and the LinuxClusters super computer called ShadowFax. Posts, which date back to May, 2009, have included
...more>>
 ShtetlOptimized  Scott Aaronson
Blog posts include "Teaching your students not to need a teacher," "Ten Signs a Claimed Mathematical Breakthrough is Wrong," "Essentials of complexitytheoretic standup comedy," "My take on the Koblitz affair, "Logicians on safari," and "Unparadox Contest."
...more>>
 SIAM Activity Groups  Society for Industrial and Applied Mathematics
Activity Groups on: Control and Systems Theory; Discrete Mathematics; Dynamical Systems; Geometric Design; Geosciences; Linear Algebra; Optimization; Orthogonal Polynomials and Special Functions; Supercomputing, etc. Rules of Procedure, Initiation and
...more>>
 SIAM Journal on Discrete Mathematics  Society for Industrial and Applied Mathematics
A journal that publishes research articles on a broad range of topics from pure and applied mathematics, including combinatorics and graph theory, discrete optimization and operations research, theoretical computer science, to coding and communication
...more>>
 SIAM Journals  Society for Industrial and Applied Mathematics
The journals of the Society for Industrial and Applied Mathematics (SIAM): Applied Mathematics; Computing; Control and Optimization; Discrete Mathematics; Mathematical Analysis; Matrix Analysis and Applications; Numerical Analysis; Optimization; Scientific
...more>>
 Sieve of Eratosthenes  Program in C
A class assignment for Mathematics 216: Introduction to Mathematical Computation (with C) at the Univ. of Utah. The new part of the C language learned was the array. Problems: Design a program to make a list of primes less than N = 100 using Eratosthenes'
...more>>
 Simulations Nab Proteinfolding Mistakes  Ivars Peterson  Science News Online
The human body manufactures thousands of different proteins, which act as enzymes, structural elements, or carriers. Each protein starts out as a long strand that must fold itself into the proper shape to perform its specific function. To gain insights
...more>>
 The SISL Nurbs Library  SINTEF Applied Mathematics
A library of NonUniform Rational BSplines (NURBS) software, developed and
maintained by the Department of Geometric Modelling at SINTEF Applied Mathematics. The SIntef Spline Library (SISL) contains all the necessary functionality for building applications
...more>>
 Software for Graphics and Data Analysis  S. Baum; Dept. of Oceanography, Texas A&M University
Links to software with descriptions, features, and where to find it, in (mostly) the following categories (or check out the complete alphabetical list): mostly graphics; mostly numerical analysis and number crunching; mostly data formats; commercial packages;
...more>>
 Software (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive collection of links to software, with abstracts and reviews, organized in four different ways: by platform (Macintosh, MSDOS) and then by subject; interactive texts (using a commercial package such as Mathematica, Maple or Mathkit to interact
...more>>
 Stephen P. Booth
A researcher working in physics and parallel computing. Articles and source  code for random number generation (parallel generation and a generic Fortran90 interface), and the xmountains program, which uses fractals to generate computer images of landscape.
...more>>
 Stephen Wolfram
The creator of Mathematica and one of the first researchers into cellular automata. Site includes a biographical sketch, photos, and a timeline of Wolfram's life; interviews with him; and the full text of many of his books, articles, talks, and patents.
...more>>
 Steve Fulling's Home Page  Stephen A. Fulling
Courses in Foundation Coalition Freshman Calculus, linearity, and other subjects offer objectives, assignments, solutions and reports, exams, and supporting documentation such as books (.pdf, .ps, and .dvi formats). The site also includes access to the
...more>>
 Strategy and Conflict: An Introductory Sketch of Game Theory  Roger A. McCain
Game theory is an interdisciplinary approach to studying human behavior that touches on computer science, social sciences, and behavioral sciences. Designed as a supplement to existing texts as a means of making the basic ideas a bit more accessible,
...more>>
 Structures Directory  Vaughan Pratt
An email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
...more>>
 Teaching Resources Online  Bert G. Wachsmuth
Seton Hall University professor's syllabi, online handouts, sample programs, scripts and software to download, exams and answers, general information, and other teaching resources for his computer science and mathematics courses: Intro to Computer Science,
...more>>
 Terrapin Software  Terrapin Software
Terrapin Logo sells Logo products and other educational software and Logo materials, such as Mission Control, Crystal Rain Forest, and Roamer World. Take a quick lesson in Logo programming; learn about robotics powered by Logo, such as Universal Robotics
...more>>
 Textbooks: Download Free Ebooks  Bookboon.com
Free ebooks for download, with advertisements approximately every third page. Site defaults to US or UK options; look for Calculus or Mathematics in the left sidebar for mathrelevant topics.
...more>>
 Theoretical Computer Science  Elsevier Science
The journal is mathematical and abstract in spirit, but derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and to provide more efficient methodologies. All papers introducing or studying
...more>>
 Theory and Applications of Categories (TAC)  Robert Rosebrugh, Ed.; Mount Allison University
The allelectronic, refereed journal on Category Theory, categorical methods and their applications in the mathematical sciences. The scope of the journal includes: all areas of pure category theory, including higher dimensional categories; applications
...more>>
 The Theory Group  University of St. Andrews, U.K.
The Theory Group investigates aspects of theoretical computer science including: specification; automated theorem proving techniques and applications (especially in computer algebra); computational logic, including logic programming and proof theory;
...more>>
 Three Years Of Computing: Final Report on the Palindrome Quest  John Walker
"Pick a number. Reverse its digits and add the resulting number to the original number. If the result isn't a palindrome, repeat the process. Do all numbers in base 10 eventually become palindromes through this process? Nobody knows." The story of a
...more>>
 Tilings and Geometric Ornament  Kaplan, Salesin
A project designed to explore the intersection between computer graphics, geometry, and ornamental design. Papers and illustrations on Escherization, Islamic Star Patterns, Parquet Deformations, Symmetrohedra, and Voronoi Diagrams.
...more>>
 Triumph of the Nerds: A History of the Computer  Robert X. Cringely; PBS Online
A companion Web site for the Public Broadcasting System television special hosted by Robert Cringely, "Triumph of the Nerds: The Rise of Accidental Empires." Learn how youthful amateurs, hippies, and selfproclaimed "nerds" accidentally changed the world.
...more>>
 Unstructured Grids (UG)  Institut für Computeranwendungen, UniversitU7auml;t Stuttgart
A flexible software tool for the numerical solution of partial differential equations on unstructured meshes in two and three space dimensions using multigrid methods. Its basic design is flexible enough to support many different discretization schemes.
...more>>
 Untangled  Mehta, Gayatri; Luo, Xiaozhong; et al.
Map and place logic blocks in this game to make more compact circuit layouts on a grid  and more efficient computer chips. Visually appealing graphs bring nodes closer to parents or children and untangle knots in graphs; behind the scenes, the accumulated
...more>>
 Vi Hart  Vi Hart
Blog, videos of math "doodling," instructions for slicing food mathematically, and more from the selfdescribed recreational mathemusician who considers math a hobby, with "special interests in symmetry, polyhedra, and surreal complexity. This usually
...more>>
 Visual Thought
A crossplatform diagramming & flowcharting tool running on Windows 95/NT and UNIX. Visual Thought moves ideas onto the screen quickly by making it easy for the user to draganddrop shapes and make rubberbanding connections between objects. It is
...more>>
 Waterloo Fractal Compression Project  Edward R. Vrscay
A research project dedicated to the study of fractal analysis and Iterated
Function Systems/Fractal Transforms from theoretical and practical perspectives, focussing on image and signal compression. Both mathematical and nonmathematical introductions
...more>>
 
