Exa-MA : Methods and Algorithms for Exascale
Intro
There is a growing number of problems where experiments are impossible, hazardous, or extremely expensive.
Extreme-scale computing enables the solution of vastly more accurate predictive models and the analysis of massive quantities of data thanks to AI.
Combining predictive modeling with data, coupled with machine learning and AI strategies, can create new opportunities in science.
In particular, move from Human-in-the-Loop towards hybrid Human and Artificial Intelligence-driven design, discovery, or evaluation.
However, various scientific and technical challenges need to be met to exploit exascale computing capabilities.
These bottlenecks impact methods and algorithms in a profound way on all aspects of the simulation toolchain through :
- (i) avoidance of communication,
- (ii) adaptive parallel grain and more compute-intensive at node level,
- (iii) handling of heterogeneous hardware and data representations and
- (iv) self-parametrization.
The Exa-MA project concentrates on the Exascale aspects of the numerical methods, ensuring their scalability to existing and forthcoming hardware.
Furthermore, it is a transverse project, proposing methods and tools where modeling, data and AI, through algorithms, are central.

Software
Work Package 7 (WP7) in the Exa-MA project focuses on several key objectives. Firstly, it involves software development ranging from basic to advanced testing, including benchmarking, to verify the capabilities of exascale computing and address identified challenges. The aim is to deliver software packages following the continuous integration/continuous delivery (CI/CD) framework proposed by ExaDIP.
Secondly, WP7 coordinates co-design activities within Exa-MA, working closely with the ExaDIP project. This collaboration ensures effective communication and synergy between the projects to drive advancements in exascale computing.
Additionally, WP7 aims to establish a showroom to showcase the results achieved through Exa-MA. This showroom will serve as a platform to present and highlight the outcomes and achievements of the project.
Lastly, WP7 contributes to the creation of training material based on the results of Exa-MA. The insights gained from the project will be leveraged to develop educational resources and materials, facilitating knowledge transfer and dissemination.
To accomplish these objectives, WP7 relies on the principles of non-regression, verification, and validation. The various studies and developments conducted across different work packages within Exa-MA will undergo rigorous testing and evaluation before integration into a demonstrator.
WP7 is staffed by a dedicated team of engineers who work at the intersection of Exa-MA and other projects, particularly ExaDIP. The management of WP7 follows an Agile approach, aligning with the project management plan established in WP0 to ensure efficient and effective progress towards the set goals.
Our software
Arcane is a development environment for parallel numerical calculation codes. It supports the architectural aspects of a calculation code, such as data structures for meshing and parallelism, as well as more environment-related aspects such as dataset configuration.
CGAL is a software project that provides easy access to efficient and reliable geometric algorithms in the form of a C++ library.
Composyx is a linear algebra C++ library focused on composability. Its purpose is to allow the user to express a large pannel of algorithms using a high-level interface to range from laptop prototypes to many node supercomputer parallel computations.
Versatile and flexible numerical library that implements Block Krylov iterative schemes for the solution of linear systems of equations with multiple right-hand sides
This Library currently implements various variants of Block Krylov iterative solvers:
- BCG (Block Conjugate Gradient)
- BF-BCG (Breadown Free BCG)
- BGCR (Block Generalized Conjugate Residual)
- BGMRES (Block General Minimum Residual)
- IB-BGMRES (BGMRES with inexact breakdown)
- BGMRES-DR (BGMRES with deflated restarting)
- IB-BGMRES-DR (BGMRES with inexact breakdown and deflated restarting)
- IB-BGCRO-DR (Block Generalized Conjugate Residual Method with Inner Orthogonalization with inexact breakdown and deflated restarting)
A particular attention is paid to internal numerical kernels such as those associated with the least-square solution where block Incremental QR factorization variants are implemented.
Feel is an open-source, high-performance C framework for solving complex PDE and ODE-based mathematical models using advanced Galerkin methods (finite element, discontinuous Galerkin, and spectral methods) and efficient reduced-order modeling (ROM) techniques, including Reduced Basis (RB), Proper Orthogonal Decomposition (POD), and Empirical Interpolation Methods (EIM). It features specialized application toolboxes (CFD, CSM, FSI, thermoelectric, Maxwell), modern parallel computing with seamless Python integration (Pybind11), and extensive DevOps support (CI/CD, benchmarking, and containers). Feel++ is used in academia and industry for multiphysics simulations, inverse problems, uncertainty quantification, data assimilation, and machine learning applications.
Download Feel++ :
FreeFEM is a partial differential equation solver for non-linear multi-physics systems in 2D and 3D using the finite element method.
Problems involving partial differential equations from several branches of physics such as fluid-structure interactions require interpolations of data on several meshes and their manipulation within one program.
FreeFEM includes a fast interpolation algorithm and a language for the manipulation of data on multiple meshes. It is written in C++ and the FreeFEM language is a C++ idiom.
.
Hawen solves time-harmonic wave problems for acoustic and elastic media using the Hybridizable Discontinuous Galerkin (HDG) method for discretization. It combines mpi and OpenMP parallelism to solve large-scale applications such as Earth’s imaging and helioseismology.
It can handle the forward problem (propagation of waves) as well as the inverse problem (parameter identification).
HPDDM is an efficient implementation of various domain decomposition methods (DDM) such as one- and two-level Restricted Additive Schwarz (RAS) methods, the Finite Element Tearing and Interconnecting (FETI) method, and the Balancing Domain Decomposition (BDD) method.
MaHyCo is a inite volume code for solving hydrodynamic equations: Lagrangian or Eulerian simulations.
MUMPS is a high-performance software package for solving large sparse linear systems, supporting a wide range of matrix types and arithmetic precisions, with advanced features like parallel processing, iterative refinement, out-of-core computation, and interfaces for Fortran, C, Matlab, and Scilab.
PaStiX (Parallel Sparse matriX package) is a scientific library that provides a high performance parallel solver for very large sparse linear systems based on direct methods. Numerical algorithms are implemented in single or double precision (real or complex) using LLt, LDLt and LU with static pivoting (for non symmetric matrices having a symmetric pattern). This solver also provides some low-rank compression methods to reduce the memory footprint and/or the time-to-solution.
To know more about this software, please contact Christophe Prud’homme
PETSc, the Portable, Extensible Toolkit for Scientific Computation, pronounced PET-see (/ˈpɛt-siː/), is for the scalable (parallel) solution of scientific applications modeled by partial differential equations (PDEs).
Qr_mumps is a software package for the solution of sparse, linear systems on multicore computers. It implements a direct solution method based on the QR factorization of the input matrix. Therefore, it is suited to solving sparse least-squares problems and to computing the minimum-norm solution of sparse, underdetermined problems. It can obviously be used for solving square problems in which case the stability provided by the use of orthogonal transformations comes at the cost of a higher operation count with respect to solvers based on, e.g., the LU factorization. Qr_mumps supports real and complex, single or double precision arithmetic.
The use of mesh adaptation methods in numerical simulation allows to drastically reduce the memory footprint and the computational costs. There are different kinds of methods: AMR patch-based, AMR cell-based, multiresolution cell-based or point-based, …
Different open source software is available to the community to manage mesh adaptation: AMReX for patch-based AMR, p4est and pablo for cell-based adaptation.
The strength of samurai is that it allows to implement all the above mentioned mesh adaptation methods from the same data structure. The mesh is represented as intervals and a set algebra allows to efficiently search for subsets among these intervals. Samurai also offers a flexible and pleasant interface to easily implement numerical methods.
TRUST is a thermalhydraulic software package for CFD simulations. This software was originally designed for conduction, incompressible single-phase, and Low Mach Number (LMN) flows with a robust Weakly-Compressible (WC) multi-species solver. However, a huge effort has been conducted recently, and now TRUST is able to simulate real compressible multi-phase flows.
The Uranie platform is an open-source framework developed at the Alternative Energies and Atomic Energy Commission (CEA), in the nuclear energy division, in order to deal with uncertainty propagation, surrogate models, optimisation issues, code calibration, etc. This platform benefits from both its dependencies and from personal developments, to offer an efficient data handling model, a C++ and Python interface, advanced graphi graphical tools, several parallelisation solutions, etc. These methods can then be applied to many kinds of code (considered as black boxes by Uranie) so to many fields of physics as well.
Save the Date
Exa-MA events
Discover the next Exa-MA events: our seminars and conferences, as well as partner events
june, 2025
The Team
The Exa-MA Team
Discover the members
Contact Us
Stay in contact with Exa-MA
Leave us a message, we will contact you as soon as possible