The following pages link to Mathematical Knowledge Management (Q5313054):
Displaying 9 items.
- Formalized mathematical content in lecture notes on modelling and analysis (Q1798960) (← links)
- A refinement of de Bruijn's formal language of mathematics (Q1876109) (← links)
- Beginners' quest to formalize mathematics: a feasibility study in Isabelle (Q2287895) (← links)
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics (Q2441763) (← links)
- Faithfully reflecting the structure of informal mathematical proofs into formal type theories (Q2847394) (← links)
- (Q4413892) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
- An open formalism against incompleteness (Q5937853) (← links)