|
|
|
|
| LEADER |
00921nam a22001937a 4500 |
| 001 |
352128 |
| 008 |
180126c2018 xx ||| |||| 00| 0 fre d |
| 041 |
0 |
|
|a fre
|
| 100 |
1 |
|
|a Rognier, Benoît.
|
| 245 |
1 |
0 |
|a Comment l'informatique change-t-elle les mathématiques ?
|c Benoît Rognier.
|
| 260 |
|
|
|c 2018.
|
| 300 |
|
|
|a p. 48-55.
|
| 520 |
|
|
|a Peu de disciplines scientifiques échappent à l'utilisation de programmes informatiques pour prévoir, simuler ou concevoir. Bien que les mathématiques soient a priori le domaine du raisonnement par excellence, certaines activités mathématiques peuvent être déléguées également à des programmes informatiques... comme l'élaboration ou la validation de démonstrations de théorèmes.
|
| 650 |
|
|
|a Mathématiques
|x Informatique.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|w 184090
|t Découverte
|x 1621-0085
|g No 414
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 352128
|