Du rêve à la réalité des preuves
Uloženo v:
| Vydáno v: | Pour la science No 402 |
|---|---|
| Hlavní autor: | |
| Médium: | Numéro de revue thématique |
| Vydáno: |
2011.
|
| Témata: | |
| Shrnutí: | 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. |
| Příbuzné jednotky: | Obsaženo v:
Pour la science |