X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fnijmegen.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fnijmegen.xml;h=0000000000000000000000000000000000000000;hp=a8daab27375c2b181977a4a906fa4ce0c9ee5124;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/mowgli/home/xml/sites/nijmegen.xml deleted file mode 100644 index a8daab273..000000000 --- a/helm/mowgli/home/xml/sites/nijmegen.xml +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - Katholieke Universiteit Nijmegen - The Netherlands - http://www.cs.kun.nl -
Subfaculteit Informatica, - Faculteit Natuurwetenschappen, Wiskunde en Informatica, - Katholieke Universiteit Nijmegen, - Toernooiveld 1, 6525 ED Nijmegen, The Netherlands
- - -

The Sub-faculty of Computer Science at the University of Nijmegen hosts - a broad experience in logic, formal methods and theorem proving. The - Faculty of Mathematics and Computer Science of Eindhoven University of - Technology is strong in computer algebra, theorem proving and applying - Web technology to mathematics. Nijmegen and Eindhoven have a long - history in cooperation on topics related to this FET proposal, notably - type theory, theorem proving and combining various computer - mathematics applications, especially using OpenMath. This cooperation - was mainly taking place between the research groups of Geuvers and - Barendregt in Nijmegen and the research group of Cohen in Eindhoven.

-

The research group of Geuvers and Barendregt is part of the EC - sponsored Thematic Network ``TYPES'' (IST-1999-29001) and of its - ancestor, the EC Working Group ``Types for Proofs and Programs'', - which testifies there interest in theorem proving, especially using - type theory based theorem provers. The FTA project (Fundamental - Theorem of Algebra), started in 1999 and to be finished in 2001, has - as its main goal to formalize (in Coq) a large body of undergraduate - mathematics (algebra and analysis), culminating in a proof of the - fundamental theorem of algebra. The formalization of the mathematics - is now finished and the next step is to make the formalization - accessible and usable by others, preferably through the World Wide - Web.

-

The research group in Nijmegen and the research group of Cohen in - Eindhoven are both part of the EC Working Group Calculemus, which aims - at bridging the gap between different mathematical computer - applications, like computer algebra systems and theorem provers. One - of the vehicles for doing so is the definition of OpenMath as an - intermediate language for the exchange of mathematical objects among - computer applications. - The research group of Cohen is part of the - IST Thematic Network ``OpenMath'' (IST-2000-28719) and its ancestor, - the OpenMath Esprit project (see http://www.openmath.org/).

- - - - - - - - - - - -