Mike Dewar

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt
06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software (2006)
Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt
06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software (2006)
Olga Caprotti, Mike Dewar, Daniele Turi
Mathematical Service Matching Using Description Logic and OWL. MKM (2004)
Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
Mathematics on the (Semantic) NET. ESWS (2004)
David Carlisle, Mike Dewar
NAG Library Documentation. MKM (2003)
Mike Dewar, David Carlisle, Olga Caprotti
Position Paper: Description Schemes for Mathematical Web Services. EuroWeb (2002)
Mike Dewar
OpenMath: an overview. SIGSAM Bull. 34 (2) (2000)