Rippling: Meta-Level Guidance for Mathematical Reasoning
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521834490, 9780511543326

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

References

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.011 ◽

2005 ◽

pp. 193-199

Download Full-text

An annotated calculus and a unification algorithm

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.009 ◽

2005 ◽

pp. 177-189

Keyword(s):

Unification Algorithm

Download Full-text

From rippling to a general methodology

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.007 ◽

2005 ◽

pp. 144-174

Keyword(s):

General Methodology

Download Full-text

An introduction to rippling

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.002 ◽

2005 ◽

pp. 1-23

Download Full-text

Preface

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.001 ◽

2005 ◽

pp. xi-xiii

Download Full-text

A formal account of rippling

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.005 ◽

2005 ◽

pp. 82-117

Download Full-text

Productive use of failure

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.004 ◽

2005 ◽

pp. 54-81

Download Full-text

Definitions of functions used in this book

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.010 ◽

2005 ◽

pp. 190-192

Download Full-text

Conclusions

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.008 ◽

2005 ◽

pp. 175-176

Download Full-text

Varieties of rippling

Rippling: Meta-Level Guidance for Mathematical Reasoning ◽

10.1017/cbo9780511543326.003 ◽

2005 ◽

pp. 24-53

Download Full-text