On formalization styles and SAD system

MaRDI QIDQ6976573zbMATH OpenFDO

Authors Alexander Lyaletski, Alexander Lyaletski

Publication date 2 June 2025

zbMATH Keywords

automated reasoning systemEnglish SAD systemstyle of mathematical knowledge formalization

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Mathematical knowledge management (68V30)

This page was built for publication: On formalization styles and SAD system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976573)