@misc{indiciae8f5d0d753586,
  title = {Mechanization of scalar field theory in (1+1)-dimensions: BPS mech-kinks and their scattering},
  author = {Filip Blaschke and Ondřej Nicolas Karpíšek and Lukáš Rafaj},
  year = {2023},
  url = {https://arxiv.org/abs/2305.09814},
  note = {Source identifier: 2305.09814}
}