The following pages link to Mathematical Knowledge Management (Q5313077):
Displaying 14 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Presenting and explaining Mizar (Q2867936) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library (Q5200124) (← links)
- Mathematical Knowledge Management (Q5313078) (← links)
- Remote verification system for Mizar integrated with emwiki (Q6648182) (← links)