The language of formal mathematics Russell

MaRDI QIDQ2899004zbMATH OpenFDO

Authors D. Yu. Vlasov

Publication date 13 July 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

automated reasoningformal mathematicsRussellautomated proof checkingpresentation of mathematical knowledge

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Recommendations

• Smm, the simplified metamath
• A survey of languages for formalizing mathematics
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• Using and parsing the Mizar language
• Computerizing mathematical text with MathLang

Cited in

(2)

• Russell
• Smm, the simplified metamath

Describes a project that uses

Uses Software

• Smm
• Metamath

This page was built for publication: The language of formal mathematics Russell

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