WG ARITH

The Arith Working Group aims to bring together various stakeholders—from the C4P Research Group, the IFM Research Group, and beyond—around the field of computer arithmetic, while maintaining computer arithmetic—which historically lies at its origins—as its anchor.

Each research community very often develops its own algorithms and tools to best address its specific problems. The solutions are often original and highly interesting. Thus, among the topics developed by the working group’s members, as reflected in the RAIM programs, are: dynamical systems, cryptography, logic, discrete geometry, numerical geometry, number systems, computability, proofs, verification, algorithm analysis, numerical algorithms, scientific computing, formal computation, and, of course, computer arithmetic with its software and hardware aspects.

The “Arithmetic” working group organizes the RAIM conference annually. These meetings on Arithmetic in Mathematical Computer Science consist of a variety of thematic sessions that illustrate how computer arithmetic takes shape across the fields mentioned above.

The focus is both scientific and human. Through arithmetic, our students have the opportunity to present their work to a broader community that can offer them opportunities for scientific careers.

This working group is a joint initiative with the GDR IFM.

Head: Nicolas Brisebarre, Mioara Joldes, Stef Graillat

Mailing list: gt-arith@gdr-ifm.fr (subscribe to the working group on myGDR to join the mailing list)