zbMath1289.68129MaRDI QIDQ5398218
Dmitriĭ Yur'evich Vlasov
Publication date: 26 February 2014
zbMATH Keywords
formal mathematics; automated proof checking; presentation of mathematical knowledge
Mathematics Subject Classification ID
68T30: Knowledge representation
03B35: Mechanization of proofs and logical operations
Related Items
Uses Software