Browse and Search the Library
: Math Topics
: Computer Science
Library Home ||
Full Table of Contents ||
Suggest a Link ||
- 260 items
found, showing 251 to 260
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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,
- 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.
- 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
The Math Library ||
Quick Reference ||
© 1994- The Math Forum at NCTM. All rights reserved.