International audienceSollya has become a mature tool for the development of numerical software. With about $175$ built-in algorithms and a broad extensibility, it offers a complete tool-chain for fixed- and floating-point software and hardware design. Its features include on-the-fly faithful rounding, specialized approximation algorithms and extensive support for floating-point code generation
International audienceAs interval analysis-based reliable computations find wider application, more ...
In high performance computing, nearly all the implementations and published experiments use floatin...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
International audienceSollya has become a mature tool for the development of numerical software. Wit...
This article describes Salsa, an automatic tool to improve the accuracy of the foating-point comput...
International audienceHigh confidence in floating-point programs requires proving numerical properti...
International audienceMany scientific computing applications demand massive numerical computations o...
Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-pre...
Une arithmétique sûre et efficace est un élément clé pour exécuter des calculs rapides et sûrs. Le c...
Modern programming languages have adopted the floating point type as a way to describe computations ...
International audienceAlgebraic algorithms deal with numbers, vectors, matrices, polynomials, formal...
Generating certified and efficient numerical codes requires information ranging from the mathematica...
International audienceThis article describes the implementation in the software package NumGfun of c...
International audienceFor a long time, formal methods have ignored floating-point computations. Abou...
Une arithmétique sûre et efficace est un élément clé pour exécuter des calculs rapides et sûrs. Le c...
International audienceAs interval analysis-based reliable computations find wider application, more ...
In high performance computing, nearly all the implementations and published experiments use floatin...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
International audienceSollya has become a mature tool for the development of numerical software. Wit...
This article describes Salsa, an automatic tool to improve the accuracy of the foating-point comput...
International audienceHigh confidence in floating-point programs requires proving numerical properti...
International audienceMany scientific computing applications demand massive numerical computations o...
Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-pre...
Une arithmétique sûre et efficace est un élément clé pour exécuter des calculs rapides et sûrs. Le c...
Modern programming languages have adopted the floating point type as a way to describe computations ...
International audienceAlgebraic algorithms deal with numbers, vectors, matrices, polynomials, formal...
Generating certified and efficient numerical codes requires information ranging from the mathematica...
International audienceThis article describes the implementation in the software package NumGfun of c...
International audienceFor a long time, formal methods have ignored floating-point computations. Abou...
Une arithmétique sûre et efficace est un élément clé pour exécuter des calculs rapides et sûrs. Le c...
International audienceAs interval analysis-based reliable computations find wider application, more ...
In high performance computing, nearly all the implementations and published experiments use floatin...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...