SuSLik, un synthétiseur de programmes générant des programmes de bas niveau sûrs à partir de spécifications logiques, présente ses capacités à gérer les structures de données liées.
Discute de la multiplication matricielle en utilisant des techniques de division et de conquête et introduit l'algorithme de Strassen pour une efficacité améliorée.
Examine l'algorithme de Strassen pour la multiplication matricielle et les tas, couvrant les algorithmes efficaces et leurs applications en informatique.
