The following pages link to Lucas Dixon (Q438541):
Displayed 11 items.
- Conjecture synthesis for inductive theories (Q438543) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- Open-graphs and monoidal theories (Q4917191) (← links)
- (Q5151029) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Theorem Proving in Higher Order Logics (Q5464664) (← links)
- Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (Q5505491) (← links)
- Case-Analysis for Rippling and Inductive Proof (Q5747656) (← links)