Национальный центр научных исследований, Лаборатория численных методов