Pages that link to "Item:Q5462949"
From MaRDI portal
The following pages link to Rippling: Meta-Level Guidance for Mathematical Reasoning (Q5462949):
Displaying 25 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Security of multi-agent systems: a case study on comparison shopping (Q2372189) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Reasoning about Assignments in Recursive Data Structures (Q2999318) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- Hints in Unification (Q3183522) (← links)
