Python for Linear Algebra These pages provide a showcase of how to use Python to do computations from linear algebra. We will demonstrate both the NumPy (SciPy) and SymPy packages. This is meant to be ...

[2] The theory of ceers computes true arithmetic. Annals of Pure and Applied Logic (2020). [3] Classifying equivalence relations in the Ershov hierarchy. Archive for Mathematical Logic (2020).