Pages that link to "Item:Q372699"
From MaRDI portal
The following pages link to On the role of formalization in computational mathematics (Q372699):
Displaying 5 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Beginners' quest to formalize mathematics: a feasibility study in Isabelle (Q2287895) (← links)
- (Q4413892) (← links)
- (Q4665721) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)