Pages that link to "Item:Q1876109"
From MaRDI portal
The following pages link to A refinement of de Bruijn's formal language of mathematics (Q1876109):
Displaying 12 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- The language of mathematics. A linguistic and philosophical investigation (Q1940486) (← links)
- A survey of languages for formalizing mathematics (Q2219386) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Computerizing mathematical text with MathLang (Q2866734) (← links)
- Unifying Math Ontologies: A Tale of Two Standards (Q3637283) (← links)
- Type-theoretical checking and philosophy of mathematics (Q4247300) (← links)
- Mathematical vernacular and conceptual well-formedness in mathematical language (Q4263084) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)