dans ce mémoire nous nous intérissons d'abord à l'Arithmétique en Virgule Flottante avec précision finie.nous présentons les différents aspects numériques comme les dépassements, les arrondis et le modèle standard. Ensuite nous considérons les méthodes de correction qui tentent de rassembler les erreurs d'arrondi accumulées dans les étapes de la première méthode.Il s'est avéré que cette approche conduit le plus souvent à d'importantes améliorations dans les solutions approchées déja obtenue
Un bon nombre de chercheurs s’accordent sur le fait qu’il existe un parallèle entre l’évolution bio...
La résolution de problèmes arithmétiques verbaux demeure très problématique pour l’élève du primaire...
International audienceAprès une revue bibliographique conséquente, les auteurs réfléchissent à la pr...
Le pouvoir adjudicateur est autorisé – quelle que soit la procédure de passation – à rectifier les o...
http://www.interstices.info/display.jsp?id=c_16269National audienceLa correction des algorithmes géo...
National audienceLa mise en oeuvre effective de méthodes de vérification de programmes comportant de...
National audienceCet exposé s'intéresse aux liens entre arithmétique des ordinateurs et vérification...
Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel d...
National audienceNous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiqu...
Cette contribution est le fruit d'une réflexion sur l'intérêt d'étudier les « séries de problèmes » ...
Il y a quelques millénaires, les humains ont senti la nécessité de représenter d'une façon quantitat...
Cette présente recherche vise à étudier une éventuelle différence lors de la résolution d’opérations...
Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de ...
Nous traitons dans cette thèse de quelques méthodes de démonstration utilisées en arithmétique. - Da...
National audienceL'arithmétique flottante est connue pour être un sujet difficile. Ses propriétés co...
Un bon nombre de chercheurs s’accordent sur le fait qu’il existe un parallèle entre l’évolution bio...
La résolution de problèmes arithmétiques verbaux demeure très problématique pour l’élève du primaire...
International audienceAprès une revue bibliographique conséquente, les auteurs réfléchissent à la pr...
Le pouvoir adjudicateur est autorisé – quelle que soit la procédure de passation – à rectifier les o...
http://www.interstices.info/display.jsp?id=c_16269National audienceLa correction des algorithmes géo...
National audienceLa mise en oeuvre effective de méthodes de vérification de programmes comportant de...
National audienceCet exposé s'intéresse aux liens entre arithmétique des ordinateurs et vérification...
Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel d...
National audienceNous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiqu...
Cette contribution est le fruit d'une réflexion sur l'intérêt d'étudier les « séries de problèmes » ...
Il y a quelques millénaires, les humains ont senti la nécessité de représenter d'une façon quantitat...
Cette présente recherche vise à étudier une éventuelle différence lors de la résolution d’opérations...
Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de ...
Nous traitons dans cette thèse de quelques méthodes de démonstration utilisées en arithmétique. - Da...
National audienceL'arithmétique flottante est connue pour être un sujet difficile. Ses propriétés co...
Un bon nombre de chercheurs s’accordent sur le fait qu’il existe un parallèle entre l’évolution bio...
La résolution de problèmes arithmétiques verbaux demeure très problématique pour l’élève du primaire...
International audienceAprès une revue bibliographique conséquente, les auteurs réfléchissent à la pr...