Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rippling

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
It is known that graphene exhibits natural ripples with characteristic lengths of around 10 nm. But when it is stretched across… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
An analytic formula is derived for the elastic bending modulus of monolayer graphene based on an empirical potential for solid… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Foreword. About the Authors. Acknowledgments. List of Acronyms. Chapter 1: Introduction. Introduction. The Changing Climate. The… Expand
Is this relevant?
2005
2005
We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2005
2005
This research investigates the impact of electronic replenishment strategy on the operational activities and performance of a two… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Linear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics: 1. Bilinear logic in algebra and… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Abstract We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the… Expand
Is this relevant?
Highly Cited
1972
Highly Cited
1972
The largest challenge facing software engineers today is to find ways to deliver large systems on schedule. Past experience… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?