Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Formal study of comparisons between numbers in different formats

Participants : Laurent Théry, Arthur Blot, Jean-Michel Muller [CNRS and ENS Lyon] .

We show how a library of formalized mathematics about continuous functions can be used to derive an algorithm that compares two floating point number one in base 2 and one in base 10 [14].