Du rêve à la réalité des preuves
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | Pour la science No 402 |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Article de revue |
| Έκδοση: |
2011.
|
| Θέματα: | |
| Περίληψη: | 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. |
| Σχετικά τεκμήρια: | Περιέχεται σε:
Pour la science |
| Περίληψη: | 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. 90-95. |
| ISSN: | 0153-4092 |