Section: Partnerships and Cooperations

European Initiatives

FP7 Projet

FORMATH

• Title: Formath

• Type: COOPERATION (ICT)

• Defi: FET Open

• Instrument: Specific Targeted Research Project (STREP)

• Duration: March 2010 - February 2013

• Coordinator: University of Götegorg (Sweden)

• Others partners: Radboud University Nijmegen, (the Netherlands), University of La Rioja, (Spain).

• See also: http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath

• Abstract: The objective of this project is to develop libraries of formalised mathematics concerning algebra, linear algebra, real number computation, and algebraic topology. The libraries that we plan to develop in this proposal are especially chosen to have long-term applications in areas where software interacts with the physical world. The main originality of the work is to structure these libraries as a software development, relying on a basis that has already shown its power in the formal proof of the four-colour theorem, and to address topics that were mostly left untouched by previous research in formal proof or formal methods.

Major European Organizations with which you have followed Collaborations

• Chalmers University, Programming Logic Group, (Sweden)

• Type Theory and its application to formalizing of mathematics, especially algebraic concepts.

• Radboud University, ICIS, Foundations group, (the Netherlands)

• Type theory and its application to formalizing mathematics, especially numeric computation.

• University of La Rioja, Programming and Symbolic Computation Team, (Spain)

• Formal study of algebraic algorithms and application to algebraic topology.