Section: Other Grants and Activities

European initiatives

• Together with the Universities of Chalmers (Sweden), Nijmegen (the Netherlands), and La Rioja (Spain), we applied for funding from the European Community. The project, named Formath (Formalization of Mathematics) has been accepted in the ICT program (grant agreement number 243847).

  In this project, we will concentrate on developing mathematical libraries for algebra, linear algebra, and algebraic topology.