Pages that link to "Item:Q5301859"
From MaRDI portal
The following pages link to Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ (Q5301859):
Displaying 4 items.
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
