Strategic objectives addressed

INGADIM will investigate and utilize the development of a Semantic Web for the mathematical sciences. It will develop tools for the semantic annotation of mathematical documents and for the generation and retrieval of mathematical knowledge from the WWW. It will implement the new developments together with European national mathematical societies and a broad range of mathematics departments of the universities and research institutes in Europe. INGADIM will create a common scientific infrastructure for the European mathematical community which can serve as a model also for other communities and as a test bed for emerging Semantic Web Technologies.

Abstract

Mathematical knowledge plays a key role in strategically important developments in society, sciences and industry.Due to the high complexity of mathematical models, it is important to share this knowledge via communication platforms such as the Internet. To do this efficiently it is essential that the user of mathematics gets the specific information required for a particular task rather than complete documents. But, as mathematical information is currently stored on the Web, these needs cannot be satisfied. What is needed is a Semantic Web that allows to process mathematical information in a structured and content oriented way. Going for this goal, the proposed Network of Excellence will build on the successes of previous attempts to develop mathematical information services on an international scale.

Mathematical knowledge is much more structured than knowledge in other sciences. Its semantics is quite precise. This makes it easier and more feasible to develop a Semantic Web for mathematics than for other fields. This proposal aims at research towards the development, implementation, and distribution of new methods and software for the presentation, processing, and networking of mathematical knowledge. It will be co-ordinated between the users of mathematics, the providers, and the developers of tools. INGADIM brings these three groups together in a unique way on the European and world level. The research will be performed on the basis of the mathematical knowledge that is available in Europe. The proposal is based on the infrastructure of the EMS, which is the roof of the national mathematical societies in Europe. EMIS, the current information platform of the EMS will serve as a starting point and as a framework for the documentation and implementation of the new developments.

The network will lead to new specifications for the description of knowledge. It will have a strong integration effects for the Europeam scientific community.

List of the full names and employing organisations of the researchers who will participate in the Network

