Pages that link to "Item:Q657585"

The following pages link to Automated theorem provers: a practical tool for the working mathematician? (Q657585):

Displaying 3 items.

• Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
• A fully automatic theorem prover with human-style output (Q2362206) (← links)
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)