|
|
|
|
| LEADER |
00837nam a22002177a 4500 |
| 001 |
332776 |
| 008 |
150609c2015 xx |||| |||| 00| 0 ||| d |
| 022 |
|
|
|a 01534092
|
| 100 |
|
|
|a Delahaye, Jean-Paul,
|d 1952-....,
|c mathématicien.
|
| 245 |
1 |
0 |
|a Comment vérifier les longues démonstrations ?
|c Jean-Paul Delahaye.
|
| 260 |
|
|
|c 2015.
|
| 300 |
|
|
|a p. 78-83.
|
| 500 |
|
|
|a 6
|
| 520 |
|
|
|a En mathématiques, certaines démonstrations font plusieurs centaines de pages, voire plus. Comment s'assurer qu'elles sont dépourvues de toute erreur ? L'ordinateur devient dans ce domaine un précieux assistant.
|
| 650 |
|
|
|a Démonstrations scientifiques.
|
| 650 |
|
|
|a Mathématiques
|x Recherche.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|w 151121
|t Pour la science
|x 0153-4092
|g No 452
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 332776
|