Du rêve à la réalité des preuves
Uloženo v:
| Vydáno v: | Pour la science No 402 |
|---|---|
| Hlavní autor: | |
| Médium: | Article de revue |
| 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 |
| 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. |
|---|---|
| Fyzický popis: | p. 90-95. |
| ISSN: | 0153-4092 |