Automated generation of exam sheets for automated deduction

DOI10.1007/978-3-030-81097-9_15zbMath1485.68283OpenAlexW3183673057MaRDI QIDQ2128822

Petra Hozzová, Jakob Rath, Laura Kovács

Publication date: 22 April 2022

Full work available at URL: http://hdl.handle.net/20.500.12708/18557

Mathematics Subject Classification ID

Student assessment, achievement control, and rating (aspects of mathematics education) (97D60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• VAMPIRE
• SMT-LIB
• z3
• QuickCheck

Cites Work

• Subsumption demodulation in first-order theorem proving
• Simplification by Cooperating Decision Procedures
• Computer Aided Verification
• A machine program for theorem-proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated generation of exam sheets for automated deduction