Automated Generation of Exam Sheets for Automated Deduction

von Hozzová, Petra
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Integer Induction in Saturation

von Hozzová, Petra
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Inductive Benchmarks for Automated Reasoning

von Hajdu, Märton
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)