Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
21
views
0
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,120
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Rippling: Meta-Level Guidance for Mathematical Reasoning
monograph
Author(s):
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
Publication date
(Online):
August 13 2009
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Road 2 Open Meta
Author and book information
Book
ISBN (Print):
9780521834490
ISBN (Electronic):
9780511543326
Publication date (Online):
August 13 2009
Publication date (Print):
June 30 2005
DOI:
10.1017/CBO9780511543326
SO-VID:
42ea0778-dca9-45f0-b2b2-ec6a7ccee61e
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. xi
Preface
pp. 1
An introduction to rippling
pp. 24
Varieties of rippling
pp. 54
Productive use of failure
pp. 82
A formal account of rippling
pp. 118
The scope and limitations of rippling
pp. 144
From rippling to a general methodology
pp. 175
Conclusions
pp. 193
References
Similar content
4,120
Machine learning potential for hexagonal boron nitride applied to thermally and mechanically induced rippling
Authors:
F.L. Thiemann
,
P ROWE
,
E.A. Müller
…
The DORF effect: Magnetization ripple in particulate media
Authors:
E. Williams
Sand motion induced by oscillatory flows: Sheet flow and vortex ripples
Authors:
J. S. Ribberink
,
J. Van der Werf
,
T O'Donoghue
…
See all similar
Cited by
10
Automating Inductive Proofs Using Theory Exploration
Authors:
Koen Claessen
,
Moa Johansson
,
Dan Rosen
…
Verifying Procedural Programs via Constrained Rewriting Induction
Authors:
Carsten Fuhs
,
Cynthia Kop
,
Naoki Nishida
Case-Analysis for Rippling and Inductive Proof
Authors:
Moa Johansson
,
Lucas Dixon
,
Alan Bundy
See all cited by