Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle
scientific article; zbMATH DE number 831858