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

Mathematical induction

Known as: Induction, Induction proof, Course of values induction 
Mathematical induction is a mathematical proof technique, most commonly used to establish a given statement for all natural numbers, although it can… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Thank you for reading handbook of mathematical functions. As you may know, people have look numerous times for their favorite… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis… Expand
  • figure 3
  • figure 6
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The technology for building knowledge-based systems by inductive inference from examples has been demonstrated successfully in… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract In the feature subset selection problem, a learning algorithm is faced with the problem of selecting a relevant subset… Expand
  • figure I
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abstract Many existing rule learning systems are computationally expensive on large noisy datasets. In this paper we evaluate the… Expand
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We address the problem of finding a subset of features that allows a supervised induction algorithm to induce small high-accuracy… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Abstract In this paper, we prove that any continuous mapping can be approximately realized by Rumelhart-Hinton-Williams… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
New quick-response and high-efficiency control of an induction motor, which is quite different from that of the field-oriented… Expand
  • figure 1
  • figure 5
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1969
Highly Cited
1969
t. Below we will give an algorithm which computes the coefficients of the product of two square matrices A and B of order n from… Expand
Is this relevant?
Highly Cited
1934
Highly Cited
1934
  • T. G.
  • Nature
  • 1934
  • Corpus ID: 4130681
THIS very able little book goes a long way to prove that logic is a human science, and not merely a more or less coherent… Expand
Is this relevant?