Integrované sémantické brouzdání matematické knihovny Mizaru pro vytváření článků v Mirazu

Abstrakt

Popisujeme prístup umožňující interaktivní a integrovanou podporu při vytváření článků v Mizaru. Používá rozšiřitelné MML Query nástroje a Emacs.

Klíčová slova

• Semantic
• browsing
• Mizar
• mathematical
• library
• authoring
• Mizar
• articles