Drexel dragonThe Math ForumDonate to the 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 - 255 items found, showing 201 to 250

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  48. Vi Hart - Vi Hart
    Blog, videos of math "doodling," instructions for slicing food mathematically, and more from the self-described recreational mathemusician who considers math a hobby, with "special interests in symmetry, polyhedra, and surreal complexity. This usually ...more>>

  49. Visual Thought
    A cross-platform 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 drag-and-drop shapes and make rubberbanding connections between objects. It is ...more>>

  50. 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 non-mathematical introductions ...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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.