Add to ORKGInternational audienceWe present a full Coq formalisation of the correctness of some comparison algorithms between binary64 and decimal64 floating-point numbers
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
The IEEE 754 standard does not distinguish between exact and inexact floating-point numbers. There i...
International audienceWe present a full Coq formalisation of the correctness of some comparison algo...
International audienceWe introduce an algorithm that allows one to quickly compare a binary64 floati...
International audienceFloating-point arithmetic is ubiquitous in modern computing, as it is the tool...
International audienceThe process of proving some mathematical theorems can be greatly reduced by re...
International audienceSome mathematical proofs involve intensive computations, for instance: the fou...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
International audienceSeveral formalizations of floating-point arithmetic have been designed for the...
AbstractThe process of proving some mathematical theorems can be greatly reduced by relying on numer...
International audienceFloating-point arithmetic is a well-known and extremely efficient way of perfo...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
The IEEE 754 standard does not distinguish between exact and inexact floating-point numbers. There i...
International audienceWe present a full Coq formalisation of the correctness of some comparison algo...
International audienceWe introduce an algorithm that allows one to quickly compare a binary64 floati...
International audienceFloating-point arithmetic is ubiquitous in modern computing, as it is the tool...
International audienceThe process of proving some mathematical theorems can be greatly reduced by re...
International audienceSome mathematical proofs involve intensive computations, for instance: the fou...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
International audienceSeveral formalizations of floating-point arithmetic have been designed for the...
AbstractThe process of proving some mathematical theorems can be greatly reduced by relying on numer...
International audienceFloating-point arithmetic is a well-known and extremely efficient way of perfo...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
The IEEE 754 standard does not distinguish between exact and inexact floating-point numbers. There i...