TY - RPRT TI - The logarithmic spiral is optimal for shoreline search: a computer-assisted proof AU - Alexander Temerev PY - 2026 UR - https://arxiv.org/abs/2609.24454 ID - 2609.24454 ER -