The following pages link to (Q3804239):
Displayed 17 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- Mathematical method and proof (Q857692) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Using tactics to reformulate formulae for resolution theorem proving (Q1380410) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Proof by analogy in mural (Q1898818) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Knowledge-based proof planning (Q1978469) (← links)