The following pages link to Alan Bundy (Q438542):
Displayed 25 items.
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
- (Q4707764) (← links)
- (Q4708424) (← links)
- (Q4737277) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- (Q4938413) (← links)
- (Q4938430) (← links)
- (Q4941841) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)
- What is a proof? (Q5301851) (← links)
- Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ (Q5301859) (← links)
- Automated Reasoning (Q5307054) (← links)
- Automated Reasoning (Q5307070) (← links)
- The interaction of representation and reasoning (Q5362170) (← links)
- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic (Q5428261) (← links)
- Rippling: Meta-Level Guidance for Mathematical Reasoning (Q5462949) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464716) (← links)
- Automating Signature Evolution in Logical Theories (Q5505515) (← links)
- (Q5631094) (← links)
- Diagrammatic Representation and Inference (Q5714104) (← links)
- Diagrammatic Representation and Inference (Q5714109) (← links)
- Mechanizing Mathematical Reasoning (Q5717447) (← links)
- Case-Analysis for Rippling and Inductive Proof (Q5747656) (← links)
- A Single-Significant-Digit Calculus for Semi-Automated Guesstimation (Q5747776) (← links)
- Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms (Q6160565) (← links)