Pages that link to "Item:Q5301848"
From MaRDI portal
The following pages link to Computing and the cultures of proving (Q5301848):
Displaying 3 items.
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- AfterMath: The Work of Proof in the Age of Human–Machine Collaboration (Q3105697) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)