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.