I prove several properties of certain commutators in \(U(\mathfrak{gl}_N(\mathcal{A}))\) that were discovered using my program
We give new formulas for inversion of band-limited Hankel transform of integer and half-integer order, based on prolate spheroidal wave functions.
We prove that the equation \(x^x = a\) is not solvable in elementary functions.
We prove that the equation \(\tan(x) - x = a\) is not solvable in elementary functions.