Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Applications/Connections : Sciences : Computer Science

Library Home || Search || Full Table of Contents || Suggest a Link || Library Help

  All Sites - 259 items found, showing 201 to 250

  1. Owners of home computers join researchers in cracking problems and crunching data - Ivars Peterson - Science News Online
    Owners of home computers have joined researchers in cracking problems and crunching data, searching for signs of intelligent extraterrestrial life, running large models of the world's climate, and carrying on a worldwide effort to identify record-breaking ...more>>

  2. PetaCrunchers - Ivars Peterson - Science News Online
    Setting a course toward ultrafast supercomputing: floating point calculations have become so integral to computers that their performance is often measured in floating point operations per second (FLOPS). The next logical step is petaFLOPS computing, ...more>>

  3. Phase State Diagrams - Harold Brochmann
    Phase diagrams reveal much information about physical phenomena. Brochmann illustrates with a variety of graphs created by computer programs. Phase state diagrams of unstable orbits reveal 'strange attractors', useful in a variety of fields including ...more>>

  4. Pi: A Source Book - J. Borwein, Springer-Verlag
    A complete history of pi, with resources for teachers for anything from special topic courses to individual talks and special student projects. The literature on pi included in this source book falls into three classes: a selection of the mathematical ...more>>

  5. 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>>

  6. 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>>

  7. Professional Development Programs for Grade K-12 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 7-12 Mathematics, the Leadership Program in Discrete Mathematics, and the DIMACS Connect Institute; conferences ...more>>

  8. Programming with Sets - Dept. of Computer Science, New Mexico State University
    Using set-theoretic primitives as a conceptual tool in programming. Includes a discussion of the SETL and MIRANDA languages. Set-oriented programming means thinking and designing programs with set data abstractions in mind, trying to really exploit all ...more>>

  9. 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>>

  10. 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>>

  11. The Published Data of Robert Munafo - Robert Munafo
    Mathematical data includes Mu-Ency, 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>>

  12. 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>>

  13. Quantum-Quick 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>>

  14. 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>>

  15. 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>>

  16. 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 chess-playing machines as well? Well, here is one argument that shows that things are not so simple. One aspect of human intelligence, ...more>>

  17. Research in Geometric, Symbolic and Scientific Computing - Dept. of Computer Science, Univ. of North Carolina-Chapel 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>>

  18. Research Institute of Symbolic Computation (RISC-Linz)
    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>>

  19. 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>>

  20. 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>>

  21. Roger Antonsen
    Site of the logician, mathematician, computer scientist, researcher, inventor, lecturer, science communicator, public speaker, and author of Logical Methods: The Art of Thinking Abstractly and Mathematically. Blog posts, which date back to 2013, have ...more>>

  22. 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>>

  23. 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>>

  24. 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 in-depth application and technical notes; also a library of archived feature articles and departments, ...more>>

  25. 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>>

  26. 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>>

  27. 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>>

  28. Shtetl-Optimized - Scott Aaronson
    Blog posts include "Teaching your students not to need a teacher," "Ten Signs a Claimed Mathematical Breakthrough is Wrong," "Essentials of complexity-theoretic stand-up comedy," "My take on the Koblitz affair, "Logicians on safari," and "Unparadox Contest." ...more>>

  29. 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>>

  30. 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>>

  31. 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>>

  32. 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>>

  33. Simulations Nab Protein-folding 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>>

  34. The SISL Nurbs Library - SINTEF Applied Mathematics
    A library of Non-Uniform Rational B-Splines (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>>

  35. 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>>

  36. 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>>

  37. Stephen P. Booth
    A researcher working in physics and parallel computing. Articles and source -- code for random number generation (parallel generation and a generic Fortran-90 interface), and the xmountains program, which uses fractals to generate computer images of landscape. ...more>>

  38. 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>>

  39. 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>>

  40. Structures Directory - Vaughan Pratt
    An e-mail directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. ...more>>

  41. 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>>

  42. 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>>

  43. 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 math-relevant topics. ...more>>

  44. 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>>

  45. Theory and Applications of Categories (TAC) - Robert Rosebrugh, Ed.; Mount Allison University
    The all-electronic, 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>>

  46. 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>>

  47. 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>>

  48. 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>>

  49. 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 self-proclaimed "nerds" accidentally changed the world. ...more>>

  50. 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>>

Page: [<prev]  1  2  3  4  5  6 [next>]

Search for these keywords:

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words

Power Search

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.