NobleBlocks
    Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters | NobleBlocks