The following pages link to Mathematical Knowledge Management (Q5898514):
Displaying 5 items.
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Formalized mathematical content in lecture notes on modelling and analysis (Q1798960) (← links)
- Assertion-level proof representation with under-specification (Q2847390) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- Granularity analysis for tutoring mathematical proofs (Q2883194) (← links)