MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

摘要

MUSCADET is a theorem prover which works in those fields of pure mathematics that require a lot of knowledge and know-how.