Team Arénaire

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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.


previous
next

Logo Inria