Pages that link to "Item:Q1272613"
From MaRDI portal
The following pages link to Automating the search for elegant proofs (Q1272613):
Displaying 13 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- The resonance strategy (Q1343396) (← links)
- The power of combining resonance with heat (Q1357664) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- The strategy of cramming (Q1810853) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach (Q4913867) (← links)
- How to make ad hoc proof automation less ad hoc (Q5176973) (← links)
- Proof simplification and automated theorem proving (Q5204800) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)