TY - RPRT TI - Automated formulation and resolution of limit analysis problems AU - Jeremy Bleyer AU - Ghazi Hassen PY - 2020 UR - https://arxiv.org/abs/2005.04779 ID - 2005.04779 ER -