Books Year : 2013

Informatique mathématique

Philippe Langlois
Digits, Architectures et Logiciels Informatiques
CV

Abstract

Cet ouvrage rassemble les cours proposés lors de l'édition 2013 de l'Ecole des jeunes chercheurs en informatique mathématique qui s'est tenue à Perpignan en avril 2013. L'informatique mathématique regroupe des thématiques relevant de tous les domaines de l'informatique, pourvu que la démarche de recherche, le point de vue adopté soient "mathématisables". Le groupe de recherche GDR IM rassemble les chercheurs du territoire national travaillant dans ce secteur. L'ouvrage aborde six thèmes présentés par onze spécialistes français du domaine.

Keywords

Informatique
Mathémathique

Domains

Data Structures and Algorithms [cs.DS] Computational Geometry [cs.CG] Logic in Computer Science [cs.LO] Computer Arithmetic
HAL

Has part hal-01767900 Book part Sylvie Boldo, Guillaume Melquiond. Arithmétique des ordinateurs et preuves formelles. Informatique mathématique : Une photographie en 2013, 2013. ⟨hal-01767900⟩

Philippe Langlois  : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00835506

Submitted on : Tuesday, June 18, 2013-6:52:16 PM

Last modification on : Friday, March 24, 2023-2:52:57 PM

No file

Dates and versions

lirmm-00835506 , version 1 (18-06-2013)

Identifiers

  • HAL Id : lirmm-00835506 , version 1

Cite

Philippe Langlois (Dir.). Informatique mathématique. Philippe Langlois. Presses Universitaires de Perpignan, Première édition, pp.283, 2013, Etudes, 9782354121839. ⟨lirmm-00835506⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-PERP IML I2M DALI LIRMM MIPS UNIV-MONTPELLIER
472 View
0 Download

Share

More