Skip to main content

Mathematics On The Web

Objective

Mathematics and its applications have become increasingly pervasive in many areas of modern life, making it important that companies, researchers and individuals use the most appropriate mathematical algorithms for their purpose. The aim of the MONET project is to apply the latest ideas for creating a semantic web to the world of mathematical software, using intelligent software agents to match an abstract problem to the distributed services available for solving it. The resulting framework will be powerful, flexible and dynamic, yet robust and easy to navigate, putting state-of-the-art algorithms at the disposal of users anywhere in the world. Mathematics and its applications have become increasingly pervasive in many areas of modern life, making it important that companies, researchers and individuals use the most appropriate mathematical algorithms for their purpose. The aim of the MONET project is to apply the latest ideas for creating a semantic web to the world of mathematical software, using intelligent software agents to match an abstract problem to the distributed services available for solving it. The resulting framework will be powerful, flexible and dynamic, yet robust and easy to navigate, putting state-of-the-art algorithms at the disposal of users anywhere in the world.

OBJECTIVES
The aim of the MONET project is to demonstratethe applicability of the latest ideas for creating a semantic web to the world of mathematicalsoftware, using sophisticated algorithms to match the characteristics of a problem to the adver-tised capabilities of available services and then invoking the chosen services through a standardmechanism. The resulting framework will be powerful, exible and dynamic, yet robust andeasy to navigate, putting state-of-the-art algorithms at the disposal of users anywhere in theworld.

DESCRIPTION OF WORK
The project will be organised into a number of work packages, each representing a particularstrand of the activities to be undertaken. The first task will be to gather a collection of user requirements for our framework and conduct a detailed assessment of the ability of the available technologies to meet them. This will lead to a detailed speci cation of how our framework will be built, and probably lead the Consortium to develop new relationships with appropriate bodies such as emerging W3C working groups. The second major group of activities will focus on developing ontologies and protocols to represent mathematical queries, describe mathematical services, describe the users of such services and explain the solution process. These will form a collection of ""languages"" which all the components in the MONET framework will use to communicate with one another. The third work package will develop an initial software implementation of the infrastructure needed to support mathematical services. Finally we shall use this infrastructure to construct two families of prototype services and demonstrate that together they can be used to solve a number of general mathematical problems.

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

THE NUMERICAL ALGORITHMS GROUP LIMITED
Address
Wilkinson House, Jordan Hill Road
OX2 8DR Oxford
United Kingdom

Participants (7)

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
Address
3, Rue Michel-ange
75794 Paris Cedex 16
STILO INTERNATIONAL PLC
United Kingdom
Address
North Quay, Temple Back
BS1 6FL Bristol
TECHNISCHE UNIVERSITEIT EINDHOVEN
Netherlands
Address
Den Dolech 2
Eindhoven
THE VICTORIA UNIVERSITY OF MANCHESTER
United Kingdom
Address
Oxford Road
M13 9PL Manchester
UNIVERSITE DE NICE - SOPHIA ANTIPOLIS
France
Address
28 Av. De Valrose - Parc Valrose
06108 Nice - Cedex 2
UNIVERSITY OF BATH
United Kingdom
Address
Claverton Down
BA2 7AY Bath
UNIVERSITY OF WESTERN ONTARIO
Canada
Address
1151 Richmond Street, Suite 2
N6A 5B8 London, Ontario