No	Full Name	Employing Institution
1	Christian Mehl	TU Berlin
2	Volker Mehrmann	TU Berlin
3	Konrad Polthier	TU Berlin
4	Julius Stuller	Czech Academy of Sciences
5	Martin Holena	Czech Academy of Sciences
6	Nina Ramesova	Czech Academy of Sciences
7	Vasily Govorukhin	Rostov State University
8	Vyacheslav Tsybulin	Rostov State University
9	Adhemar Bultheel	Belgian Mathematical Society
10	Bruno Buchberger	RISC, Austria
11	Wolfgang Schreiner	RISC, Austria
12	Olga Caprotti	RISC, Austria
13	Eberhard Hilf	Institute of Network Sciences, Oldenburg
14	Heinrich Stamerjohanns	Institute of Network Sciences, Oldenburg
15	Grzegorz Bancerek	Politechnika Bialistocka
16	Andrzey Trybulec	Uniwersytet w Bialymstoku
17	Vlamos Panayotis	Greek Mathematical Society
18	Rappos Efstratios	Greek Mathematical Society
19	Chrysovergis Michail	Greek Mathematical Society
20	Zoran Markovic	Mathematical Institute SANU
21	Milan Bozic	Mathematical Institute SANU
22	Zoran Ognjanovic	Mathematical Institute SANU
23	Geir Granum	Heriot-Watt
24	Helen Ashton	Heriot-Watt
25	Michael Breaks	Heriot-Watt
26	Wolfgang Lenksi	Uni Kaiserslautern
27	John Kingman	EMS
28	Raimund Wegener	Fraunhofer-Institut für Techno- und Wirtschaftmathematik
29	Norbert Siedow	Fraunhofer-Institut für Techno- und Wirtschaftmathematik
30	Dietmar Hietel	Fraunhofer-Institut für Techno- und Wirtschaftmathematik
31	Michael Jost	FIZ Karlsruhe
32	Alexander Perovic	FIZ Karlsruhe
33	Bernd Wegner	FIZ Karlsruhe
34	Stefan Dodunekov	Union of Bulgarian Mathematicians
35	Sava Grozdev	Union of Bulgarian Mathematicians
36	Dincho Krastev	Union of Bulgarian Mathematicians
37	Radoslav Pavlov	Institute of Mathematics and Informatics, Sofia
38	Ivan Derzhanski	Institute of Mathematics and Informatics, Sofia
39	Ludmila Dimitrova	Institute of Mathematics and Informatics, Sofia
40	Jose Carlos Teixeira	Coimbra University, Portugal
41	Jaime Carvalho e Silva	Coimbra University, Portugal
42	Ana Isabel Rodendo	Coimbra University, Portugal
43	A. Bonami	Universite d'Orleans
44	S. Cordier	Universite d'Orleans
45	F. James	Universite d'Orleans
46	P. Jaming	Universite d'Orleans
47	P. Maheux	Universite d'Orleans
48	Rudi Schmiede	Darmstadt University
49	Stephan Koernig	Darmstadt University
50	Arjen Sevenster	Elsevier
51	Mika Seppälä	University of Helsinki
52	Juliette Kennedy	University of Helsinki
53	Jouko Väänänen	University of Helsinki
54	Gyula O.H. Katona	Renyi Institute, Hungary
55	Dezso Miklos	Renyi Institute, Hungary
56	Szilard Revesz	Renyi Institute, Hungary
57	Dan Haran	Israel Mathematical Union
58	Zvi Har'El	Israel Mathematical Union
59	Allan Pinkus	Israel Mathematical Union
60	Alessandro Micarelli	RMPA, Italy
61	Nicola Capuano	RMPA, Italy
62	Enver Sangineto	RMPA, Italy
63	Saverio Salerno	DIIMA, Italy
64	Michele Ciarletta	DIIMA, Italy
65	Francesca Passerella	DIIMA, Italy
66	Michael Kaplan	TU München
67	Christian Karpfinger	TU München
68	Frank Himstedt	TU München
69	Olga Klimenko	Sobolev Institute
70	Inessa Matveeva	Sobolev Institute
71	Stanislav Bereznuk	Sobolev Institute
72	Jonas Kubilius	Lithuanian Mathematical Society
73	Eugenijus Manstavivius	Vilnius University
74	Rimantas Rudzkis	Institute of Mathematics and Informatics (IMI, Lithuania)
75	Enrique Macias Virgos	RSME, Spain
76	Jose Maria Barja Perez	RSME, Spain
77	M. Kulagin	Russian Academy of Sciences
78	V. Serebriakov	Russian Academy of Sciences
79	A. Bezdushny	Russian Academy of Sciences
80	Sergey Konovalov	Steklov Institute of Mathematics
81	Bulent Karasozen	Middle East Technical University
82	T.W.C. Huibers	University Twente
83	P.E. van der Vet	University Twente
84	Martin Groetschel	ZIB Berlin
85	Wolfram Sperber	ZIB Berlin
86	Wolfgang Dalitz	ZIB Berlin
87	Manuel Vilares-Ferro	University de Vigo, Spain
88	Leandro Rodriguez-LInares	University de Vigo, Spain
89	Francisco José Ribadas-Pena	University de Vigo, Spain
90	Rolf Jeltsch	ETH Zürich
91	Jürgen Hausen	MFI Oberwolfach
92	Stefan Klaus	MFI Oberwolfach
93	Hans Schoenemann	MFI Oberwolfach
94	Jürgen Becker	SUB Göttingen
95	Frank Klaproth	SUB Göttingen
96	Thomas Fischer	SUB Göttingen
97	Ingo Dahn	Uni Koblenz-Landau
98	Peter Roedler	Uni Koblenz-Landau
99	Uli Furbach	Uni Koblenz-Landau
100	Peter Baumgartner	Uni Koblenz-Landau
101	Andrzej Pokrzywa	Institute of Mathematics of the Polish Academy of Sciences
102	Paul Libbrecht	DFKI Saarbrücken
103	Erica Meles	DFKI Saarbrücken
104	John Ball	International Mathematical Union
105	Michiel Hazewinkel	CWI Amsterdam
106	Massimo Ferri	University of Bologna
107	Roland Schwänzl	University of Osnabrück
108	Judith Plümer	University of Osnabrück