## Section: Scientific Foundations

### Introduction

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