OP-00097 Lean verified Polynomial conditioning of the cubic C1 spline Schrödinger Toeplitz family NA · block Toeplitz matrices · condition numbers · isogeometric analysis · OpenProblemsInNLA