| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

4. Algebraic Circuits and rational identitiy testing


    1. Add remark

      Problem 4.1.

      [Rafael Oliveira] Find efficient algorithms for rational identity testing in terms of the size of algebraic circuits that represent a noncommutative rational expression rather than using the linearization.

          Cite this as: AimPL: Noncommutative inequalities, available at http://aimpl.org/noncommineqV.