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.