Portail:Informatique théorique/Le saviez-vous?/Juillet

L'algorithme de Knuth-Morris-Pratt conçu à l'Université de Stanford en 1970 avait déjà été trouvé en 1969 par Yuri Matijasevic par ailleurs connu pour avoir résolu le dixième problème de Hilbert.