BLASCHKE, Filip a 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, roč. 2022, č. 10, s. "103A01-1"-"103A01-27", 27 s. ISSN 2050-3911. Dostupné z: https://dx.doi.org/10.1093/ptep/ptac104.