Title: Towards Mechanized Mathematical Assistants
Subjects: Algebra, data processing, Mathematical analysis, Logic, symbolic and mathematical, Knowledge management