Du rêve à la réalité des preuves
Sparad:
| I publikationen: | Pour la science No 402 |
|---|---|
| Huvudupphovsman: | |
| Materialtyp: | Article de revue |
| Publicerad: |
2011.
|
| Ämnen: | |
| Sammanfattning: | 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. |
| Relaterade poster: | Ingår i:
Pour la science |
| Sammanfattning: | 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. |
|---|---|
| Fysisk beskrivning: | p. 90-95. |
| ISSN: | 0153-4092 |