La plus petite formule connue pour le déterminant a la taille selon le folklore (ou selon Ran Raz dans son papier Les formules multi-linéaires pour permanent et déterminant sont de taille super-polynomiale ).
Avez-vous une référence pour cela? En particulier, quelle est cette formule?
Une façon est décrite dans Berkowitz, On computing the determinant in small parallel time using a small number of processors (see also Soltys, Berkowitz's algorithm and clow sequence ). Une autre façon est décrite dans Hrubeš et Tzameret, preuves courtes pour les identités déterminantes .