Rippling

Rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
  • Levente Tapaszto, Traian Dumitrica, Sung J. Kim, Peter Nemes-Incze, Chanyong Hwang, Laszlo P. Biro
  • 2012
Understanding how the mechanical behaviour of materials deviates at the nanoscale from the macroscopically established concepts… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
Morphology mediates the interplay between the structure and electronic transport in atomically thin nanoribbons such as graphene… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2004
2004
We present an account of rippling with proof critics suitable for use in higher order logic in Isabelle/IsaPlanner. We treat… (More)
  • figure 2
Is this relevant?
2000
2000
When a bubble of air rises to the top of a highly viscous liquid, it forms a dome-shaped protuberance on the free surface. Unlike… (More)
Is this relevant?
1997
1997
The morphology of ion sputtered Si(111) surfaces at glancing angles and elevated temperatures was studied by AFM. Under… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1996
1996
This paper presents techniques to guide equational reasoning in a goal directed way. Suggested by rippling methods developed in… (More)
Is this relevant?
1994
1994
Rippling is a special type of rewriting developed for inductive theorem proving. Bundy et. al. have shown that rippling… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Bundy, A., A. Stevens, F. van Harmelen, A. Ireland and A. Smaill, Rippling: a heuristic for guiding inductive proofs, Artificial… (More)
Is this relevant?
1990
1990
Citation for published version: Bundy, A, van Harmelen, F, Smaill, A & Ireland, A 1990, Extensions to the Rippling-Out Tactic for… (More)
Is this relevant?