Identification of mechanical properties of arteries with certification of global optimality. - Jan-Lucas Gade; Carl-Johan Thore; Jonas Stålhand (J. Glob. Optim., 2022)