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.
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… 
2016
2016
Effects of capillary-assisted tubes with different fin geometries on the performance of a low-operating pressure evaporator for adsorption cooling system applications
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
A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation
The present paper is devoted to studying Hubbard's pendulum equation $\ddot{x} + 10^{-1} \dot{x} + \sin(x) = \cos(t)$. Using… 
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… 
2006
2006
Image Guided Positioning for an Interactive Carm Fluoroscope
Image acquisition with a manual C-arm fluoroscope during surgery is complicated and time consuming. Due to the serial kinematics… 
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
Structural description and combined 3D display for superior analysis of cerebral vascularity from MRA
Medical image analysis has to support the clinicians ability to identify, manipulate and quantify anatomical structures. On… 
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)