Algebra di Robbins: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Fix template "U" |
m Bot: standardizzazione nome sezione |
||
Riga 24:
William McCune dimostrò la congettura nel 1996, usando il [[Dimostrazione automatica di teoremi|dimostratore automatico di teoremi]] EQP . Per una prova completa della congettura di Robbins in una notazione coerente e vicina alla dimostrazione automatica di McCune, vedi Mann (2003). Dahn (1998) ha semplificato la dimostrazione automatica di McCune.
==
* [[Struttura algebrica]]
| |||