projet ANR Numerical Safety for Computer-Aided Proofs (NuSCAP)
1 : CNRS
Centre National de la Recherche Scientifique - CNRS
projet ANR Numerical Safety for Computer-Aided Proofs (NuSCAP)
| Type : | : | présentation |
| Thématiques | : | Session 2 |
| PDF version | : |  PDF version |
- Poster
