The MONET project is a two-year investigation into mathematical web services funded by the European Commission, as part of the Information Society Technologies (IST) Programme of the Fifth Framework. The project started on 1st April 2002.
GENSS - Grid-Enabled Numerical and Symbolic Services is an EPSRC-funded project. It is a joint project between the Computer Science department at the University of Bath and the School of Computer Science and the Welsh e-Science Centre at Cardiff University. The project builds on current work on Mathematical Web Services in the MONET project at Bath and related projects at Cardiff. The project addresses the combination of Grid computing and Mathematical Web services, and their extension to deliver Mathematical Problem Analysis, and the code and the resources to compute the answers, using a common open agent-based framework. The research associate working at Cardiff will focus on Matchmaking techniques for advertising and discovery of Numerical Services.
A special issue of Annals of Mathematics and Artificial Intelligence based on presentations made at the first conference on Mathematical Knowledge Management at RISC-Linz in 2001.
N. Kitani, and S. Yukita. AINAW '08: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops, page 1654--1659. Washington, DC, USA, IEEE Computer Society, (2008)
T. Gruber, and G. Olsen. Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, (1994)