Section: Scientific Foundations
Introduction
As stated above, four major directions in Arénaire are hardware arithmetic, algebraic and elementary functions, validation and automation, and arithmetics and algorithms. For each of those interrelated topics, we describe below the tools and methodologies on which it relies.