Du rêve à la réalité des preuves
Salvato in:
| Pubblicato in: | Pour la science No 402 |
|---|---|
| Autore principale: | |
| Natura: | Numéro de revue thématique |
| Pubblicazione: |
2011.
|
| Soggetti: | |
| Riassunto: | Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens. |
| Documenti correlati: | Fa parte di:
Pour la science |