Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations

Broader (3)

Artificial intelligenceAutomated theorem provingFormal methods
Automated MathematicianAutomated reasoningChua's circuitComputer

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Software modules and computer-assisted proof schemes in the Kontsevich deformation quantization
The Kontsevich deformation quantization combines Poisson dynamics, noncommutative geometry, number theory, and calculus of… 
2016
2016
A Proof of the Four Color Theorem by Induction
We choose one of four colors as a temporary color for all regions that have not been colored,and made the initial conditions… 
2014
2014
Robust Visual Tracking for Retinal Mapping in Computer-Assisted Slit-Lamp Imaging
The slit lamp device is a very popular equipment for inspecting the human retina due to its magnification, stereoscopy and easy… 
2008
2008
Morphology approach for features extraction in retinal images for diabetic retionopathy diagnosis
In this paper, a novel approach for vessels extraction edge-based image segmentation is proposed. Vessels segmentation and… 
2006
2006
Computer-Assisted Proofs in Solving Linear Parametric Problems
Consider a linear system A(p)x = b(p) whose input data depend on a number of uncertain parameters p = (p1,...,pk) varying within… 
2005
2005
On Homogenous Minimal Involutive Varieties
Let S(2n, k) be the variety of homogeneous polynomials of degree k in 2n variables. The authors of this paper give a computer… 
Review
2002
Review
2002
Avian disease at the Salton Sea
A review of existing records and the scientific literature was conducted for occurrences of avian diseases affecting free-ranging… 
1994
1994
Verification in process algebra of the distributed control of track vehicles—A case study
A real-life example of parallel processes, namely, the distributed control of track vehicles, is modeled and analyzed on the… 
1989
1989
COMPUTER-AIDED DESIGN OF NONLINEAR OBSERVERS
Highly Cited
1988
Highly Cited
1988
Reality of chaos in the double scroll circuit: A computer-assisted proof
The authors prove three key inequalities stated in the paper by L.O. Chua, M. Komouro, and T. Matsumoto (see ibid., vol. CAS-33… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)