| 2006 |
|---|
| 7 | | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 6 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Abstracts Collection -- Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
| 5 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Executive Summary - Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
| 2004 |
|---|
| 4 | EE | Olga Caprotti,
James H. Davenport,
Mike Dewar,
Julian A. Padget:
Mathematics on the (Semantic) NET.
ESWS 2004: 213-224 |
| 3 | EE | Olga Caprotti,
Mike Dewar,
Daniele Turi:
Mathematical Service Matching Using Description Logic and OWL.
MKM 2004: 73-87 |
| 2003 |
|---|
| 2 | EE | David Carlisle,
Mike Dewar:
NAG Library Documentation.
MKM 2003: 56-65 |
| 2002 |
|---|
| 1 | EE | Mike Dewar,
David Carlisle,
Olga Caprotti:
Position Paper: Description Schemes for Mathematical Web Services.
EuroWeb 2002 |
