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 - 258 items found, showing 251 to 258

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

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

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

  4. Welcome to the World of Petri Nets - CPN Group, University of Aarhus, Denmark
    Petri Nets is a formal and graphical language which is appropriate for modeling complex systems with concurrency. It has nothing to do with network communication but has proven useful for describing, analysing, and verifying protocols typically used in ...more>>

  5. Women of NASA - Tish Krieg, National Aeronautics and Space Administration
    The Women of NASA resource was developed to encourage more young women to pursue careers in math, science, and technology. The project showcases outstanding women who are enjoying successful careers, and demonstrates how these women balance personal and ...more>>

  6. Women's Adventures in Science - National Academy of Sciences
    This project of the National Academy of Sciences showcases contemporary women in science, and highlights for young people the varied careers of some of today's most prominent scientists. The site draws from and accompanies Women's Adventures in Science, ...more>>

  7. The Working Group on Automated Timetabling (WATT)
    A professional association dedicated to the research of automated timetabling issues and methods. List of members, history of the organization, upcoming events, recent digests, membership information, and a bibliography of timetabling books and articles. ...more>>

  8. Yarrow Home Page - Jan Zwanenburg
    A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is ...more>>

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

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- Drexel University. All rights reserved.
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.