verification code snippets in matlab

perform neural network verification in matlab

use sostools to find if x^2 is sum of squares in matlab

verify triangular inequality in matlab