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

Computer-assisted proof

Known as: Computer assisted proof, Computer proof, Computer-aided proof 
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
  • A. Neumaier
  • 12th GAMM - IMACS International Symposium on…
  • 2006
  • Corpus ID: 3093809
This paper discusses the problem what makes a computer-assisted proof trustworthy, the quest for an algorithmic support system… Expand
Is this relevant?
2006
2006
  • E. Popova
  • 12th GAMM - IMACS International Symposium on…
  • 2006
  • Corpus ID: 808376
Consider a linear system A(p)x = b(p) whose input data depend on a number of uncertain parameters p = (p1,...,pk) varying within… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2002
2002
We obtain computer assisted proofs of several spherical volume inequalities that appear in the analysis of semidefinite… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce horseshoe-type mappings which are geometrically similar to Smale's horseshoes. For such mappings we prove by means… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
In this paper we describe a technique for proving that a particular system is chaotic in the topological sense, i.e. that it has… Expand
  • figure 1
  • figure 8
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Abstract Prebuyout bondholders, on average, suffer statistically significant wealth losses in leveraged buyouts. Bonds with… Expand
  • table 1
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Migration maps represent patterns of geographical movement by arrows or bands between places, using information arriving in “from… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1984
1984
Computers are useful in many ways in mathematical research. They make it possible, for example, to perform experiments on a wide… Expand
Is this relevant?
Highly Cited
1982
Highly Cited
1982
 
  • table 1
Is this relevant?