Are these videos of an functioning piece of software, or mockups? There are a lot of interactions that are glossed over, and it&#x27;s not obvious to me how this software would function.<p>I&#x27;m also skeptical about the characterization of an exploration of the properties of a single 2D matrix as &quot;real mathematical work.&quot;