Section: Partnerships and Cooperations
European Initiatives
FP7 Projects
FORMATH

Partners: Radboud University Nijmegen, (the Netherlands), University of La Rioja, (Spain).

Site: 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 longterm 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 fourcolour theorem, and to address topics that were mostly left untouched by previous research in formal proof or formal methods.