TY - RPRT TI - Finite time BV blowup for Liu-admissible solutions to $p$-system via computer-assisted proof AU - Sam G. Krupa PY - 2024 DO - 10.1007/s00021-026-01018-5 UR - https://arxiv.org/abs/2403.07784 ID - 2403.07784 ER -