![]() |
|
[ Home | Members | Documents | Status | Archive | Search | Discussions ]
Welcome to the new home page for the SimLab Project. Take a look at What's New in our web.
Enormous effort is currently expended to create scientific and engineering software, particularly for simulating physical systems defined on complex geometries. The goal of the SimLab project is to reduce this effort by bringing together technologies such as geometric modeling, symbolic mathematics, numerical analysis, compilation/code generation, and formal methods to create tools that raise the semantic level at which it is possible to create scientific software.
A more detailed overview of our project can be found here (HTML) or here (Microsoft Word).
Our work is funded by the DARPA RaDEO project by Kevin Lyons.
The following is a list of recent additions to our web. Whenever we publish a paper, write a specification, submit a status report, or add anything else to our web, we'll put a notice here. Every month we'll remove the oldest items. The most recent changes are listed first, and each item is linked to the page with the updated content.
July 10, 1996
- There was a major disk crash on the server. We are in the process of restoring the missing pages and resurecting the SimLab web. Sorry for the inconvenience.
October 11, 1996
- The initial version of the MathBus term structure document is now available.
- A brief presentation on the Mathbus term structure originally given to the Nuprl research group.