Arithmétique des ordinateurs, calcul formel et vérification formelle

PASCALINE · Unité propre · Lyon · Auvergne-Rhône-Alpes

Tutelles : Université Claude Bernard Lyon 1, Centre national de la recherche scientifique, Institut national de la recherche en informatique et automatique

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 33 publications sur HAL open science →

Publications récentes (HAL)

An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations
Verifying Code That Uses Error-Free Transformations
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)