1: \begin{abstract}

2: 	In 2012, Barbulescu, Detrey, Estibals and Zimmermann proposed a new framework to exhaustively search for

3: 	optimal	formulae for evaluating bilinear maps over finite fields, such as Strassen or Karatsuba formulae.

4: 	The main contribution of this work is a new criterion to aggressively prune useless branches in the 

5: 	exhaustive search, thus leading	to the computation of new optimal formulae. We apply in particular our approach to the short product modulo $X^5$

6: 	and the circulant product modulo $(X^5-1)$.

7: 	Moreover, we are able to prove that there is essentially only one optimal decomposition of the product of 

8: 	$3\times 2$ by $2\times 3$ matrices

9: 	up to the action of some group of automorphisms.

10: \end{abstract}

11: