Learning to reason assisted by automated reasoning

DOI10.1007/978-3-031-16681-5_21OpenAlexW4296118845MaRDI QIDQ6102981

Wolfgang Windsteiger

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_21

zbMATH Keywords

automated theorem provingTheoremateaching logic

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Theorema 2.0: Computer-Assisted Natural-Style Mathematics