Description of fast matrix multiplication algorithm: ⟨12×13×16:1509⟩

Algorithm type

6X4Y6Z6+4X4Y5Z6+3X8Y4Z2+3X6Y4Z4+2X4Y6Z4+8X4Y4Z6+32X4Y5Z4+4X2Y5Z6+27X6Y4Z2+6X6Y2Z4+2X4Y6Z2+61X4Y4Z4+4X3Y5Z4+2X2Y8Z2+20X2Y4Z6+3X9YZ+X4Y6Z+4X4Y5Z2+4X4Y3Z4+4X2Y7Z2+7X2Y6Z3+27X2Y3Z6+2XY9Z+4XY4Z6+4XYZ9+26X6Y2Z2+X4Y5Z+10X4Y4Z2+16X4Y2Z4+X3Y6Z+3X3Y3Z4+40X2Y6Z2+3X2Y5Z3+25X2Y4Z4+59X2Y2Z6+XY8Z+XY6Z3+5XY3Z6+2X6YZ2+X4Y4Z+4X4Y3Z2+X3Y5Z+3X3Y4Z2+10X3Y2Z4+5X2Y6Z+20X2Y5Z2+9X2Y4Z3+35X2Y3Z4+4X2YZ6+2XY7Z+2XY6Z2+XY5Z3+45XY2Z6+X6YZ+X4Y3Z+6X4Y2Z2+X3Y4Z+6X3Y3Z2+5X3YZ4+4X2Y5Z+61X2Y4Z2+3X2Y3Z3+87X2Y2Z4+15XY6Z+6XY5Z2+5XY4Z3+32XYZ6+32X3Y3Z+7X3Y2Z2+8X3YZ3+6X2Y4Z+61X2Y3Z2+2X2Y2Z3+10X2YZ4+2XY5Z+13XY4Z2+27XY3Z3+36XY2Z4+10X3Y2Z+15X3YZ2+81X2Y2Z2+2X2YZ3+5XY4Z+31XY3Z2+12XY2Z3+18XYZ4+35X3YZ+4X2Y2Z+5X2YZ2+81XY3Z+74XY2Z2+46XYZ3+25XY2Z+37XYZ2+12XYZ6X4Y6Z64X4Y5Z63X8Y4Z23X6Y4Z42X4Y6Z48X4Y4Z632X4Y5Z44X2Y5Z627X6Y4Z26X6Y2Z42X4Y6Z261X4Y4Z44X3Y5Z42X2Y8Z220X2Y4Z63X9YZX4Y6Z4X4Y5Z24X4Y3Z44X2Y7Z27X2Y6Z327X2Y3Z62XY9Z4XY4Z64XYZ926X6Y2Z2X4Y5Z10X4Y4Z216X4Y2Z4X3Y6Z3X3Y3Z440X2Y6Z23X2Y5Z325X2Y4Z459X2Y2Z6XY8ZXY6Z35XY3Z62X6YZ2X4Y4Z4X4Y3Z2X3Y5Z3X3Y4Z210X3Y2Z45X2Y6Z20X2Y5Z29X2Y4Z335X2Y3Z44X2YZ62XY7Z2XY6Z2XY5Z345XY2Z6X6YZX4Y3Z6X4Y2Z2X3Y4Z6X3Y3Z25X3YZ44X2Y5Z61X2Y4Z23X2Y3Z387X2Y2Z415XY6Z6XY5Z25XY4Z332XYZ632X3Y3Z7X3Y2Z28X3YZ36X2Y4Z61X2Y3Z22X2Y2Z310X2YZ42XY5Z13XY4Z227XY3Z336XY2Z410X3Y2Z15X3YZ281X2Y2Z22X2YZ35XY4Z31XY3Z212XY2Z318XYZ435X3YZ4X2Y2Z5X2YZ281XY3Z74XY2Z246XYZ325XY2Z37XYZ212XYZ6*X^4*Y^6*Z^6+4*X^4*Y^5*Z^6+3*X^8*Y^4*Z^2+3*X^6*Y^4*Z^4+2*X^4*Y^6*Z^4+8*X^4*Y^4*Z^6+32*X^4*Y^5*Z^4+4*X^2*Y^5*Z^6+27*X^6*Y^4*Z^2+6*X^6*Y^2*Z^4+2*X^4*Y^6*Z^2+61*X^4*Y^4*Z^4+4*X^3*Y^5*Z^4+2*X^2*Y^8*Z^2+20*X^2*Y^4*Z^6+3*X^9*Y*Z+X^4*Y^6*Z+4*X^4*Y^5*Z^2+4*X^4*Y^3*Z^4+4*X^2*Y^7*Z^2+7*X^2*Y^6*Z^3+27*X^2*Y^3*Z^6+2*X*Y^9*Z+4*X*Y^4*Z^6+4*X*Y*Z^9+26*X^6*Y^2*Z^2+X^4*Y^5*Z+10*X^4*Y^4*Z^2+16*X^4*Y^2*Z^4+X^3*Y^6*Z+3*X^3*Y^3*Z^4+40*X^2*Y^6*Z^2+3*X^2*Y^5*Z^3+25*X^2*Y^4*Z^4+59*X^2*Y^2*Z^6+X*Y^8*Z+X*Y^6*Z^3+5*X*Y^3*Z^6+2*X^6*Y*Z^2+X^4*Y^4*Z+4*X^4*Y^3*Z^2+X^3*Y^5*Z+3*X^3*Y^4*Z^2+10*X^3*Y^2*Z^4+5*X^2*Y^6*Z+20*X^2*Y^5*Z^2+9*X^2*Y^4*Z^3+35*X^2*Y^3*Z^4+4*X^2*Y*Z^6+2*X*Y^7*Z+2*X*Y^6*Z^2+X*Y^5*Z^3+45*X*Y^2*Z^6+X^6*Y*Z+X^4*Y^3*Z+6*X^4*Y^2*Z^2+X^3*Y^4*Z+6*X^3*Y^3*Z^2+5*X^3*Y*Z^4+4*X^2*Y^5*Z+61*X^2*Y^4*Z^2+3*X^2*Y^3*Z^3+87*X^2*Y^2*Z^4+15*X*Y^6*Z+6*X*Y^5*Z^2+5*X*Y^4*Z^3+32*X*Y*Z^6+32*X^3*Y^3*Z+7*X^3*Y^2*Z^2+8*X^3*Y*Z^3+6*X^2*Y^4*Z+61*X^2*Y^3*Z^2+2*X^2*Y^2*Z^3+10*X^2*Y*Z^4+2*X*Y^5*Z+13*X*Y^4*Z^2+27*X*Y^3*Z^3+36*X*Y^2*Z^4+10*X^3*Y^2*Z+15*X^3*Y*Z^2+81*X^2*Y^2*Z^2+2*X^2*Y*Z^3+5*X*Y^4*Z+31*X*Y^3*Z^2+12*X*Y^2*Z^3+18*X*Y*Z^4+35*X^3*Y*Z+4*X^2*Y^2*Z+5*X^2*Y*Z^2+81*X*Y^3*Z+74*X*Y^2*Z^2+46*X*Y*Z^3+25*X*Y^2*Z+37*X*Y*Z^2+12*X*Y*Z

Algorithm definition

The algorithm ⟨12×13×16:1509⟩ is taken from:

Andrew I. Perminov. FastMatrixMultiplication, GitHub, February 2026. [ GitHub repository ]

Algorithm description

These encodings are given in compressed text format using the maple computer algebra system. In each cases, the last line could be understood as a description of the encoding with respect to classical matrix multiplication algorithm. As these outputs are structured, one can construct easily a parser to its favorite format using the maple documentation without this software.


Back to main table