2 citations · 2 across the 10 of their papers we have counts for
4 papers · 1 filter
An interactive visualisation for all 2x2 real matrices, with applications to conveying the dynamics of iterative eigenvalue algorithms
Ran Gutin
We present two interactive visualisations of 2x2 real matrices, which we call v1 and v2. v1 is only valid for PSD matrices, and uses the spectral theorem in a trivial way -- we use…
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real numbe…
Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions
Ran Gutin
We show that the spectral theorem -- which we understand to be a statement that every self-adjoint matrix admits a certain type of canonical form under unitary similarity -- admits…
A visualisation for conveying the dynamics of iterative eigenvalue algorithms over PSD matrices
Ran Gutin
We propose a new way of visualising the dynamics of iterative eigenvalue algorithms such as the QR algorithm, over the important special case of PSD (positive semi-definite) matric…