BLASCHKE, Filip and Ondřej Nicolas KARPÍŠEK. Mechanization of scalar field theory in 1+1 dimensions.
Progress of Theoretical and Experimental Physics. OXFORD UNIV PRESS INC, 2022, vol. 2022, No 10, p. "103A01-1"-"103A01-27", 27 pp. ISSN 2050-3911. Available from: https://dx.doi.org/10.1093/ptep/ptac104.