Pages that link to "Item:Q5495928"
From MaRDI portal
The following pages link to Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928):
Displayed 6 items.
- Structuring theories with implicit morphisms (Q2185893) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- Extensional equality preservation and verified generic programming (Q5019020) (← links)
- Injecting formal mathematics into LaTeX (Q6160559) (← links)